A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems (Jun 2012) Aneta Vulgarakis Feljan
Design and Analysis Support for Abstract Models of Component-based Embedded Systems (Jun 2011) Jagadish Suryadevara
A Resource-Aware Component Model for Embedded Systems (Sep 2009) Aneta Vulgarakis Feljan
Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems (Jun 2009) Julián Proenza , Hans Hansson, Paul Pettersson Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
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
A Formal Analysis Framework for AADL (Nov 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson The Journal of Science and Technology
Task Automata: Schedulability, Decidability and Undecidability (Aug 2007) Elena Fersman , Pavel Krcal , Paul Pettersson, Wang Yi International Journal of Information and Computation
Schedulability Analysis of Fixed Priority Systems using Timed Automata (Mar 2006) Elena Fersman , Leonid Mokrushin , Paul Pettersson, Wang Yi Theoretical Computer Science
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)
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator (Jul 2011) Aneta Vulgarakis Feljan, Cristina Seceleanu, Paul Pettersson, Ivan Skuliber , Darko Huljenic 11th InternationalConference on Quality Software (QSIC 2011)
Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool (Jul 2011) Paul Pettersson IEEE 35th Annual Computer Software and Applications Conference
Pattern-driven Support for Designing Component-based Architectural Models (Apr 2011) Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson 18th IEEE International Conference on Engineering of Computer-Based Systems (ECBS)
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
Integrating Behavioral Descriptions into a Component Model for Embedded Systems (Sep 2010) Aneta Vulgarakis Feljan, Séverine Sentilles, Jan Carlson, Cristina Seceleanu 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
REMES Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems (Sep 2010) Dinko Ivanov , Marin Orlic , Cristina Seceleanu, Aneta Vulgarakis Feljan Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)
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)
Validating the Design Model of an Autonomous Truck System (Nov 2009) Jagadish Suryadevara, Paul Pettersson, Cristina Seceleanu Mälardalen University Software Enginnering Workshop (MUSE09)
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)
Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems (May 2009) Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE09)
Verification of COMDES-II Systems Using UPPAAL with Model Transformation (Aug 2008) Xu Ke , Paul Pettersson, Krzysztof Sierszecki , Christo Angelov 14th International IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Embedded Systems Resources: Views on Modeling and Analysis (Jul 2008) Aneta Vulgarakis Feljan, Cristina Seceleanu 1st IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS 2008)
Scheduling Timed Modules for Correct Resource Sharing (Apr 2008) Cristina Seceleanu, Paul Pettersson, Hans Hansson In Proc. of the 1st IEEE International Conference on Software Testing, Verification and Validation (ICST 2008)
Partial Order Reduction for Verification of Real-Time Components (Oct 2007) John Håkansson , Paul Pettersson Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems, Lecture Notes in Computer Science 4763
Cover - A Test-Case Generation Tool for Timed Systems (Jun 2007) Anders Hessel, Paul Pettersson Testing of Software and Communicating Systems: Work-in-Progress and Position Papers, Tool Demonstrations, and Tutorial Abstracts of TestCom/FATES 2007
Seamless Formal Verification of Complex Event Processing Applications (Jun 2007) AnneMarie Ericsson , Paul Pettersson, Mikael Berndtsson , Marco Seiriö Proceedings of the 6th Inaugural International Conference on Distributed Event-Based Systems
A Global Algorithm for Model-Based Test Suite Generation (Mar 2007) Anders Hessel, Paul Pettersson Proceedings of Third Workshop on Model-Based Testing
Model Checking Timed Automata with Priorities using DBM Subtraction (Sep 2006) Alexandre David , John Håkansson , Kim Guldstrand Larsen , Paul Pettersson 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS06)
Inference of Event-Recording Automata using Timed Decision Trees (Aug 2006) Olga Grinchtein , Bengt Jonsson , Paul Pettersson Proceedings of the 17th International Conference on Concurrency Theory (CONCUR06)
UPPAAL 4.0 (Feb 2006) Gerd Berhmann , Alexandre David , John Håkansson , Martijn Hendriks , Kim Guldstrand Larsen , Paul Pettersson, Wang Yi 3rd International Conference on Quantitative Evaluation of Systems (QEST06)
The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics (Jan 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
ProCom: Formal Semantics (Mar 2009) Jagadish Suryadevara, Aneta Vulgarakis Feljan, Jan Carlson, Cristina Seceleanu, Paul Pettersson
REMES: A Resource Model for Embedded Systems (Oct 2008) Paul Pettersson, Cristina Seceleanu, Aneta Vulgarakis Feljan
Verification of COMDES-II Systems Using UPPAAL with Model Transformation (Nov 2007) Xu Ke , Paul Pettersson, Krzysztof Sierszecki , Christo Angelov
Model-based Testing of a WAP Gateway: an Industrial Case-Study (Sep 2006) Anders Hessel, Paul Pettersson
Model-Checking with Insufficient Memory Resources (Feb 2006) Birgitta Lindström, Paul Pettersson