Search results for "Paul Pettersson"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu	Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems.	FASE	2012	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	Developing UPPAAL over 15 years.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Andreas Johnsen, Paul Pettersson, Kristina Lundqvist	An Architecture-Based Verification Technique for AADL Specifications.	ECSA	2011	DBLP DOI BibTeX RDF
1	Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson	Pattern-Driven Support for Designing Component-Based Architectural Models.	ECBS	2011	DBLP DOI BibTeX RDF	clock constraints, UML/Marte, embedded system, components
1	Paul Pettersson	Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool.	COMPSAC	2011	DBLP DOI BibTeX RDF
1	Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson	Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic	Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator.	QSIC	2011	DBLP DOI BibTeX RDF
1	Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson	ABV - A Verifier for the Architecture Analysis and Design Language (AADL).	ICECCS	2011	DBLP DOI BibTeX RDF
1	Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson	Quality of Service-Oriented Software Systems (QUASOSS 2010).	MoDELS Workshops	2010	DBLP DOI BibTeX RDF
1	Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson	Bridging the Semantic Gap between Abstract Models of Embedded Systems.	CBSE	2010	DBLP DOI BibTeX RDF
1	Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson	Modeling and Reasoning about Service Behaviors and Their Compositions.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Shuhao Li, Paul Pettersson	Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck.	ETFA	2010	DBLP DOI BibTeX RDF
1	Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson	Towards WCET Analysis of Multicore Architectures Using UPPAAL.	WCET	2010	DBLP DOI BibTeX RDF
1	Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson	Analyzing a Pattern-Based Model of a Real-Time Turntable System.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson	REMES: A Resource Model for Embedded Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic	Save-IDE - A tool for design, analysis and implementation of component-based embedded systems.	ICSE	2009	DBLP DOI BibTeX RDF
1	Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson	Formal Semantics of the ProCom Real-Time Component Model.	EUROMICRO-SEAA	2009	DBLP DOI BibTeX RDF
1	Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson	Scheduling Timed Modules for Correct Resource Sharing.	ICST	2008	DBLP DOI BibTeX RDF	timed modules, real-time systems, resource management, component-based design
1	Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson	Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems.	ASE	2008	DBLP DOI BibTeX RDF
1	John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej	Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.	ATVA	2008	DBLP DOI BibTeX RDF
1	Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson	Message from the CORCS 2008 Workshop Organizers.	COMPSAC	2008	DBLP DOI BibTeX RDF
1	Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson	CORCS 2008 Workshop Organization.	COMPSAC	2008	DBLP DOI BibTeX RDF
1	Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov	Verification of COMDES-II Systems Using UPPAAL with Model Transformation.	RTCSA	2008	DBLP DOI BibTeX RDF
1	Aida Causevic, Paul Pettersson, Cristina Cerschi Seceleanu	Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability.	CIMCA/IAWTIC/ISE	2008	DBLP DOI BibTeX RDF
1	Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou	Testing Real-Time Systems Using UPPAAL.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi	Task automata: Schedulability, decidability and undecidability.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
1	Anders Hessel, Paul Pettersson	A Global Algorithm for Model-Based Test Suite Generation.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	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.	Journal of Systems and Software	2007	DBLP DOI BibTeX RDF
1	AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö	Seamless formal verification of complex event processing applications.	DEBS	2007	DBLP DOI BibTeX RDF	design, verification, timed automata, CASE, CEP
1	John Håkansson, Paul Pettersson	Partial Order Reduction for Verification of Real-Time Components.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Birgitta Lindström, Paul Pettersson, Jeff Offutt	Generating Trace-Sets for Model-based Testing.	ISSRE	2007	DBLP DOI BibTeX RDF
1	Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi	Schedulability analysis of fixed-priority systems using timed automata.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Jan Carlson, John Håkansson, Paul Pettersson	SaveCCM: An Analysable Component Model for Real-Time Systems.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Olga Grinchtein, Bengt Jonsson, Paul Pettersson	Inference of Event-Recording Automata Using Timed Decision Trees.	CONCUR	2006	DBLP DOI BibTeX RDF
1	Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson	Model Checking Timed Automata with Priorities Using DBM Subtraction.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Anders Hessel, Paul Pettersson	Model-Based Testing of a WAP Gateway: An Industrial Case-Study.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks	UPPAAL 4.0.	QEST	2006	DBLP DOI BibTeX RDF
1	Paul Pettersson, Wang Yi	Guest Editors' Foreword.	Nord. J. Comput.	2005	DBLP BibTeX RDF
1	Paul Pettersson, Wang Yi (eds.)	Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings	FORMATS	2005	DBLP BibTeX RDF
1	Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson	Specifying and Generating Test Cases Using Observer Automata.	FATES	2004	DBLP DOI BibTeX RDF
1	Anders Hessel, Paul Pettersson	A Test Case Generation Algorithm for Real-Time Systems.	QSIC	2004	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.	Real-Time Systems	2003	DBLP DOI BibTeX RDF	real-time systems, model checking, timed automata, design tool, formal specification and verification
1	Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi	Schedulability Analysis Using Two Clocks.	TACAS	2003	DBLP DOI BibTeX RDF
1	Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi	TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.	FORMATS	2003	DBLP DOI BibTeX RDF
1	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou	Time-Optimal Test Cases for Real-Time Systems.	FORMATS	2003	DBLP DOI BibTeX RDF
1	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou	Time-Optimal Real-Time Test Case Generation Using Uppaal.	FATES	2003	DBLP DOI BibTeX RDF
1	Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	Automated verification of an audio-control protocol using UPPAAL.	J. Log. Algebr. Program.	2002	DBLP DOI BibTeX RDF
1	Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi	Code Synthesis for Timed Automata.	Nord. J. Comput.	2002	DBLP BibTeX RDF
1	Elena Fersman, Paul Pettersson, Wang Yi	Timed Automata with Asynchronous Processes: Schedulability and Decidability.	TACAS	2002	DBLP DOI BibTeX RDF
1	Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi	TIMES - A Tool for Modelling and Implementation of Embedded Systems.	TACAS	2002	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	UPPAAL Implementation Secrets.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Magnus Lindahl, Paul Pettersson, Wang Yi	Formal design and analysis of a gear controller.	STTT	2001	DBLP DOI BibTeX RDF	Design, Real-time systems, Model checking, Timed automata, Automotive systems
1	Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson	Guided Synthesis of Control Programs Using UPPAAL.	Nord. J. Comput.	2001	DBLP BibTeX RDF
1	Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn	As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.	CAV	2001	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager	Minimum-Cost Reachability for Priced Timed Automata.	HSCC	2001	DBLP DOI BibTeX RDF	Optimization, Algorithms, Verification, Data Structures, Timed Automata
1	Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson	Guided Synthesis of Control Programs Using UPPAAL.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
1	Fredrik Larsson, Paul Pettersson, Wang Yi	On Memory-Block Traversal Problems in Model-Checking Timed-Systems.	TACAS	2000	DBLP DOI BibTeX RDF
1	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	UPPAAL - Now, Next, and Future.	MOVEP	2000	DBLP DOI BibTeX RDF
1	Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen	Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL.	ECRTS	2000	DBLP DOI BibTeX RDF
1	Magnus Lindahl, Paul Pettersson, Wang Yi	Formal Design and Analysis of a Gear Controller.	TACAS	1998	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	UPPAAL in a Nutshell.	STTT	1997	DBLP DOI BibTeX RDF	Modeling real-time systems, Dynamic modeling, Modeling tools, Uppaal
1	Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	A Compositional Proof of a Real-Time Mutual Exclusion Protocol.	TAPSOFT	1997	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	Efficient verification of real-time systems: compact data structure and state-space reduction. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure
1	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	UPPAAL: Status & Developments.	CAV	1997	DBLP DOI BibTeX RDF
1	Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	UPPAAL in 1995.	TACAS	1996	DBLP DOI BibTeX RDF
1	Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	Verification of an Audio Protocol with Bus Collision Using UPPAAL.	CAV	1996	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	Model-Checking for Real-Time Systems.	FCT	1995	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	Compositional and Symbolic Model-Checking of Real-Time Systems.	IEEE Real-Time Systems Symposium	1995	DBLP BibTeX RDF
1	Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.	Hybrid Systems	1995	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	Diagnostic Model-Checking for Real-Time Systems.	Hybrid Systems	1995	DBLP DOI BibTeX RDF
1	Wang Yi, Paul Pettersson, Mats Daniels	Automatic verification of real-time communicating systems by constraint-solving.	FORTE	1994	DBLP BibTeX RDF
1	Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén	DILEMMA - An Instant Lexicographer.	COLING	1994	DBLP BibTeX RDF
1	Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordström, Bengt Wahrolén	DILEMMA: a tool for rapid manual translation.	CHI Conference Companion	1994	DBLP DOI BibTeX RDF

Publications of "Paul Pettersson" ( http://dblp.L3S.de/Authors/Paul_Pettersson )