![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Hans A. Hansson
Person information
- affiliation: Mälardalen University, Västerås, Sweden
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j24]Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson, Radu Prodan:
Evaluation of Storage Placement in Computing Continuum for a Robotic Application. J. Grid Comput. 22(2): 55 (2024) - 2023
- [j23]Alireza Dehlaghi-Ghadim
, Mahshid Helali Moghadam, Ali Balador, Hans Hansson:
Anomaly Detection Dataset for Industrial Control Systems. IEEE Access 11: 107982-107996 (2023) - [j22]Alireza Dehlaghi-Ghadim
, Ali Balador
, Mahshid Helali Moghadam
, Hans Hansson
, Mauro Conti
:
ICSSIM - A framework for building industrial control systems security testbeds. Comput. Ind. 148: 103906 (2023) - [j21]Zeinab Bakhshi
, Guillermo Rodríguez-Navas, Hans Hansson:
Analyzing the performance of persistent storage for fault-tolerant stateful fog applications. J. Syst. Archit. 144: 103004 (2023) - [c87]Björn Leander
, Aida Causevic
, Hans Hansson
, Tomas Lindström:
Evaluation of an OPC UA-Based Access Control Enforcement Architecture. ESORICS Workshops (1) 2023: 124-144 - [c86]Björn Leander
, Aida Causevic, Tomas Lindström, Hans Hansson:
Access Control Enforcement Architectures for Dynamic Manufacturing Systems. ICSA 2023: 82-92 - [c85]Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Christian Grante:
Arguing Operational Safety for Mixed Traffic in Underground Mining. SoSE 2023: 1-7 - [i3]Alireza Dehlaghi-Ghadim, Mahshid Helali Moghadam, Ali Balador, Hans Hansson:
Anomaly Detection Dataset for Industrial Control Systems. CoRR abs/2305.09678 (2023) - 2022
- [c84]Julieth Patricia Castellanos Ardila
, Sasikumar Punnekkat
, Anas Fattouh
, Hans Hansson
:
A Context-Specific Operational Design Domain for Underground Mining (ODD-UM). EuroSPI 2022: 161-176 - [c83]Björn Leander
, Tijana Markovic, Aida Causevic, Tomas Lindström, Hans Hansson, Sasikumar Punnekkat:
Simulation Environment for Modular Automation Systems. IECON 2022: 1-6 - [i2]Alireza Dehlaghi-Ghadim, Ali Balador, Hans Hansson, Mauro Conti:
ICSSIM-A Framework for Building Industrial Control Systems Security Simulation Testbeds. CoRR abs/2210.13325 (2022) - 2021
- [j20]Björn Leander
, Aida Causevic
, Hans Hansson
, Tomas Lindström:
Toward an Ideal Access Control Strategy for Industry 4.0 Manufacturing Systems. IEEE Access 9: 114037-114050 (2021) - [j19]Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane:
Towards dynamic safety assurance for Industry 4.0. J. Syst. Archit. 114: 101914 (2021) - [j18]Muhammad Atif Javed, Faiz Ul Muram
, Sasikumar Punnekkat
, Hans Hansson
:
Safe and secure platooning of Automated Guided Vehicles in Industry 4.0. J. Syst. Archit. 121: 102309 (2021) - [c82]Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson:
Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks. DSN 2021: 129-140 - [c81]Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson:
Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge. ETFA 2021: 1-6 - [c80]Björn Leander
, Aida Causevic, Tomas Lindström, Hans Hansson:
A Questionnaire Study on the Use of Access Control in Industrial Systems. ETFA 2021: 1-8 - [c79]Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson:
Fault-tolerant Permanent Storage for Container-based Fog Architectures. ICIT 2021: 722-729 - [c78]Martin A. Skoglund
, Fredrik Warg
, Hans Hansson
, Sasikumar Punnekkat
:
Synchronisation of an Automotive Multi-concern Development Process. SAFECOMP Workshops 2021: 63-75 - [c77]Martin A. Skoglund, Fredrik Warg
, Hans Hansson, Sasikumar Punnekkat:
Black-Box Testing for Security-Informed Safety of Automated Driving Systems. VTC Spring 2021: 1-7 - 2020
- [c76]Björn Leander
, Aida Causevic
, Hans Hansson
, Tomas Lindström:
Access Control for Smart Manufacturing Systems. ECSA Companion 2020: 463-476 - [c75]Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat:
Dynamic Reconfiguration of Safety-Critical Production Systems. PRDC 2020: 120-129
2010 – 2019
- 2019
- [j17]Stefan Eck, Hans A. Hansson:
PROMPT - Master Courses for Professional SoftwareDevelopers. ACM SIGSOFT Softw. Eng. Notes 44(1): 29-30 (2019) - [c74]Björn Leander
, Aida Causevic, Hans Hansson:
Applicability of the IEC 62443 standard in Industry 4.0 / IIoT. ARES 2019: 101:1-101:8 - [c73]Björn Leander
, Aida Causevic, Hans Hansson:
Cybersecurity Challenges in Large Industrial IoT Systems. ETFA 2019: 1035-1042 - [c72]Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson:
Dependable Fog Computing: A Systematic Literature Review. SEAA 2019: 395-403 - 2018
- [c71]Irfan Sljivo
, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe 2018: 19-33 - [c70]Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson:
A Systematic Way to Incorporate Security in Safety Analysis. DSN Workshops 2018: 166-171 - [c69]Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh
, Hans Hansson:
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software. ISPDC 2018: 172-179 - [c68]Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson:
Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. RTAS 2018: 89-92 - [c67]Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson:
Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. RTCSA 2018: 147-156 - [i1]Kaj Hänninen, Hans Hansson, Henrik Thane, Mehrdad Saadatmand:
Inadequate Risk Analysis Might Jeopardize The Functional Safety of Modern Systems. CoRR abs/1808.10308 (2018) - 2017
- [j16]Sara Abbaspour Asadollah
, Daniel Sundmark, Sigrid Eldh
, Hans Hansson:
Concurrency bugs in open source software: a case study. J. Internet Serv. Appl. 8(1): 4:1-4:15 (2017) - [j15]Irfan Sljivo
, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
A method to generate reusable safety case argument-fragments from compositional safety analysis. J. Syst. Softw. 131: 570-590 (2017) - [j14]Paul Pop
, Detlef Scholle, Irfan Sljivo
, Hans Hansson, Gunnar Widforss, Malin Rosqvist:
Safe cooperating cyber-physical systems using wireless communication: The SafeCOP approach. Microprocess. Microsystems 53: 42-50 (2017) - [j13]Sara Abbaspour Asadollah
, Daniel Sundmark, Sigrid Eldh
, Hans Hansson, Wasif Afzal:
10 Years of research on debugging concurrent and multicore software: a systematic mapping study. Softw. Qual. J. 25(1): 49-82 (2017) - [c66]Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson:
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. ICST Workshops 2017: 77-80 - 2016
- [c65]Paul Pop
, Detlef Scholle, Hans Hansson, Gunnar Widforss, Malin Rosqvist:
The SafeCOP ECSEL Project: Safe Cooperating Cyber-Physical Systems Using Wireless Communication. DSD 2016: 532-538 - [c64]Sara Abbaspour Asadollah
, Mehrdad Saadatmand
, Sigrid Eldh
, Daniel Sundmark, Hans A. Hansson:
A model for systematic monitoring and debugging of starvation bugs in multicore software. SCTDCP@ASE 2016: 7-11 - [c63]Sara Abbaspour Asadollah
, Daniel Sundmark, Sigrid Eldh
, Hans Hansson, Eduard Paul Enoiu:
A Study of Concurrency Bugs in an Open Source Software. OSS 2016: 16-31 - [c62]Francisco Pozo, Guillermo Rodríguez-Navas
, Wilfried Steiner, Hans A. Hansson:
Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. RTCSA 2016: 170-175 - [c61]Irfan Sljivo
, Barbara Gallina, Jan Carlson, Hans A. Hansson:
Configuration-Aware Contracts. SAFECOMP Workshops 2016: 43-54 - 2015
- [c60]Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas
, Hans Hansson:
A decomposition approach for SMT-based schedule synthesis for time-triggered networks. ETFA 2015: 1-8 - [c59]Sara Abbaspour Asadollah
, Hans Hansson, Daniel Sundmark, Sigrid Eldh
:
Towards Classification of Concurrency Bugs Based on Observable Properties. COUFLESS@ICSE 2015: 41-47 - [c58]Hang Yin, Hans Hansson:
Flexible and Efficient Reuse of Multi-mode Components for Building Multi-mode Systems. ICSR 2015: 237-252 - [c57]Irfan Sljivo
, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. ICSR 2015: 253-268 - [c56]Irfan Sljivo
, Barbara Gallina, Jan Carlson, Hans Hansson:
Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. PRDC 2015: 129-138 - [c55]Sara Abbaspour Asadollah
, Rafia Inam, Hans Hansson:
A Survey on Testing for Cyber Physical System. ICTSS 2015: 194-207 - [c54]Francisco Pozo, Guillermo Rodríguez-Navas
, Hans Hansson, Wilfried Steiner:
SMT-based synthesis of TTEthernet schedules: A performance study. SIES 2015: 162-165 - 2014
- [c53]Yin Hang, Hans Hansson:
Handling Emergency Mode Switch for Component-Based Systems. APSEC (1) 2014: 151-158 - [c52]Guillermo Rodríguez-Navas
, Cristina Cerschi Seceleanu
, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn:
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC 2014: 95:1-95:4 - [c51]Irfan Sljivo
, Barbara Gallina, Jan Carlson
, Hans Hansson:
Generation of Safety Case Argument-Fragments from Safety Contracts. SAFECOMP 2014: 170-185 - 2013
- [j12]Hang Yin, Hans Hansson:
Mode switch timing analysis for component-based multi-mode systems. J. Syst. Archit. 59(10-D): 1299-1318 (2013) - [c50]Yin Hang, Hans Hansson:
Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems. APSEC (1) 2013: 404-413 - [c49]Hang Yin, Hongwan Qin, Jan Carlson
, Hans Hansson
:
Mode switch handling for the ProCom component model. CBSE 2013: 13-22 - [c48]Irfan Sljivo
, Barbara Gallina, Jan Carlson
, Hans Hansson:
Strong and weak contract formalism for third-party component reuse. ISSRE (Supplemental Proceedings) 2013: 359-364 - 2012
- [c47]Hang Yin, Jan Carlson
, Hans Hansson
:
Towards mode switch handling in component-based multi-mode systems. CBSE 2012: 183-188 - [c46]Yin Hang, Hans Hansson
:
Timing Analysis for Mode Switch in Component-Based Multi-mode Systems. ECRTS 2012: 255-264 - [c45]Iain Bate, Hans Hansson
, Sasikumar Punnekkat
:
Better, faster, cheaper, and safer too - Is this really possible? ETFA 2012: 1-4 - 2011
- [j11]Yin Hang, Hans Hansson:
Timing analysis for a composable mode switch. SIGBED Rev. 8(3): 15-18 (2011) - [c44]Johan Kraft, Holger M. Kienle, Thomas Nolte, Ivica Crnkovic
, Hans Hansson
:
Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems. CSMR 2011: 335-338 - [c43]Sigrid Eldh
, Hans Hansson
, Sasikumar Punnekkat
:
Analysis of Mistakes as a Method to Improve Test Case Design. ICST 2011: 70-79 - 2010
- [c42]Sigrid Eldh
, Joachim Brandt, Mark Street, Hans Hansson
, Sasikumar Punnekkat
:
Towards Fully Automated Test Management for Large Complex Systems. ICST 2010: 412-420
2000 – 2009
- 2009
- [j10]Julián Proenza
, José Miró-Julià, Hans Hansson
:
Managing redundancy in CAN-based networks supporting N-Version Programming. Comput. Stand. Interfaces 31(1): 120-127 (2009) - [p3]Hans Hansson, Thomas Nolte, Mikael Sjödin, Daniel Sundmark:
Real-Time in Networked Embedded Systems. Embedded Systems Design and Verification 2009: 1 - 2008
- [c41]Cristina Cerschi Seceleanu
, Paul Pettersson
, Hans Hansson
:
Message from the CORCS 2008 Workshop Organizers. COMPSAC 2008: 1295 - [c40]Cristina Cerschi Seceleanu, Paul Pettersson
, Hans Hansson:
CORCS 2008 Workshop Organization. COMPSAC 2008: 1296 - [c39]Cristina Cerschi Seceleanu
, Paul Pettersson, Hans Hansson
:
Scheduling Timed Modules for Correct Resource Sharing. ICST 2008: 102-111 - 2007
- [j9]Mikael Åkerholm, Jan Carlson
, Johan Fredriksson, Hans Hansson
, John Håkansson, Anders Möller, Paul Pettersson
, Massimo Tivoli
:
The SAVE approach to component-based development of vehicular systems. J. Syst. Softw. 80(5): 655-667 (2007) - [c38]Joel Huselius, Johan Kraft, Hans Hansson
, Sasikumar Punnekkat
:
Evaluating the Quality of Models Extracted from Embedded Real-Time Software. ECBS 2007: 577-585 - [c37]Guillermo Rodríguez-Navas
, Julián Proenza, Hans Hansson:
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. ICFEM 2007: 307-326 - [c36]Sigrid Eldh
, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson:
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware. TestCom/FATES 2007: 74-89 - 2006
- [c35]Thomas Nolte, Hans A. Hansson, Lucia Lo Bello
:
Integration of networked subsystems in a resource constrained environment. ETFA 2006: 905-912 - [c34]Joel Huselius, Johan Andersson, Hans Hansson
, Sasikumar Punnekkat
:
Automatic Generation and Validation of Models of Legacy Software. RTCSA 2006: 342-349 - [c33]Sigrid Eldh
, Hans Hansson
, Sasikumar Punnekkat
, Anders Pettersson, Daniel Sundmark:
A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques. TAIC PART 2006: 159-170 - 2005
- [j8]Thomas Nolte, Mikael Nolin, Hans A. Hansson
:
Real-time server-based communication with CAN. IEEE Trans. Ind. Informatics 1(3): 192-201 (2005) - [c32]Thomas Nolte, Hans Hansson, Lucia Lo Bello:
Automotive communications-past, current and future. ETFA 2005 - [c31]Thomas Nolte, Guillermo Rodríguez-Navas, Julián Proenza, Sasikumar Punnekkat, Hans Hansson:
Towards analyzing the fault-tolerant operation of server-CAN. ETFA 2005 - [c30]Mikael Åkerholm, Anders Möller, Hans Hansson
, Mikael Nolin:
Towards a Dependable Component Technology for Embedded System Applications. WORDS 2005: 320-328 - [p2]Jakob Axelsson, Joakim Fröberg, Hans Hansson, Christer Norström, Kristian Sandström, Björn Villing:
A Comparative Case Study of Distributed Network Architectures for Different Automotive Applications. The Industrial Information Technology Handbook 2005: 1-20 - [p1]Hans Hansson, Mikael Nolin, Thomas Nolte:
Real-Time Systems. The Industrial Information Technology Handbook 2005: 1-28 - [r1]Mikael Nolin, Hans Hansson, Thomas Nolte:
Real-Time in Embedded Systems. Embedded Systems Handbook 2005 - 2004
- [c29]Hans Hansson, Mikael Åkerholm, Ivica Crnkovic
, Martin Törngren
:
SaveCCM - A Component Model for Safety-Critical Real-Time Systems. EUROMICRO 2004: 627-635 - 2003
- [j7]Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson:
Worst-case execution-time analysis for embedded real-time systems. Int. J. Softw. Tools Technol. Transf. 4(4): 437-455 (2003) - [c28]Thomas Nolte, Mikael Sjödin, Hans Hansson:
Server-based scheduling of the CAN bus. ETFA (1) 2003: 169-176 - [c27]Thomas Nolte, Hans Hansson, Christer Norström:
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network. IEEE Real Time Technology and Applications Symposium 2003: 200-207 - 2002
- [j6]Hans A. Hansson
, Thomas Nolte, Christer Norström, Sasikumar Punnekkat
:
Integrating reliability and timing analysis of CAN-based systems. IEEE Trans. Ind. Electron. 49(6): 1240-1250 (2002) - [c26]Thomas Nolte, Hans Hansson, Christer Norström:
Minimizing CAN Response-Time Jitter by Message Manipulation. IEEE Real Time Technology and Applications Symposium 2002: 197-206 - 2001
- [j5]Henrik Thane, Hans Hansson
:
Testing distributed real-time systems. Microprocess. Microsystems 24(9): 463-478 (2001) - [c25]Hans Hansson, Christer Norström, Sasikumar Punnekkat:
A simulation based approach for estimating the reliability of distributed real-time systems. ETFA (1) 2001: 247-254 - 2000
- [c24]Henrik Thane, Hans Hansson:
Using deterministic replay for debugging of distributed real-time systems. ECRTS 2000: 265-272 - [c23]Hans Hansson, Christer Norström, Sasikumar Punnekkat:
Reliability Modelling of Time-Critical Distributed Systems. FTRTFT 2000: 94-105 - [c22]Hans Hansson, Christer Norström, Sasikumar Punnekkat:
2 + 10 > 1 + 50! IPDPS Workshops 2000: 734-737 - [c21]Sasikumar Punnekkat, Hans Hansson, Christer Norström:
Response Time Analysis under Errors for CAN. IEEE Real Time Technology and Applications Symposium 2000: 258-265 - [c20]Markus Lindgren, Hans Hansson, Henrik Thane:
Using measurements to derive the worst-case execution time. RTCSA 2000: 15-22 - [c19]Mats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat
:
Deriving reliability estimates of distributed real-time systems by simulation. RTCSA 2000: 279-
1990 – 1999
- 1999
- [c18]Mikael Sjödin, Hans Hansson:
Analyzing Multimedia Traffic in Real-Time ATM Networks. IEEE Real Time Technology and Applications Symposium 1999: 203-212 - [c17]Henrik Thane, Hans Hansson:
Handling Interrupts in Testing of Distributed Real-Time Systems. RTCSA 1999: 450- - [c16]Henrik Thane, Hans Hansson:
Towards Systematic Testing of Distributed Real-Time Systems. RTSS 1999: 360-369 - 1998
- [j4]Peter Altenbernd, Hans Hansson:
The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks. Real Time Syst. 15(2): 103-130 (1998) - [c15]Andreas Ermedahl, Hans Hansson, Marina Papatriantafilou, Philippas Tsigas:
Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance. RTCSA 1998: 257-266 - [c14]Mikael Sjödin, Hans Hansson:
Improved Response-Time Analysis Calculations. RTSS 1998: 399-408 - 1997
- [j3]Hans Hansson
, Harold W. Lawson, Olof Bridal, Christer Eriksson, Sven Larsson, Henrik Lönn, Mikael Strömberg:
BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems. IEEE Trans. Computers 46(9): 1016-1027 (1997) - [c13]Hans Hansson, Mikael Sjödin, Ken Tindell:
Guaranteeing Real-Time Traffic Through an ATM Network. HICSS (5) 1997: 44-53 - [c12]Andreas Ermedahl, Hans Hansson, Mikael Sjödin:
Response-time guarantees in ATM networks. RTSS 1997: 274-284 - 1996
- [j2]Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson:
BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications. Real Time Syst. 11(3): 223-244 (1996) - [c11]Hans Hansson:
Guaranteeing Real-Time Traffic Through an ATM Network. RTCSA 1996: 58 - 1995
- [c10]Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson:
BASEMENT: a distributed real-time architecture for vehicle applications. IEEE Real Time Technology and Applications Symposium 1995: 220-229 - 1994
- [j1]Hans Hansson
, Bengt Jonsson:
A Logic for Reasoning about Time and Reliability. Formal Aspects Comput. 6(5): 512-535 (1994) - 1992
- [c9]Hans A. Hansson:
Time and probabilities in specification and verification of real-time systems. RTS 1992: 92-97 - [c8]Hans Hansson, Fredrik Orava:
A Process Calculus with Incomparable Priorities. NAPAW 1992: 43-64 - 1991
- [b1]Hans A. Hansson:
Time and probability in formal design of distributed systems. University Uppsala, Sweden, DoCS 91/27, 1991, pp. 1-192 - [c7]Hans Hansson:
Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus. FORTE 1991: 67-82 - 1990
- [c6]Hans Hansson
, Bengt Jonsson:
A Calculus for Communicating Systems with Time and Probabitilies. RTSS 1990: 278-287
1980 – 1989
- 1989
- [c5]Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson:
Specification for Verification. FORTE 1989: 227-244 - [c4]Hans Hansson, Bengt Jonsson:
A Framework for Reasoning about Time and Reliability. RTSS 1989: 102-111 - 1985
- [c3]Hans A. Hansson:
Automatic implementation of formal descriptions of communication protocols. PSTV 1985: 259-270 - [c2]Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda:
An approach for evaluating formal description techniques. PSTV 1985: 421-438 - 1984
- [c1]Mats Daniels, Hans A. Hansson:
An ASYL/EFSM Description of the ISO Transport Protocol. PSTV 1984: 349-373
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-18 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint