Publications
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 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
