| 2025 | PDP | Machine Learning-Driven Intrusion Detection and Identification in Industrial Control Systems. | Alireza Dehlaghi-Ghadim, Mona Moslemzade, Nima Pattiyampully Dharmapal, Niclas Ericsson, Mahshid Helali Moghadam, Ali Balador, Hans Hansson |
| 2025 | SAFECOMP | Methodology for Test Case Allocation Based on a Formalized ODD. | Martin A. Skoglund, Fredrik Warg, Anders Thorsn, Sasikumar Punnekkat, Hans Hansson |
| 2024 | ETFA | Using Decision Support to Fortify Industrial Control System Against Cyberattacks. | Alireza Dehlaghi-Ghadim, Niclas Ericsson, Lars-Gran Magnusson, Mats Eriksson, Mahshid Helali Moghadam, Ali Balador, Hans Hansson |
| 2024 | SAFECOMP | Safety Argumentation for Machinery Assembly Control Software. | Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman |
| 2023 | ESORICS | Evaluation of an OPC UA-Based Access Control Enforcement Architecture. | Bjrn Leander, Aida Causevic, Hans Hansson, Tomas Lindstrm |
| 2023 | ICSA | Access Control Enforcement Architectures for Dynamic Manufacturing Systems. | Bjrn Leander, Aida Causevic, Tomas Lindstrm, Hans Hansson |
| 2022 | EuroSPI | A Context-Specific Operational Design Domain for Underground Mining (ODD-UM). | Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Anas Fattouh, Hans Hansson |
| 2022 | IECON | Simulation Environment for Modular Automation Systems. | Bjrn Leander, Tijana Markovic, Aida Causevic, Tomas Lindstrm, Hans Hansson, Sasikumar Punnekkat |
| 2021 | DSN | Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks. | Francisco Pozo, Guillermo Rodrguez-Navas, Hans Hansson |
| 2021 | ETFA | Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge. | Zeinab Bakhshi, Guillermo Rodrguez-Navas, Hans Hansson |
| 2021 | ETFA | A Questionnaire Study on the Use of Access Control in Industrial Systems. | Bjrn Leander, Aida Causevic, Tomas Lindstrm, Hans Hansson |
| 2021 | VTC | Black-Box Testing for Security-Informed Safety of Automated Driving Systems. | Martin A. Skoglund, Fredrik Warg, Hans Hansson, Sasikumar Punnekkat |
| 2021 | SAFECOMP | Synchronisation of an Automotive Multi-concern Development Process. | Martin A. Skoglund, Fredrik Warg, Hans Hansson, Sasikumar Punnekkat |
| 2020 | ECSA | Access Control for Smart Manufacturing Systems. | Bjrn Leander, Aida Causevic, Hans Hansson, Tomas Lindstrm |
| 2020 | PRDC | Dynamic Reconfiguration of Safety-Critical Production Systems. | Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat |
| 2019 | ETFA | Cybersecurity Challenges in Large Industrial IoT Systems. | Bjrn Leander, Aida Causevic, Hans Hansson |
| 2018 | DSN | A Systematic Way to Incorporate Security in Safety Analysis. | Elena Lisova, Aida Causevic, Kaj Hnninen, Henrik Thane, Hans Hansson |
| 2018 | ISPDC | A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software. | Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson |
| 2018 | RTAS | Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. | Francisco Pozo, Guillermo Rodrguez-Navas, Hans Hansson |
| 2018 | RTCSA | Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. | Francisco Pozo, Guillermo Rodrguez-Navas, Hans Hansson |
| 2016 | DSD | The SafeCOP ECSEL Project: Safe Cooperating Cyber-Physical Systems Using Wireless Communication. | Paul Pop, Detlef Scholle, Hans Hansson, Gunnar Widforss, Malin Rosqvist |
| 2015 | ETFA | A decomposition approach for SMT-based schedule synthesis for time-triggered networks. | Francisco Pozo, Wilfried Steiner, Guillermo Rodrguez-Navas, Hans Hansson |
| 2015 | ICSE | Towards Classification of Concurrency Bugs Based on Observable Properties. | Sara Abbaspour Asadollah, Hans Hansson, Daniel Sundmark, Sigrid Eldh |
| 2015 | ICSR | A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri |
| 2015 | ICSR | Flexible and Efficient Reuse of Multi-mode Components for Building Multi-mode Systems. | Hang Yin, Hans Hansson |
| 2015 | PRDC | Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2014 | APSEC | Handling Emergency Mode Switch for Component-Based Systems. | Yin Hang, Hans Hansson |
| 2014 | DAC | Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. | Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lnn |
| 2014 | SAFECOMP | Generation of Safety Case Argument-Fragments from Safety Contracts. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2013 | APSEC | Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems. | Yin Hang, Hans Hansson |
| 2013 | ISSRE | Strong and weak contract formalism for third-party component reuse. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2012 | ECRTS | Timing Analysis for Mode Switch in Component-Based Multi-mode Systems. | Yin Hang, Hans Hansson |
| 2012 | ETFA | Better, faster, cheaper, and safer too - Is this really possible? | Iain Bate, Hans Hansson, Sasikumar Punnekkat |
| 2011 | ICST | Analysis of Mistakes as a Method to Improve Test Case Design. | Sigrid Eldh, Hans Hansson, Sasikumar Punnekkat |
| 2010 | ICST | Towards Fully Automated Test Management for Large Complex Systems. | Sigrid Eldh, Joachim Brandt, Mark Street, Hans Hansson, Sasikumar Punnekkat |
| 2008 | COMPSAC | Message from the CORCS 2008 Workshop Organizers. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2008 | COMPSAC | CORCS 2008 Workshop Organization. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2008 | ICST | Scheduling Timed Modules for Correct Resource Sharing. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2007 | ICFEM | Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. | Guillermo Rodrguez-Navas, Julin Proenza, Hans Hansson |
| 2006 | RTCSA | Automatic Generation and Validation of Models of Legacy Software. | Joel Huselius, Johan Andersson, Hans Hansson, Sasikumar Punnekkat |
| 2005 | ETFA | Automotive communications-past, current and future. | Thomas Nolte, Hans Hansson, Lucia Lo Bello |
| 2005 | ETFA | Towards analyzing the fault-tolerant operation of server-CAN. | Thomas Nolte, Guillermo Rodrguez-Navas, Julin Proenza, Sasikumar Punnekkat, Hans Hansson |
| 2003 | ETFA | Server-based scheduling of the CAN bus. | Thomas Nolte, Mikael Sjdin, Hans Hansson |
| 2003 | RTAS | Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network. | Thomas Nolte, Hans Hansson, Christer Norstrm |
| 2002 | RTAS | Minimizing CAN Response-Time Jitter by Message Manipulation. | Thomas Nolte, Hans Hansson, Christer Norstrm |
| 2001 | ETFA | A simulation based approach for estimating the reliability of distributed real-time systems. | Hans Hansson, Christer Norstrm, Sasikumar Punnekkat |
| 2000 | ECRTS | Using deterministic replay for debugging of distributed real-time systems. | Henrik Thane, Hans Hansson |
| 2000 | RTAS | Response Time Analysis under Errors for CAN. | Sasikumar Punnekkat, Hans Hansson, Christer Norstrm |
| 2000 | RTCSA | Deriving reliability estimates of distributed real-time systems by simulation. | Mats Lindgren, Hans Hansson, Christer Norstrm, Sasikumar Punnekkat |
| 2000 | RTCSA | Using measurements to derive the worst-case execution time. | Markus Lindgren, Hans Hansson, Henrik Thane |
| 1999 | RTSS | Towards Systematic Testing of Distributed Real-Time Systems. | Henrik Thane, Hans Hansson |
| 1999 | RTAS | Analyzing Multimedia Traffic in Real-Time ATM Networks. | Mikael Sjdin, Hans Hansson |
| 1999 | RTCSA | Handling Interrupts in Testing of Distributed Real-Time Systems. | Henrik Thane, Hans Hansson |
| 1998 | RTSS | Improved Response-Time Analysis Calculations. | Mikael Sjdin, Hans Hansson |
| 1998 | RTCSA | Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance. | Andreas Ermedahl, Hans Hansson, Marina Papatriantafilou, Philippas Tsigas |
| 1997 | RTSS | Response-time guarantees in ATM networks. | Andreas Ermedahl, Hans Hansson, Mikael Sjdin |
| 1996 | RTCSA | Guaranteeing Real-Time Traffic Through an ATM Network. | Hans Hansson |
| 1995 | RTAS | BASEMENT: a distributed real-time architecture for vehicle applications. | Hans Hansson, Harold W. Lawson, Mikael Strmberg, Sven Larsson |
| 1991 | FORTE | Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus. | Hans Hansson |
| 1990 | RTSS | A Calculus for Communicating Systems with Time and Probabitilies. | Hans Hansson, Bengt Jonsson |
| 1989 | FORTE | Specification for Verification. | Hans Hansson, Bengt Jonsson, Fredrik Orava, Bjrn Pehrson |
| 1989 | RTSS | A Framework for Reasoning about Time and Reliability. | Hans Hansson, Bengt Jonsson |