Paul Pettersson

According to our database, Paul Pettersson authored at least 105 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Confessions of an AI Brain

Elena Fersman, Paul Pettersson, Athanasios Karapantelakis

Springer, ISBN: 978-3-031-25934-0, 2023

2017

Analyzing a wind turbine system: From simulation to formal verification.

Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson

Sci. Comput. Program., 2017

Using mutation to design tests for aspect-oriented models.

Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson

Inf. Softw. Technol., 2017

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool.

Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems.

Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

A Comparative Study of Manual and Automated Testing for Industrial Control Software.

Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough.

Andreas Johnsen, Gordana Dodig Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2016

Automated test generation using model checking: an industrial evaluation.

Eduard Paul Enoiu, Adnan Causevic, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Paul Pettersson

Int. J. Softw. Tools Technol. Transf., 2016

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL.

Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm

Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking.

Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson

Proceedings of the Testing Software and Systems, 2016

A Controlled Experiment in Testing of Safety-Critical Embedded Software.

Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Foreword.

Cristina Cerschi Seceleanu, Paul Pettersson

J. Log. Algebraic Methods Program., 2015

Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs.

Raluca Marinescu, Cristina Seceleanu, Hélène Le Guen, Paul Pettersson

Adv. Comput., 2015

Mutating aspect-oriented models to test cross-cutting concerns.

Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Adaptive Task Automata with Earliest-Deadline-First Scheduling.

Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Regression verification of AADL models through slicing of system dependence graphs.

Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions.

Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

A Model-Based Testing Framework for Automotive Embedded Systems.

Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2013

Modeling and analysis of adaptive embedded systems using adaptive task automata.

Leo Hatvani, Cristina Cerschi Seceleanu, Paul Pettersson

SIGBED Rev., 2013

A methodology for formal analysis and verification of EAST-ADL models.

Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson

Reliab. Eng. Syst. Saf., 2013

An Analyzable Model of Automated Service Negotiation.

Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.

Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Using Logic Coverage to Improve Testing Function Block Diagrams.

Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson

Proceedings of the Testing Software and Systems, 2013

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker.

Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

MOS: An integrated model-based and search-based testing tool for Function Block Diagrams.

Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification.

Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Tools for Model-Checking Timed Systems.

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

2012

Checking Correctness of Services Modeled as Priced Timed Automata.

Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT.

Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Automated Verification of AADL-Specifications Using UPPAAL.

Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems.

Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Developing UPPAAL over 15 years.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Softw. Pract. Exp., 2011

Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.

Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson

Proceedings of the Computer Safety, Reliability, and Security, 2011

Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator.

Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic

Proceedings of the 11th International Conference on Quality Software, 2011

ABV - A Verifier for the Architecture Analysis and Design Language (AADL).

Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

An Architecture-Based Verification Technique for AADL Specifications.

Andreas Johnsen, Paul Pettersson, Kristina Lundqvist

Proceedings of the Software Architecture - 5th European Conference, 2011

Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling.

Mikael Asberg, Paul Pettersson, Thomas Nolte

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Pattern-Driven Support for Designing Component-Based Architectural Models.

Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool.

Paul Pettersson

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Towards WCET Analysis of Multicore Architectures Using UPPAAL.

Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Quality of Service-Oriented Software Systems (QUASOSS 2010).

Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson

Proceedings of the Models in Software Engineering, 2010

An integrated tool for trade-off analysis of quality-of-service attributes.

Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson

Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, 2010

Modeling and Reasoning about Service Behaviors and Their Compositions.

Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck.

Shuhao Li, Paul Pettersson

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Bridging the Semantic Gap between Abstract Models of Embedded Systems.

Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2009

Analyzing a Pattern-Based Model of a Real-Time Turntable System.

Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Save-IDE - A tool for design, analysis and implementation of component-based embedded systems.

Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic

Proceedings of the 31st International Conference on Software Engineering, 2009

REMES: A Resource Model for Embedded Systems.

Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Formal Semantics of the ProCom Real-Time Component Model.

Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

Verification of COMDES-II Systems Using UPPAAL with Model Transformation.

Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems.

Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Anything You Want to Ask about Software Reliability Engineering.

Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Scheduling Timed Modules for Correct Resource Sharing.

Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson

Proceedings of the First International Conference on Software Testing, 2008

Testing Real-Time Systems Using UPPAAL.

Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Methods and Testing, 2008

CORCS 2008 Workshop Organization.

Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the CORCS 2008 Workshop Organizers.

Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability.

Aida Causevic, Paul Pettersson, Cristina Cerschi Seceleanu

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.

John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

The SAVE approach to component-based development of vehicular systems.

Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli

J. Syst. Softw., 2007

Task automata: Schedulability, decidability and undecidability.

Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi

Inf. Comput., 2007

A Global Algorithm for Model-Based Test Suite Generation.

Anders Hessel, Paul Pettersson

Proceedings of the Third Workshop on Model Based Testing, 2007

Generating Trace-Sets for Model-based Testing.

Birgitta Lindström, Paul Pettersson, Jeff Offutt

Proceedings of the ISSRE 2007, 2007

Partial Order Reduction for Verification of Real-Time Components.

John Håkansson, Paul Pettersson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Seamless formal verification of complex event processing applications.

AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö

Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

2006

Schedulability analysis of fixed-priority systems using timed automata.

Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Theor. Comput. Sci., 2006

UPPAAL 4.0.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Model Checking Timed Automata with Priorities Using DBM Subtraction.

Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Model-Based Testing of a WAP Gateway: An Industrial Case-Study.

Anders Hessel, Paul Pettersson

Proceedings of the Formal Methods: Applications and Technology, 2006

Inference of Event-Recording Automata Using Timed Decision Trees.

Olga Grinchtein, Bengt Jonsson, Paul Pettersson

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Guest Editors' Foreword.

Paul Pettersson, Wang Yi

Nord. J. Comput., 2005

SaveCCM: An Analysable Component Model for Real-Time Systems.

Jan Carlson, John Håkansson, Paul Pettersson

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

2004

A Test Case Generation Algorithm for Real-Time Systems.

Anders Hessel, Paul Pettersson

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Specifying and Generating Test Cases Using Observer Automata.

Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.

Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Real Time Syst., 2003

Schedulability Analysis Using Two Clocks.

Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Time-Optimal Test Cases for Real-Time Systems.

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.

Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Time-Optimal Real-Time Test Case Generation Using Uppaal.

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Approaches to Software Testing, 2003

2002

Code Synthesis for Timed Automata.

Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi

Nord. J. Comput., 2002

Automated verification of an audio-control protocol using UPPAAL.

Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

J. Log. Algebraic Methods Program., 2002

Timed Automata with Asynchronous Processes: Schedulability and Decidability.

Elena Fersman, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

TIMES - A Tool for Modelling and Implementation of Embedded Systems.

Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

UPPAAL Implementation Secrets.

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Formal design and analysis of a gear controller.

Magnus Lindahl, Paul Pettersson, Wang Yi

Int. J. Softw. Tools Technol. Transf., 2001

Guided Synthesis of Control Programs Using UPPAAL.

Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson

Nord. J. Comput., 2001

Efficient Guiding Towards Cost-Optimality in UPPAAL.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Minimum-Cost Reachability for Priced Timed Automata.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

UPPAAL - present and future.

Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.

Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

On Memory-Block Traversal Problems in Model-Checking Timed-Systems.

Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

UPPAAL - Now, Next, and Future.

Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Model-checking real-time control programs: verifying Lego(R) Mindstorms^TM systems using UPPAAL.

Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1997

UPPAAL in a Nutshell.

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Int. J. Softw. Tools Technol. Transf., 1997

A Compositional Proof of a Real-Time Mutual Exclusion Protocol.

Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Efficient verification of real-time systems: compact data structure and state-space reduction.

Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

UPPAAL: Status & Developments.

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

UPPAAL in 1995.

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Verification of an Audio Protocol with Bus Collision Using UPPAAL.

Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Compositional and Symbolic Model-Checking of Real-Time Systems.

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Diagnostic Model-Checking for Real-Time Systems.

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the Hybrid Systems III: Verification and Control, 1995

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Model-Checking for Real-Time Systems.

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994

Automatic verification of real-time communicating systems by constraint-solving.

Wang Yi, Paul Pettersson, Mats Daniels

Proceedings of the Formal Description Techniques VII, 1994

DILEMMA - An Instant Lexicographer.

Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén

Proceedings of the 15th International Conference on Computational Linguistics, 1994

DILEMMA: a tool for rapid manual translation.

Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordström, Bengt Wahrolén

Proceedings of the Conference on Human Factors in Computing Systems, 1994