Publications
Number of publications matching the search criterion: 158 (showing 1 - 50)
Doctoral Thesis (1)
Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice (Feb 1999) Paul Pettersson
Book (5)
Confessions of an AI Brain (May 2023) Elena Fersman , Paul Pettersson, Athanasios Karapantelakis
Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue (Jan 2015) Cristina Seceleanu, Paul Pettersson Special Issue: The 23rd Nordic Workshop on Programming Theory (NWPT 2011) (JLAP-NWPT)
Real-Time Systems (Feb 2010) Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet , Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu
Selected Papers of the 16th Nordic Workshop on Programming Theory (NWPT04), October 6-8, 2004 (Jan 2005) Paul Pettersson, Wang Yi
Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 2005 (Jan 2005) Paul Pettersson, Wang Yi
Book chapter (1)
A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs (Jul 2015) Raluca Marinescu, Cristina Seceleanu, Helene Le Guen , Paul Pettersson Advances in Computers, vol.98 (AC)
Collection (Editor) (4)
Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems (Jun 2009) Julián Proenza , Hans Hansson, Paul Pettersson Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
Tools for Model-Checking (Jan 2009) Alexandre David , Gerd Berhmann , Peter Bulychev , Joakim Byg , Thomas Chatain , Kim Guldstrand Larsen , Paul Pettersson, Jacob Illum Rasmussen , Jiri Srba , Wang Yi , Kenneth Y. Joergensen , Didier Lime , Morgan Magnin , Olivier H. Roux , Louis-Marie Tranonouez Formal Approaches for Communicating Embedded Systems
Testing Real-time systems using UPPAAL (Jan 2008) Anders Hessel, Kim Guldstrand Larsen , Marius Mikuèionis , Brian Nielsen , Paul Pettersson, Arne Skou Formal Methods and Testing
Outils pour le Model-Checking de Systèmes Temporisés (Jan 2008) Alexandre David , Gerd Berhmann , Kim Guldstrand Larsen , Paul Pettersson, Jacob Illum Rasmussen , Wang Yi , Morgan Magnin Approches formelles des systèmes embarqués communicant
Journal article (19)
Using mutation to design tests for aspect-oriented models (Jan 2017) Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson Information and Software Technology (IST)
Analyzing a wind turbine system: From simulation to formal verification (Oct 2016) Cristina Seceleanu, Morgan Johansson , Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson Science of Computer Programming, Elsevier (SCICO)
Automated Test Generation using Model-Checking: An Industrial Evaluation (Nov 2014) Eduard Paul Enoiu, Adnan Causevic, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Paul Pettersson International Journal on Software Tools for Technology Transfer (STTT)
Adaptive Task Automata with Earliest-Deadline-First Scheduling (Nov 2014) Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson Electronic Communications of the EASST Volume 70: Automated Verification of Critical Systems (EASST'14)
A methodology for formal analysis and verification of EAST-ADL models (Jul 2013) Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens , Paul Pettersson Reliability Engineering & System Safety, vol. 120 (RE&SSvol120)
Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Feb 2013) Leo Hatvani, Cristina Seceleanu, Paul Pettersson Special Issue on the 4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2012) (SIGBEDRevV10N1)
A Formal Analysis Framework for AADL (Nov 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson The Journal of Science and Technology
Developing UPPAAL over 15 years (Feb 2011) Gerd Berhmann , Alexandre David , Kim Guldstrand Larsen , Paul Pettersson, Wang Yi Software - Practice and Experience
Prototyping and Code Synthesis of Hierarchically Scheduled Systems using TIMES (Dec 2010) Mikael Åsberg, Thomas Nolte, Paul Pettersson Journal of Convergence (Consumer Electronics)
Task Automata: Schedulability, Decidability and Undecidability (Aug 2007) Elena Fersman , Pavel Krcal , Paul Pettersson, Wang Yi International Journal of Information and Computation
The SAVE approach to component-based development of vehicular systems (May 2007) Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson , Anders Möller, Paul Pettersson, Massimo Tivoli Journal of Systems and Software
Schedulability Analysis of Fixed Priority Systems using Timed Automata (Mar 2006) Elena Fersman , Leonid Mokrushin , Paul Pettersson, Wang Yi Theoretical Computer Science
Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems (Sep 2003) Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson, Wang Yi Real-Time Systems - The International Journal of Time-Critical Computing Systems
Automated Analysis of an Audio Control Protocol Using UPPAAL, (Jul 2002) Johan Bengtsson , W.O.David Griffioen , Kåre J. Kristofferssen , Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson, Wang Yi Journal of Logic and Algebraic Programming,
Code Synthesis for Timed Automata, (May 2002) Tobias Amnell , Elena Fersman , Paul Pettersson, Hongyan Sun , Wang Yi Nordic Journal of Computing
Guided Synthesis of Control Programs Using UPPAAL (May 2001) Thomas Hune , Kim Guldstrand Larsen , Paul Pettersson In Nordic Journal of Computing
Formal Design and Analysis of a Gear Controller (May 2001) Magnus Lindahl , Paul Pettersson, Wang Yi Springer International Journal of Software Tools for Technology Transfer
UPPAAL2K (Apr 1999) Kim Guldstrand Larsen , Paul Pettersson European Association for Theoretical Computer Science Bulletin
UPPAAL in a Nutshell (May 1997) Kim Guldstrand Larsen , Paul Pettersson, Wang Yi In Springer International Journal of Software Tools for Technology Transfer,
Conference/Workshop Paper (100)
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017) Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)
Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017) Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)
Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (Apr 2017) Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson 2nd International Workshop on Decision Making in Software Architecture (MARCH)
A Comparative Study of Manual and Automated Testing for Industrial Control Software (Mar 2017) Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson International Conference on Software Testing, Verification and Validation (ICST 2017)
Mutation-Based Test Generation for PLC Embedded Software using Model Checking (Oct 2016) -- Best Paper Award-- Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt , Paul Pettersson The International Conference on Testing Software and Systems (ICTSS)
A Controlled Experiment in Testing of Safety-Critical Embedded Software (Apr 2016) Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson IEEE International Conference on Software Testing, Verification and Validation (ICST)
AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL (Apr 2016) Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Martin Torelm , Paul Pettersson 12th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA)
Mutating Aspect-Oriented Models to Test Cross-Cutting Concerns (Apr 2015) Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark 10th International Workshop on Mutation Analysis (Mutation 2015)
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions (Nov 2014) Aida Causevic, Cristina Seceleanu, Paul Pettersson 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2014)
Adaptive Task Automata with Earliest-Deadline-First Scheduling (Sep 2014) Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson Pre-proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)
A Model-Based Testing Framework for Automotive Embedded Systems (Aug 2014) Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Seceleanu, Paul Pettersson The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)
Regression Verification of AADL Models through Slicing of System Dependence Graphs (Jun 2014) Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA'14)
Using Logic Coverage to Improve Testing Function Block Diagrams (Nov 2013) Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson International Conference on Testing Software and Systems (ICTSS2013)
Wind Turbine System : An Industrial Case Study in Formal Modeling and Verification (Oct 2013) Jagadish Suryadevara, Gaetana Sapienza, Cristina Seceleanu, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013)
Verifying MARTE/CCSL Mode Behaviors using UPPAAL (Sep 2013) Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet , Paul Pettersson 11th International Conference on Software Engineering and Formal Methods
MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams (May 2013) Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson 35th International Conference on Software Engineering (ICSE) - First International Workshop on Combining Modelling and Search-Based Software Engineering
Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker (Apr 2013) Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson International Conference on Software Testing, Verification and Validation (ICST) - Advances in Model Based Testing (A-MOST 2012)
An Analyzable Model of Automated Service Negotiation (Mar 2013) Aida Causevic, Cristina Seceleanu, Paul Pettersson International Symposium on Service-Oriented System Engineering (IEEE SOSE 2013)
An Integrated Framework for Component-based Analysis of Architectural System Models (Nov 2012) Raluca Marinescu, Cristina Seceleanu, Paul Pettersson Proceedings of the 24th IFIP International Conference on Testing Software and Systems (ICTSS12) Doctoral Workshop
Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012) Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012)
