Hans Hansson - RankMe

113 papers A* 1A 11B 18C 18Misc 1Journal 26Unranked 34

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Formalizing Operational Design Domains with the Pkl Language. CoRR Martin A. Skoglund, Fredrik Warg, Anders Thorsén, Sasikumar Punnekkat, Hans Hansson
2025	C	`conf`	Machine Learning-Driven Intrusion Detection and Identification in Industrial Control Systems. PDP Alireza Dehlaghi-Ghadim, Mona Moslemzade, Nima Pattiyampully Dharmapal, Niclas Ericsson, Mahshid Helali Moghadam, Ali Balador, Hans Hansson
2025	—	`conf`	Methodology for Test Case Allocation Based on a Formalized ODD. SAFECOMP (Workshops) Martin A. Skoglund, Fredrik Warg, Anders Thorsén, Sasikumar Punnekkat, Hans Hansson
2025	J	`jnl`	Methodology for Test Case Allocation based on a Formalized ODD. CoRR Martin A. Skoglund, Fredrik Warg, Anders Thorsén, Sasikumar Punnekkat, Hans Hansson
2025	—	`conf`	Wang at MDU in a Nutshell. Real Time and Such Hans Hansson, Christer Norström, Cristina Seceleanu
2024	J	`jnl`	Evaluation of Storage Placement in Computing Continuum for a Robotic Application. J. Grid Comput. Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson, Radu Prodan
2024	B	`conf`	Safety Argumentation for Machinery Assembly Control Software. SAFECOMP Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman
2024	C	`conf`	Using Decision Support to Fortify Industrial Control System Against Cyberattacks. ETFA Alireza Dehlaghi-Ghadim, Niclas Ericsson, Lars-Göran Magnusson, Mats Eriksson, Mahshid Helali Moghadam, Ali Balador, Hans Hansson
2023	A	`conf`	Access Control Enforcement Architectures for Dynamic Manufacturing Systems. ICSA Björn Leander, Aida Causevic, Tomas Lindström, Hans Hansson
2023	J	`jnl`	Analyzing the performance of persistent storage for fault-tolerant stateful fog applications. J. Syst. Archit. Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson
2023	J	`jnl`	Anomaly Detection Dataset for Industrial Control Systems. IEEE Access Alireza Dehlaghi-Ghadim, Mahshid Helali Moghadam, Ali Balador, Hans Hansson
2023	J	`jnl`	Anomaly Detection Dataset for Industrial Control Systems. CoRR Alireza Dehlaghi-Ghadim, Mahshid Helali Moghadam, Ali Balador, Hans Hansson
2023	—	`conf`	Arguing Operational Safety for Mixed Traffic in Underground Mining. SoSE Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Christian Grante
2023	—	`conf`	Evaluation of an OPC UA-Based Access Control Enforcement Architecture. ESORICS Workshops (1) Björn Leander, Aida Causevic, Hans Hansson, Tomas Lindström
2023	J	`jnl`	ICSSIM - A framework for building industrial control systems security testbeds. Comput. Ind. Alireza Dehlaghi-Ghadim, Ali Balador, Mahshid Helali Moghadam, Hans Hansson, Mauro Conti
2022	B	`conf`	A Context-Specific Operational Design Domain for Underground Mining (ODD-UM). EuroSPI Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Anas Fattouh, Hans Hansson
2022	J	`jnl`	ICSSIM-A Framework for Building Industrial Control Systems Security Simulation Testbeds. CoRR Alireza Dehlaghi-Ghadim, Ali Balador, Hans Hansson, Mauro Conti
2022	C	`conf`	Simulation Environment for Modular Automation Systems. IECON Björn Leander, Tijana Markovic, Aida Causevic, Tomas Lindström, Hans Hansson, Sasikumar Punnekkat
2021	C	`conf`	A Questionnaire Study on the Use of Access Control in Industrial Systems. ETFA Björn Leander, Aida Causevic, Tomas Lindström, Hans Hansson
2021	—	`conf`	Black-Box Testing for Security-Informed Safety of Automated Driving Systems. VTC Spring Martin A. Skoglund, Fredrik Warg, Hans Hansson, Sasikumar Punnekkat
2021	—	`conf`	Fault-tolerant Permanent Storage for Container-based Fog Architectures. ICIT Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson
2021	J	`jnl`	Safe and secure platooning of Automated Guided Vehicles in Industry 4.0. J. Syst. Archit. Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat, Hans Hansson
2021	A	`conf`	Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks. DSN Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson
2021	—	`conf`	Synchronisation of an Automotive Multi-concern Development Process. SAFECOMP Workshops Martin A. Skoglund, Fredrik Warg, Hans Hansson, Sasikumar Punnekkat
2021	J	`jnl`	Toward an Ideal Access Control Strategy for Industry 4.0 Manufacturing Systems. IEEE Access Björn Leander, Aida Causevic, Hans Hansson, Tomas Lindström
2021	J	`jnl`	Towards dynamic safety assurance for Industry 4.0. J. Syst. Archit. Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane
2021	C	`conf`	Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge. ETFA Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson
2020	—	`conf`	Access Control for Smart Manufacturing Systems. ECSA Companion Björn Leander, Aida Causevic, Hans Hansson, Tomas Lindström
2020	C	`conf`	Dynamic Reconfiguration of Safety-Critical Production Systems. PRDC Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat
2019	B	`conf`	Applicability of the IEC 62443 standard in Industry 4.0 / IIoT. ARES Björn Leander, Aida Causevic, Hans Hansson
2019	C	`conf`	Cybersecurity Challenges in Large Industrial IoT Systems. ETFA Björn Leander, Aida Causevic, Hans Hansson
2019	B	`conf`	Dependable Fog Computing: A Systematic Literature Review. SEAA Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson
2018	C	`conf`	A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software. ISPDC Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
2018	—	`conf`	A Systematic Way to Incorporate Security in Safety Analysis. DSN Workshops Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson
2018	J	`jnl`	Inadequate Risk Analysis Might Jeopardize The Functional Safety of Modern Systems. CoRR Kaj Hänninen, Hans Hansson, Henrik Thane, Mehrdad Saadatmand
2018	B	`conf`	Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. RTCSA Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson
2018	Misc	`conf`	Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
2018	A	`conf`	Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. RTAS Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson
2017	J	`jnl`	10 Years of research on debugging concurrent and multicore software: a systematic mapping study. Softw. Qual. J. Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Wasif Afzal
2017	J	`jnl`	A method to generate reusable safety case argument-fragments from compositional safety analysis. J. Syst. Softw. Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
2017	J	`jnl`	Concurrency bugs in open source software: a case study. J. Internet Serv. Appl. Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
2017	J	`jnl`	Safe cooperating cyber-physical systems using wireless communication: The SafeCOP approach. Microprocess. Microsystems Paul Pop, Detlef Scholle, Irfan Sljivo, Hans Hansson, Gunnar Widforss, Malin Rosqvist
2016	—	`conf`	A Study of Concurrency Bugs in an Open Source Software. OSS Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu
2016	C	`conf`	The SafeCOP ECSEL Project: Safe Cooperating Cyber-Physical Systems Using Wireless Communication. DSD Paul Pop, Detlef Scholle, Hans Hansson, Gunnar Widforss, Malin Rosqvist
2015	B	`conf`	A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. ICSR Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
2015	C	`conf`	A Survey on Testing for Cyber Physical System. ICTSS Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
2015	C	`conf`	A decomposition approach for SMT-based schedule synthesis for time-triggered networks. ETFA Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas, Hans Hansson
2015	B	`conf`	Flexible and Efficient Reuse of Multi-mode Components for Building Multi-mode Systems. ICSR Hang Yin, Hans Hansson
2015	—	`conf`	SMT-based synthesis of TTEthernet schedules: A performance study. SIES Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson, Wilfried Steiner
2015	—	`conf`	Towards Classification of Concurrency Bugs Based on Observable Properties. COUFLESS@ICSE Sara Abbaspour Asadollah, Hans Hansson, Daniel Sundmark, Sigrid Eldh
2015	C	`conf`	Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. PRDC Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
2014	A*	`conf`	Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn
2014	B	`conf`	Generation of Safety Case Argument-Fragments from Safety Contracts. SAFECOMP Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
2014	—	`conf`	Handling Emergency Mode Switch for Component-Based Systems. APSEC (1) Yin Hang, Hans Hansson
2013	—	`conf`	Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems. APSEC (1) Yin Hang, Hans Hansson
2013	—	`conf`	Mode switch handling for the ProCom component model. CBSE Hang Yin, Hongwan Qin, Jan Carlson, Hans Hansson
2013	J	`jnl`	Mode switch timing analysis for component-based multi-mode systems. J. Syst. Archit. Hang Yin, Hans Hansson
2013	—	`conf`	Strong and weak contract formalism for third-party component reuse. ISSRE (Supplemental Proceedings) Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
2012	C	`conf`	Better, faster, cheaper, and safer too - Is this really possible? ETFA Iain Bate, Hans Hansson, Sasikumar Punnekkat
2012	B	`conf`	Timing Analysis for Mode Switch in Component-Based Multi-mode Systems. ECRTS Yin Hang, Hans Hansson
2012	—	`conf`	Towards mode switch handling in component-based multi-mode systems. CBSE Hang Yin, Jan Carlson, Hans Hansson
2011	A	`conf`	Analysis of Mistakes as a Method to Improve Test Case Design. ICST Sigrid Eldh, Hans Hansson, Sasikumar Punnekkat
2011	—	`conf`	Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems. CSMR Johan Kraft, Holger M. Kienle, Thomas Nolte, Ivica Crnkovic, Hans Hansson
2011	J	`jnl`	Timing analysis for a composable mode switch. SIGBED Rev. Yin Hang, Hans Hansson
2010	A	`conf`	Towards Fully Automated Test Management for Large Complex Systems. ICST Sigrid Eldh, Joachim Brandt, Mark Street, Hans Hansson, Sasikumar Punnekkat
2009	J	`jnl`	Managing redundancy in CAN-based networks supporting N-Version Programming. Comput. Stand. Interfaces Julián Proenza, José Miró-Julià, Hans Hansson
2009	—	`ch.`	Real-Time in Networked Embedded Systems. Embedded Systems Design and Verification Hans Hansson, Thomas Nolte, Mikael Sjödin, Daniel Sundmark
2008	B	`conf`	CORCS 2008 Workshop Organization. COMPSAC Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
2008	B	`conf`	Message from the CORCS 2008 Workshop Organizers. COMPSAC Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
2008	A	`conf`	Scheduling Timed Modules for Correct Resource Sharing. ICST Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
2007	—	`conf`	Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware. TestCom/FATES Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson
2007	—	`conf`	Evaluating the Quality of Models Extracted from Embedded Real-Time Software. ECBS Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat
2007	C	`conf`	Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. ICFEM Guillermo Rodríguez-Navas, Julián Proenza, Hans Hansson
2007	J	`jnl`	The SAVE approach to component-based development of vehicular systems. J. Syst. Softw. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli
2006	—	`conf`	A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques. TAIC PART Sigrid Eldh, Hans Hansson, Sasikumar Punnekkat, Anders Pettersson, Daniel Sundmark
2006	B	`conf`	Automatic Generation and Validation of Models of Legacy Software. RTCSA Joel Huselius, Johan Andersson, Hans Hansson, Sasikumar Punnekkat
2005	—	`ch.`	A Comparative Case Study of Distributed Network Architectures for Different Automotive Applications. The Industrial Information Technology Handbook Jakob Axelsson, Joakim Fröberg, Hans Hansson, Christer Norström, Kristian Sandström, Björn Villing
2005	C	`conf`	Automotive communications-past, current and future. ETFA Thomas Nolte, Hans Hansson, Lucia Lo Bello
2005	—	`ch.`	Real-Time Systems. The Industrial Information Technology Handbook Hans Hansson, Mikael Nolin, Thomas Nolte
2005	—	`ch.`	Real-Time in Embedded Systems. Embedded Systems Handbook Mikael Nolin, Hans Hansson, Thomas Nolte
2005	—	`conf`	Towards a Dependable Component Technology for Embedded System Applications. WORDS Mikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin
2005	C	`conf`	Towards analyzing the fault-tolerant operation of server-CAN. ETFA Thomas Nolte, Guillermo Rodríguez-Navas, Julián Proenza, Sasikumar Punnekkat, Hans Hansson
2004	—	`conf`	SaveCCM - A Component Model for Safety-Critical Real-Time Systems. EUROMICRO Hans Hansson, Mikael Åkerholm, Ivica Crnkovic, Martin Törngren
2003	—	`conf`	Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network. IEEE Real Time Technology and Applications Symposium Thomas Nolte, Hans Hansson, Christer Norström
2003	—	`conf`	Server-based scheduling of the CAN bus. ETFA (1) Thomas Nolte, Mikael Sjödin, Hans Hansson
2003	J	`jnl`	Worst-case execution-time analysis for embedded real-time systems. Int. J. Softw. Tools Technol. Transf. Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson
2002	—	`conf`	Minimizing CAN Response-Time Jitter by Message Manipulation. IEEE Real Time Technology and Applications Symposium Thomas Nolte, Hans Hansson, Christer Norström
2001	—	`conf`	A simulation based approach for estimating the reliability of distributed real-time systems. ETFA (1) Hans Hansson, Christer Norström, Sasikumar Punnekkat
2001	J	`jnl`	Testing distributed real-time systems. Microprocess. Microsystems Henrik Thane, Hans Hansson
2000	—	`conf`	2 + 10 > 1 + 50! IPDPS Workshops Hans Hansson, Christer Norström, Sasikumar Punnekkat
2000	B	`conf`	Deriving reliability estimates of distributed real-time systems by simulation. RTCSA Mats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat
2000	—	`conf`	Reliability Modelling of Time-Critical Distributed Systems. FTRTFT Hans Hansson, Christer Norström, Sasikumar Punnekkat
2000	—	`conf`	Response Time Analysis under Errors for CAN. IEEE Real Time Technology and Applications Symposium Sasikumar Punnekkat, Hans Hansson, Christer Norström
2000	B	`conf`	Using deterministic replay for debugging of distributed real-time systems. ECRTS Henrik Thane, Hans Hansson
2000	B	`conf`	Using measurements to derive the worst-case execution time. RTCSA Markus Lindgren, Hans Hansson, Henrik Thane
1999	—	`conf`	Analyzing Multimedia Traffic in Real-Time ATM Networks. IEEE Real Time Technology and Applications Symposium Mikael Sjödin, Hans Hansson
1999	B	`conf`	Handling Interrupts in Testing of Distributed Real-Time Systems. RTCSA Henrik Thane, Hans Hansson
1999	A	`conf`	Towards Systematic Testing of Distributed Real-Time Systems. RTSS Henrik Thane, Hans Hansson
1998	A	`conf`	Improved Response-Time Analysis Calculations. RTSS Mikael Sjödin, Hans Hansson
1998	J	`jnl`	The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks. Real Time Syst. Peter Altenbernd, Hans Hansson
1998	B	`conf`	Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance. RTCSA Andreas Ermedahl, Hans Hansson, Marina Papatriantafilou, Philippas Tsigas
1997	J	`jnl`	BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems. IEEE Trans. Computers Hans Hansson, Harold W. Lawson, Olof Bridal, Christer Eriksson, Sven Larsson, Henrik Lönn, Mikael Strömberg
1997	—	`conf`	Guaranteeing Real-Time Traffic Through an ATM Network. HICSS (5) Hans Hansson, Mikael Sjödin, Ken Tindell
1997	A	`conf`	Response-time guarantees in ATM networks. RTSS Andreas Ermedahl, Hans Hansson, Mikael Sjödin
1996	J	`jnl`	BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications. Real Time Syst. Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson
1996	B	`conf`	Guaranteeing Real-Time Traffic Through an ATM Network. RTCSA Hans Hansson
1995	—	`conf`	BASEMENT: a distributed real-time architecture for vehicle applications. IEEE Real Time Technology and Applications Symposium Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson
1994	J	`jnl`	A Logic for Reasoning about Time and Reliability. Formal Aspects Comput. Hans Hansson, Bengt Jonsson
1992	—	`conf`	A Process Calculus with Incomparable Priorities. NAPAW Hans Hansson, Fredrik Orava
1991	C	`conf`	Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus. FORTE Hans Hansson
1990	A	`conf`	A Calculus for Communicating Systems with Time and Probabitilies. RTSS Hans Hansson, Bengt Jonsson
1989	A	`conf`	A Framework for Reasoning about Time and Reliability. RTSS Hans Hansson, Bengt Jonsson
1989	C	`conf`	Specification for Verification. FORTE Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson