Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 21

Licentiate Thesis (1)

Design and Analysis Support for Abstract Models of Component-based Embedded Systems (Jun 2011)
Jagadish Suryadevara

Collection (Editor) (1)

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

Journal article (2)

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

Conference/Workshop Paper (15)

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Apr 2012)
Leo Hatvani, Cristina Seceleanu, Paul Pettersson
4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES2012)

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (Mar 2012)
Leo Hatvani, Paul Pettersson, Cristina Seceleanu
FASE12: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (Oct 2011)
Leo Hatvani, Paul Pettersson, Cristina Seceleanu
23rd Nordic Workshop on Programming Theory (NWPT'11)

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT (Sep 2011)
Eun-Young Kang, Pierre Yves Schnobbens , Paul Pettersson
Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP11)

Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool (Jul 2011)
Paul Pettersson
IEEE 35th Annual Computer Software and Applications Conference

ABV – A Verifier for the Architecture Analysis and Design Language (AADL) (Apr 2011)
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
Sixth IEEE International Workshop UML and AADL at ICECCS 2011

Monitoring and Testing with Case Observer Automata: An Industry Report (Mar 2011)
Anders Hessel
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops

Verification and Controller Synthesis for Resource-Constrained Real-Time Systems: Case Study of an Autonomous Truck (Sep 2010)
Shuhao Li, Paul Pettersson
Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation

Bridging the Semantic Gap between Abstract Models of Embedded Systems (Jun 2010)
Jagadish Suryadevara, Eun-Young Kang, Cristina Seceleanu, Paul Pettersson
13th International Symposium on Component Based Software Engineering (CBSE)

Developing UPPAAL over 15 years (Feb 2010)
Gerd Berhmann , Alexandre David , Kim Guldstrand Larsen , Paul Pettersson, Wang Yi
Workshop on Tool Building in Formal Methods

Validating the Design Model of an Autonomous Truck System (Nov 2009)
Jagadish Suryadevara, Paul Pettersson, Cristina Seceleanu
Mälardalen University Software Enginnering Workshop (MUSE09)

Behavioral Modeling and Refinement of Services (Oct 2009)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
Prodceedings of 21st Nordic Workshop on Programming Theory, NWPT 09

Analyzing a Pattern-Based Model of a Real-Time Turntable System (Sep 2009)
Davor Slutej , John Håkansson , Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson
6th International Workshop on Formal Engineering approaches to Software Components and Architectures(FESCA), ETAPS09, York, UK, March

Formal Semantics of the ProCom Real-Time Component Model (Aug 2009)
Aneta Vulgarakis Feljan, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, Paul Pettersson
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

REMES: A Resource Model for Embedded Systems (Jun 2009)
Cristina Seceleanu, Aneta Vulgarakis Feljan, Paul Pettersson
In Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009)

Report - MRTC (2)

Proceedings of the 23rd Nordic Workshop on Programming Theory (Oct 2011)
Paul Pettersson, Cristina Seceleanu

REMES: A Resource Model for Embedded Systems (Oct 2008)
Paul Pettersson, Cristina Seceleanu, Aneta Vulgarakis Feljan

Items per page: