default search action
Paul Pettersson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [b1]Elena Fersman
, Paul Pettersson, Athanasios Karapantelakis:
Confessions of an AI Brain. Springer 2023, ISBN 978-3-031-25934-0, pp. 1-178
2010 – 2019
- 2017
- [j19]Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson:
Using mutation to design tests for aspect-oriented models. Inf. Softw. Technol. 81: 112-130 (2017) - [j18]Cristina Seceleanu
Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. 133: 216-242 (2017) - [c86]Andreas Johnsen, Gordana Dodig Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson:
Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. ICSA Workshops 2017: 153-160 - [c85]Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson:
A Comparative Study of Manual and Automated Testing for Industrial Control Software. ICST 2017: 412-417 - [c84]Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson:
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. ISSRE 2017: 260-270 - [c83]Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm:
Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. ISSRE 2017: 271-281 - 2016
- [j17]Eduard Paul Enoiu, Adnan Causevic, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Paul Pettersson:
Automated test generation using model checking: an industrial evaluation. Int. J. Softw. Tools Technol. Transf. 18(3): 335-353 (2016) - [c82]Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson:
A Controlled Experiment in Testing of Safety-Critical Embedded Software. ICST 2016: 1-11 - [c81]Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson:
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking. ICTSS 2016: 155-171 - [c80]Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm:
AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. QoSA 2016: 31-40 - 2015
- [j16]Raluca Marinescu, Cristina Seceleanu
Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Adv. Comput. 98: 89-140 (2015) - [j15]Cristina Cerschi Seceleanu
Foreword. J. Log. Algebraic Methods Program. 84(1): 1 (2015) - [c79]Birgitta Lindström
Mutating aspect-oriented models to test cross-cutting concerns. ICST Workshops 2015: 1-10 - 2014
- [j14]Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson:
Adaptive Task Automata with Earliest-Deadline-First Scheduling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [c78]Raluca Marinescu, Mehrdad Saadatmand
A Model-Based Testing Framework for Automotive Embedded Systems. EUROMICRO-SEAA 2014: 38-47 - [c77]Aida Causevic, Cristina Cerschi Seceleanu
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. ISoLA (2) 2014: 74-87 - [c76]Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen:
Regression verification of AADL models through slicing of system dependence graphs. QoSA 2014: 103-112 - 2013
- [j13]Eun-Young Kang
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120: 127-138 (2013) - [j12]Leo Hatvani, Cristina Cerschi Seceleanu, Paul Pettersson
Modeling and analysis of adaptive embedded systems using adaptive task automata. SIGBED Rev. 10(1): 43-47 (2013) - [c75]Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. FTSCS 2013: 229-245 - [c74]Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson:
MOS: An integrated model-based and search-based testing tool for Function Block Diagrams. CMSBSE@ICSE 2013: 55-60 - [c73]Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. ICST Workshops 2013: 158-167 - [c72]Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson:
Using Logic Coverage to Improve Testing Function Block Diagrams. ICTSS 2013: 1-16 - [c71]Jagadish Suryadevara, Cristina Cerschi Seceleanu
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM 2013: 1-15 - [c70]Aida Causevic, Cristina Cerschi Seceleanu
An Analyzable Model of Automated Service Negotiation. SOSE 2013: 125-136 - [p1]Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - 2012
- [c69]Leo Hatvani
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. FASE 2012: 115-129 - [c68]Andreas Johnsen, Kristina Lundqvist, Paul Pettersson
Automated Verification of AADL-Specifications Using UPPAAL. HASE 2012: 130-138 - [c67]Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. ICECCS 2012: 328-337 - [c66]Aida Causevic, Cristina Cerschi Seceleanu
Checking Correctness of Services Modeled as Priced Timed Automata. ISoLA (2) 2012: 308-322 - 2011
- [j11]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
Developing UPPAAL over 15 years. Softw. Pract. Exp. 41(2): 133-142 (2011) - [c65]Paul Pettersson:
Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool. COMPSAC 2011: 450-451 - [c64]Jagadish Suryadevara, Cristina Cerschi Seceleanu
Pattern-Driven Support for Designing Component-Based Architectural Models. ECBS 2011: 187-196 - [c63]Mikael Asberg, Paul Pettersson, Thomas Nolte:
Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling. ECRTS 2011: 172-181 - [c62]Andreas Johnsen, Paul Pettersson
An Architecture-Based Verification Technique for AADL Specifications. ECSA 2011: 105-113 - [c61]Stefan Björnander, Cristina Cerschi Seceleanu
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS 2011: 355-360 - [c60]Aneta Vulgarakis, Cristina Cerschi Seceleanu
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. QSIC 2011: 156-165 - [c59]Eun-Young Kang
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256 - 2010
- [c58]Jagadish Suryadevara, Eun-Young Kang
Bridging the Semantic Gap between Abstract Models of Embedded Systems. CBSE 2010: 55-73 - [c57]Shuhao Li, Paul Pettersson
Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck. ETFA 2010: 1-8 - [c56]Aida Causevic, Cristina Cerschi Seceleanu
Modeling and Reasoning about Service Behaviors and Their Compositions. ISoLA (2) 2010: 82-96 - [c55]Leo Hatvani
An integrated tool for trade-off analysis of quality-of-service attributes. QUASOSS@MoDELS 2010: 2:1-2:6 - [c54]Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson
Quality of Service-Oriented Software Systems (QUASOSS 2010). MoDELS (Workshops) 2010: 364-368 - [c53]Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson:
Towards WCET Analysis of Multicore Architectures Using UPPAAL. WCET 2010: 101-112 - [e3]Steffen Becker, Jens Happe, Heiko Koziolek, Paul Pettersson:
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, QUASOSS '10, Oslo, Norway, October 4, 2010. ACM 2010, ISBN 978-1-4503-0239-5 [contents]
2000 – 2009
- 2009
- [c52]Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson
Formal Semantics of the ProCom Real-Time Component Model. EUROMICRO-SEAA 2009: 478-485 - [c51]Cristina Cerschi Seceleanu
REMES: A Resource Model for Embedded Systems. ICECCS 2009: 84-94 - [c50]Séverine Sentilles
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. ICSE 2009: 607-610 - [c49]Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu
Analyzing a Pattern-Based Model of a Real-Time Turntable System. FESCA@ETAPS 2009: 161-178 - [e2]Heiko Koziolek, Paul Pettersson, Petr Hnetynka:
Proceedings of the 1st international workshop on Quality of service-oriented software systems, QUASOSS '09, Amsterdam, The Netherlands, August 25, 2009. ACM 2009, ISBN 978-1-60558-709-7 [contents] - 2008
- [c48]John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA 2008: 252-257 - [c47]Aida Causevic, Paul Pettersson
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. CIMCA/IAWTIC/ISE 2008: 302-308 - [c46]Cristina Cerschi Seceleanu
Message from the CORCS 2008 Workshop Organizers. COMPSAC 2008: 1295 - [c45]Cristina Cerschi Seceleanu, Paul Pettersson
CORCS 2008 Workshop Organization. COMPSAC 2008: 1296 - [c44]Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis
Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing 2008: 77-117 - [c43]Cristina Cerschi Seceleanu
Scheduling Timed Modules for Correct Resource Sharing. ICST 2008: 102-111 - [c42]Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong:
Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6 - [c41]Séverine Sentilles
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. ASE 2008: 493-494 - [c40]Xu Ke, Paul Pettersson
Verification of COMDES-II Systems Using UPPAAL with Model Transformation. RTCSA 2008: 153-160 - 2007
- [j10]Elena Fersman, Pavel Krcál, Paul Pettersson
Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007) - [j9]Mikael Åkerholm, Jan Carlson
The SAVE approach to component-based development of vehicular systems. J. Syst. Softw. 80(5): 655-667 (2007) - [c39]AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö:
Seamless formal verification of complex event processing applications. DEBS 2007: 50-61 - [c38]John Håkansson, Paul Pettersson
Partial Order Reduction for Verification of Real-Time Components. FORMATS 2007: 211-226 - [c37]Birgitta Lindström
Generating Trace-Sets for Model-based Testing. ISSRE 2007: 171-180 - [c36]Anders Hessel, Paul Pettersson
A Global Algorithm for Model-Based Test Suite Generation. MBT 2007: 47-59 - 2006
- [j8]Elena Fersman, Leonid Mokrushin, Paul Pettersson
Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2): 301-317 (2006) - [c35]Olga Grinchtein, Bengt Jonsson, Paul Pettersson:
Inference of Event-Recording Automata Using Timed Decision Trees. CONCUR 2006: 435-449 - [c34]Anders Hessel, Paul Pettersson
Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC 2006: 116-131 - [c33]Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142 - [c32]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126 - 2005
- [j7]Paul Pettersson, Wang Yi:
Guest Editors' Foreword. Nord. J. Comput. 12(2): 67- (2005) - [c31]Jan Carlson
SaveCCM: An Analysable Component Model for Real-Time Systems. FACS 2005: 127-140 - [e1]Paul Pettersson
Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Lecture Notes in Computer Science 3829, Springer 2005, ISBN 3-540-30946-2 [contents] - 2004
- [c30]Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson
Specifying and Generating Test Cases Using Observer Automata. FATES 2004: 125-139 - [c29]Anders Hessel, Paul Pettersson:
A Test Case Generation Algorithm for Real-Time Systems. QSIC 2004: 268-273 - 2003
- [j6]Kim Guldstrand Larsen
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real Time Syst. 25(2-3): 255-275 (2003) - [c28]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson
Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130 - [c27]Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS 2003: 60-72 - [c26]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson
Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245 - [c25]Elena Fersman, Leonid Mokrushin, Paul Pettersson
Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239 - 2002
- [j5]Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebraic Methods Program. 52-53: 163-181 (2002) - [j4]Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi:
Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002) - [c24]Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22 - [c23]Elena Fersman, Paul Pettersson
Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82 - [c22]Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson
TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464 - 2001
- [j3]Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001) - [j2]Magnus Lindahl, Paul Pettersson, Wang Yi:
Formal design and analysis of a gear controller. Int. J. Softw. Tools Technol. Transf. 3(3): 353-368 (2001) - [c21]Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505 - [c20]Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi:
UPPAAL - present and future. CDC 2001: 2881-2886 - [c19]Gerd Behrmann, Ansgar Fehnker
Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161 - [c18]Gerd Behrmann, Ansgar Fehnker
Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188 - 2000
- [c17]Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen
Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. ECRTS 2000: 147-155 - [c16]Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22 - [c15]Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker
UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124 - [c14]Fredrik Larsson, Paul Pettersson
On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141
1990 – 1999
- 1998
- [c13]Magnus Lindahl, Paul Pettersson
Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297 - 1997
- [j1]Kim Guldstrand Larsen, Paul Pettersson
UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. 1(1-2): 134-152 (1997) - [c12]Kim Guldstrand Larsen, Paul Pettersson
UPPAAL: Status & Developments. CAV 1997: 456-459 - [c11]Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Efficient verification of real-time systems: compact data structure and state-space reduction. RTSS 1997: 14-24 - [c10]Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson
A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579 - 1996
- [c9]Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256 - [c8]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
UPPAAL in 1995. TACAS 1996: 431-434 - 1995
- [c7]Kim Guldstrand Larsen, Paul Pettersson
Model-Checking for Real-Time Systems. FCT 1995: 62-88 - [c6]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243 - [c5]Kim Guldstrand Larsen, Paul Pettersson
Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586 - [c4]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS 1995: 76-87 - 1994
- [c3]Jussi Karlgren
DILEMMA: a tool for rapid manual translation. CHI Conference Companion 1994: 129-130 - [c2]Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén:
DILEMMA - An Instant Lexicographer. COLING 1994: 82-84 - [c1]Wang Yi, Paul Pettersson, Mats Daniels:
Automatic verification of real-time communicating systems by constraint-solving. FORTE 1994: 243-258 - [i1]Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén:
Dilemma - An Instant Lexicographer. CoRR abs/cmp-lg/9410011 (1994)
Coauthor Index
Kim G. Larsen
aka: Kim Guldstrand Larsen
aka: Kim Guldstrand Larsen
Cristina Cerschi Seceleanu
aka: Cristina Seceleanu
aka: Cristina Seceleanu
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-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: