Publications
Publications related to Uppaal PORT.
- [SHSSP09] Analyzing a Pattern-Based Model of a Real-Time Turntable System. Davor Slutej, John Håkansso , Jagadish Suryadevara Cristina Seceleanu, and Paul Pettersson, 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), ETAPS'09, York, UK, March, p 161-178, Electronic Notes in Theoretical Computer Science (ENTCS), Vol 253, Elsevier, Editor(s):Jens Happe, Barbora Zimmerova, September, 2009
- [CHMPS08] Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. Jan Carlsson, John Håkansso , Aurelien Monot, Paul Pettersson, and Davor Slutej. 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), p 252-257, Springer-Verlag, Seoul, South Korea, Editor(s): Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan, October, 2008.
- [CHPS08] SaveIDE - An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, and John Håkansson. Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), L'Aquila, Italy, September, 2008.
- [HP07] Partial Order Reduction for Verification of Real-Time Components. John Håkansson and Paul Pettersson, in Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), 2007.
- [HP07b] Partial Order Reduction for Verification of Real-Time Components. John Håkansson and Paul Pettersson. Technical Report 2007-024, Department of Information Technology, Uppsala University.
- [LRM] The SaveCCM Language Reference Manual. John Håkansson, Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, Mikael Nolin, Thomas Nolte and Paul Pettersson. Technical Report, Dept. of Computer Science and Electronics, Mälardalen University, Sweden.
- [JSS06]
The SAVE Approach to Component-Based Development of Vehicular Systems.
Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson,
John Håkansson, Anders Möller, Paul Pettersson, and Massimo Tivoli.
Journal of Systems and Software, Elsevier, 2006.
doi:10.1016/j.jss.2006.08.016 - [DHLP06] Model Checking Timed Automata with Priorities using DBM Subtraction. Alexandre David, John Håkansson, Kim G. Larsen, and Paul Pettersson. Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), 2006.
- [CHP05]
SaveCCM: An Analysable Component Model for Real-Time Systems
Jan Carlson, John Håkansson, and Paul Pettersson.
Proceedings of the International Workshop on Formal Aspects of Component Software,
(FACS). Electronic Notes in Theoretical Computer Science, Elsevier, 2005.
doi:10.1016/j.entcs.2006.05.019