| | |
|
Journals
|
| | A Formal Analysis Framework for AADL, Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, The Journal of Science and Technology, November, 2011 |
| | Task Automata: Schedulability, Decidability and Undecidability, Elena Fersman (Ericsson Research, Sweden), Pavel Krcal (Department of Information Technology, Uppsala University), Paul Pettersson, Wang Yi (external), International Journal of Information and Computation, vol 205, nr 8, p1149-1172, Elsevier, August, 2007 |
| | Schedulability Analysis of Fixed Priority Systems using Timed Automata, Elena Fersman (Ericsson Research, Sweden), Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Wang Yi (external), Theoretical Computer Science, vol 354, nr 2, p301-317, Elsevier, March, 2006 |
|
| | |
|
Theses
|
| | A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems, Aneta Vulgarakis, Ph D Thesis, Mälardalen University, June, 2012 |
| | Design and Analysis Support for Abstract Models of Component-based Embedded Systems, Jagadish Suryadevara, Licentiate Thesis, Mälardalen University Press, June, 2011 |
| | A Resource-Aware Component Model for Embedded Systems, Aneta Vulgarakis, Licentiate Thesis, MRTC, September, 2009 |
|
| | |
|
Articles in collection
|
| | Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems, Guillermo Rodriguez-Navas (Universitat de les Illes Balears, Spain), Julián Proenza (Universitat de les Illes Balears, Spain), Hans Hansson, Paul Pettersson, Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, IGI Global, ISBN: 978-1-60566-750-8, Editor(s): Luís Gomes, Universidade Nova de Lisboa, Portugal and João M. Fernandes, Universidade do Minho, Portugal, June, 2009 |
| | Tools for Model-Checking, Alexandre David (Aalborg University, Denmark), Gerd Berhmann (Aalborg University, Denmark), Peter Bulychev (external), Joakim Byg (external), Thomas Chatain (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Jacob Illum Rasmussen (external), Jiri Srba (external), Wang Yi (external), Kenneth Y. Joergensen (external), Didier Lime (external), Morgan Magnin (external), Olivier H. Roux (external), Louis-Marie Tranonouez (external), Formal Approaches for Communicating Embedded Systems, ISTE Publishing / John Wiley, ISBN: 978-1-8482-1143-8, Editor(s): Jard, Claude and Roux, Olivier (H.), 2009 |
|
| | |
|
Conferences and workshops
|
| | Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT, Eun-Young Kang (former), Pierre Yves Schnobbens (external), Paul Pettersson, Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP'11), Springer-Verlag, September, 2011 |
| | Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator, Aneta Vulgarakis, Cristina Seceleanu, Paul Pettersson, Ivan Skuliber (Ericsson Nikola Tesla, Zagreb, Croatia), Darko Huljenic (Ericsson Nikola Tesla, Zagreb, Croatia), 11th InternationalConference on Quality Software (QSIC 2011), IEEE, Madrid, Spain, July, 2011 |
| | Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool, Paul Pettersson, IEEE 35th Annual Computer Software and Applications Conference, p 450-451, IEEE Computer Society Press, July, 2011 |
| | Pattern-driven Support for Designing Component-based Architectural Models, Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson, 18th IEEE International Conference on Engineering of Computer-Based Systems (ECBS) , IEEE CS, Las Vegas, USA, April, 2011 |
| | ABV – A Verifier for the Architecture Analysis and Design Language (AADL), Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, Sixth IEEE International Workshop UML and AADL at ICECCS 2011 , April, 2011 |
| | Integrating Behavioral Descriptions into a Component Model for Embedded Systems, Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Seceleanu, 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), p 113-118, IEEE, Lille, France, September, 2010 |
| | REMES Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems, Dinko Ivanov (University “St.Kliment Ohridski”, Sofia, Bulgaria), Marin Orlic (FER, University Zagreb, Croatia), Cristina Seceleanu, Aneta Vulgarakis, Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, September, 2010 |
| | Bridging the Semantic Gap between Abstract Models of Embedded Systems, Jagadish Suryadevara, Eun-Young Kang (former), Cristina Seceleanu, Paul Pettersson, 13th International Symposium on Component Based Software Engineering (CBSE), Springer LNCS, vol 6092, Prague, Czech Republic, Editor(s):Lars Grunske and Ralf Reussner, June, 2010 |
| | Validating the Design Model of an Autonomous Truck System, Jagadish Suryadevara, Paul Pettersson, Cristina Seceleanu, Mälardalen University Software Enginnering Workshop (MUSE'09), Mälardalen University, Västerås, Sweden, November, 2009 |
| | Analyzing a Pattern-Based Model of a Real-Time Turntable System, Davor Slutej (external), John Håkansson (Department of Information Technology, Uppsala University), Jagadish Suryadevara, Cristina Seceleanu, 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 |
| | Formal Semantics of the ProCom Real-Time Component Model, Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, Paul Pettersson, 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece, August, 2009 |
| | REMES: A Resource Model for Embedded Systems, Cristina Seceleanu, Aneta Vulgarakis, Paul Pettersson, In Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE Computer Society, June, 2009 |
| | Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems, 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 (ICSE'09), p 607-610, Vancouver, Canada, May, 2009 |
| | Verification of COMDES-II Systems Using UPPAAL with Model Transformation, Xu Ke (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Paul Pettersson, Krzysztof Sierszecki (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Christo Angelov (Mads Clausen Institute for Product Innovation, University of Southern Denmark), 14th International IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE Computer Society Press, Kaohsiung, Taiwan, August, 2008 |
| | Embedded Systems Resources: Views on Modeling and Analysis, Aneta Vulgarakis, Cristina Seceleanu, 1st IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS 2008), IEEE CS, Turku, Finland, July, 2008 |
| | Scheduling Timed Modules for Correct Resource Sharing, Cristina Seceleanu, Paul Pettersson, Hans Hansson, In Proc. of the 1st IEEE International Conference on Software Testing, Verification and Validation (ICST 2008), IEEE Computer Society, April, 2008 |
| | Partial Order Reduction for Verification of Real-Time Components, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems, Lecture Notes in Computer Science 4763, p 211-226, Springer Verlag, Editor(s):Jean-François Raskin and P.S. Thiagarajan, October, 2007 |
| | Cover - A Test-Case Generation Tool for Timed Systems, 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, p 31-34, Editor(s):Alexandre Petrenko, Margus Veanes, Jan Tretmans, and Wolfgang Grieskamp, June, 2007 |
| | Seamless Formal Verification of Complex Event Processing Applications, AnneMarie Ericsson (University of Skövde), Paul Pettersson, Mikael Berndtsson (University of Skövde), Marco Seiriö (external), Proceedings of the 6th Inaugural International Conference on Distributed Event-Based Systems, ACM, June, 2007 |
| | A Global Algorithm for Model-Based Test Suite Generation, Anders Hessel, Paul Pettersson, Proceedings of Third Workshop on Model-Based Testing, Electronic Notes in Theoretical Computer Science 16697, March, 2007 |
| | Model Checking Timed Automata with Priorities using DBM Subtraction, Alexandre David (Aalborg University, Denmark), John Håkansson (Department of Information Technology, Uppsala University), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), p 128-142, Springer-Verlag, Editor(s):Eugene Asarin and Patricia Bouyer, September, 2006 |
| | Inference of Event-Recording Automata using Timed Decision Trees, Olga Grinchtein (Department of Information Technology, Uppsala University), Bengt Jonsson (external), Paul Pettersson, Proceedings of the 17th International Conference on Concurrency Theory (CONCUR'06), p 435-449, Springer-Verlag, Editor(s):Christel Baier and Holger Hermanns, August, 2006 |
| | UPPAAL 4.0, Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), John Håkansson (Department of Information Technology, Uppsala University), Martijn Hendriks (Radboud University Nijmegen, The Netherlands), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), 3rd International Conference on Quantitative Evaluation of Systems (QEST'06), p 125-126, IEEE Computer Society, February, 2006 |
|
| | |
|
MRTC reports
|
| | The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics, Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-251/2011-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, January, 2011 |
| | ProCom: Formal Semantics, Jagadish Suryadevara, Aneta Vulgarakis, Jan Carlson, Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-234/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2009 |
| | REMES: A Resource Model for Embedded Systems, Paul Pettersson, Cristina Seceleanu, Aneta Vulgarakis, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-232/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, October, 2008 |
|
| | |
|
Technical reports
|
| | Verification of COMDES-II Systems Using UPPAAL with Model Transformation, Xu Ke (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Paul Pettersson, Krzysztof Sierszecki (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Christo Angelov (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Technical Report, Mads Clausen Institute, November, 2007 |
| | Model-based Testing of a WAP Gateway: an Industrial Case-Study, Anders Hessel, Paul Pettersson, Technical Report, Department of Information Technology, Uppsala University, September, 2006 |
| | Model-Checking with Insufficient Memory Resources, Birgitta Lindström (University of Skövde), Paul Pettersson, Technical Report, HS- IKI -TR-06-005, School of Humanities and Informatics, University of Skövde, February, 2006 |
|
