Paul Pettersson

According to our database1, Paul Pettersson authored at least 104 papers between 1994 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Analyzing a wind turbine system: From simulation to formal verification.
Sci. Comput. Program., 2017

Using mutation to design tests for aspect-oriented models.
Information & Software Technology, 2017

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

A Comparative Study of Manual and Automated Testing for Industrial Control Software.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2016
Automated test generation using model checking: an industrial evaluation.
STTT, 2016

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL.
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.
Proceedings of the Testing Software and Systems, 2016

A Controlled Experiment in Testing of Safety-Critical Embedded Software.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015
Foreword.
J. Log. Algebr. Meth. Program., 2015

Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs.
Advances in Computers, 2015

Mutating aspect-oriented models to test cross-cutting concerns.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014
Adaptive Task Automata with Earliest-Deadline-First Scheduling.
ECEASST, 2014

Regression verification of AADL models through slicing of system dependence graphs.
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.
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.
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.
SIGBED Review, 2013

A methodology for formal analysis and verification of EAST-ADL models.
Rel. Eng. & Sys. Safety, 2013

An Analyzable Model of Automated Service Negotiation.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Using Logic Coverage to Improve Testing Function Block Diagrams.
Proceedings of the Testing Software and Systems, 2013

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker.
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.
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.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013


2012
Checking Correctness of Services Modeled as Priced Timed Automata.
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.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Automated Verification of AADL-Specifications Using UPPAAL.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Developing UPPAAL over 15 years.
Softw., Pract. Exper., 2011

Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator.
Proceedings of the 11th International Conference on Quality Software, 2011

ABV - A Verifier for the Architecture Analysis and Design Language (AADL).
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

An Architecture-Based Verification Technique for AADL Specifications.
Proceedings of the Software Architecture - 5th European Conference, 2011

Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Pattern-Driven Support for Designing Component-Based Architectural Models.
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.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Towards WCET Analysis of Multicore Architectures Using UPPAAL.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Quality of Service-Oriented Software Systems (QUASOSS 2010).
Proceedings of the Models in Software Engineering, 2010

Modeling and Reasoning about Service Behaviors and Their Compositions.
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.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Bridging the Semantic Gap between Abstract Models of Embedded Systems.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2009
Analyzing a Pattern-Based Model of a Real-Time Turntable System.
Electr. Notes Theor. Comput. Sci., 2009

Save-IDE - A tool for design, analysis and implementation of component-based embedded systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

REMES: A Resource Model for Embedded Systems.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Formal Semantics of the ProCom Real-Time Component Model.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
Verification of COMDES-II Systems Using UPPAAL with Model Transformation.
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.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Anything You Want to Ask about Software Reliability Engineering.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Scheduling Timed Modules for Correct Resource Sharing.
Proceedings of the First International Conference on Software Testing, 2008

Testing Real-Time Systems Using UPPAAL.
Proceedings of the Formal Methods and Testing, 2008

CORCS 2008 Workshop Organization.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the CORCS 2008 Workshop Organizers.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
The SAVE approach to component-based development of vehicular systems.
Journal of Systems and Software, 2007

Task automata: Schedulability, decidability and undecidability.
Inf. Comput., 2007

A Global Algorithm for Model-Based Test Suite Generation.
Electr. Notes Theor. Comput. Sci., 2007

Generating Trace-Sets for Model-based Testing.
Proceedings of the ISSRE 2007, 2007

Partial Order Reduction for Verification of Real-Time Components.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Seamless formal verification of complex event processing applications.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

2006
Schedulability analysis of fixed-priority systems using timed automata.
Theor. Comput. Sci., 2006

SaveCCM: An Analysable Component Model for Real-Time Systems.
Electr. Notes Theor. Comput. Sci., 2006

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

Model Checking Timed Automata with Priorities Using DBM Subtraction.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Model-Based Testing of a WAP Gateway: An Industrial Case-Study.
Proceedings of the Formal Methods: Applications and Technology, 2006

Inference of Event-Recording Automata Using Timed Decision Trees.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Guest Editors' Foreword.
Nord. J. Comput., 2005

2004
A Test Case Generation Algorithm for Real-Time Systems.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Specifying and Generating Test Cases Using Observer Automata.
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.
Real-Time Systems, 2003

Schedulability Analysis Using Two Clocks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Time-Optimal Test Cases for Real-Time Systems.
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Time-Optimal Real-Time Test Case Generation Using Uppaal.
Proceedings of the Formal Approaches to Software Testing, 2003

2002
Code Synthesis for Timed Automata.
Nord. J. Comput., 2002

Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebr. Program., 2002

Timed Automata with Asynchronous Processes: Schedulability and Decidability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

TIMES - A Tool for Modelling and Implementation of Embedded Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

UPPAAL Implementation Secrets.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
Formal design and analysis of a gear controller.
STTT, 2001

Guided Synthesis of Control Programs Using UPPAAL.
Nord. J. Comput., 2001

Minimum-Cost Reachability for Priced Timed Automata.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
On Memory-Block Traversal Problems in Model-Checking Timed-Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

UPPAAL - Now, Next, and Future.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Guided Synthesis of Control Programs Using UPPAAL.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1998
Formal Design and Analysis of a Gear Controller.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997
UPPAAL in a Nutshell.
STTT, 1997

A Compositional Proof of a Real-Time Mutual Exclusion Protocol.
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.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

UPPAAL: Status & Developments.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
UPPAAL in 1995.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Verification of an Audio Protocol with Bus Collision Using UPPAAL.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Compositional and Symbolic Model-Checking of Real-Time Systems.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Diagnostic Model-Checking for Real-Time Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

Model-Checking for Real-Time Systems.
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994
Dilemma - An Instant Lexicographer.
CoRR, 1994

Automatic verification of real-time communicating systems by constraint-solving.
Proceedings of the Formal Description Techniques VII, 1994

DILEMMA - An Instant Lexicographer.
Proceedings of the 15th International Conference on Computational Linguistics, 1994

DILEMMA: a tool for rapid manual translation.
Proceedings of the Conference on Human Factors in Computing Systems, 1994


  Loading...