|
| | |
|
Books
|
| | Real-Time Systems, Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet (MIT), Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu, Fraunhofer IESE, February, 2010 |
| | Selected Papers of the 16th Nordic Workshop on Programming Theory (NWPT'04), October 6-8, 2004, Paul Pettersson, Wang Yi (external), Nordic Journal of Computing, Volue 12, Number 2, 2005 |
| | Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 2005, Paul Pettersson, Wang Yi (external), Lecture Notes in Computer Science, volume 3829, Springer-Verlag, 2005 |
| | |
|
Journals
|
| | Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata , Leo Hatvani, Cristina Seceleanu, Paul Pettersson, ACM SIGBED Review, vol 10, nr 1, ACM, February, 2013 |
| | A Methodology for Formal Analysis and Verification of EAST-ADL Models, Eun-Young Kang (former), Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens (external), Paul Pettersson, International Journal of Reliability Engineering and System Safety, Elsevier, January, 2013 |
| | A Formal Analysis Framework for AADL, Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, The Journal of Science and Technology, November, 2011 |
| | Developing UPPAAL over 15 years, Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), Software - Practice and Experience, vol 41, nr 2, p133–142, Wiley Publisher, February, 2011 |
| | Prototyping and Code Synthesis of Hierarchically Scheduled Systems using TIMES, Mikael Åsberg, Thomas Nolte, Paul Pettersson, Journal of Convergence (Consumer Electronics), vol 1, nr 1, p77-86, FTRA Publishing, December, 2010 |
| | 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 |
| | The SAVE approach to component-based development of vehicular systems, Mikael Åkerholm (former), Jan Carlson, Johan Fredriksson (former), Hans Hansson, John Håkansson (Department of Information Technology, Uppsala University), Anders Möller, Paul Pettersson, Massimo Tivoli (former), Journal of Systems and Software, vol 80, nr 5, p655-667, Elsevier, May, 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 |
| | Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems, Kim Guldstrand Larsen (Aalborg University, Denmark), Fredrik Larsson (external), Paul Pettersson, Wang Yi (external), Real-Time Systems - The International Journal of Time-Critical Computing Systems, vol 25, nr 2, p255-275, Kluwer Academic Publisher,, September, 2003 |
| | Automated Analysis of an Audio Control Protocol Using UPPAAL,, Johan Bengtsson (external), W.O.David Griffioen (external), Kåre J. Kristofferssen (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Fredrik Larsson (external), Paul Pettersson, Wang Yi (external), Journal of Logic and Algebraic Programming,, vol 52-53, p163-181, July, 2002 |
| | Code Synthesis for Timed Automata, , Tobias Amnell (external), Elena Fersman (Ericsson Research, Sweden), Paul Pettersson, Hongyan Sun (external), Wang Yi (external), Nordic Journal of Computing , vol 9, nr 4, May, 2002 |
| | Guided Synthesis of Control Programs Using UPPAAL, Thomas Hune (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, In Nordic Journal of Computing , vol 8, nr 1, p43-64, May, 2001 |
| | Formal Design and Analysis of a Gear Controller, Magnus Lindahl (external), Paul Pettersson, Wang Yi (external), Springer International Journal of Software Tools for Technology Transfer, vol 3, nr 3, p353-368, May, 2001 |
| | UPPAAL2K, Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, European Association for Theoretical Computer Science Bulletin, April, 1999 |
| | UPPAAL in a Nutshell, Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), In Springer International Journal of Software Tools for Technology Transfer,, vol 1, nr 1+2, p134-152, May, 1997 |
|
| | |
|
Theses
|
| | Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice, Paul Pettersson, Ph D Thesis, Department of Computer Systems, Uppsala University, February, 1999 |
| | A tool for rapid manual translation, Magnus Nordström (external), Paul Pettersson, Master Thesis, Swedish Institute of Computer Science, October, 1993 |
|
| | |
|
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 |
| | Outils pour le Model-Checking de Systèmes Temporisés, Alexandre David (Aalborg University, Denmark), Gerd Berhmann (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Jacob Illum Rasmussen (external), Wang Yi (external), Morgan Magnin (external), Approches formelles des systèmes embarqués communicant, ISBN: ISBN 978-2-7462-1942-7, January, 2008 |
| | Testing Real-time systems using UPPAAL, Anders Hessel, Kim Guldstrand Larsen (Aalborg University, Denmark), Marius Mikuèionis (Aalborg University, Denmark), Brian Nielsen (Aalborg University, Denmark), Paul Pettersson, Arne Skou (Aalborg University, Denmark), Formal Methods and Testing, p 77-117, Spring-Verlag, Editor(s): Robert M. Hierons, Jonathan P. Bowen, and Mark Harman, 2008 |
|
| | |
|
Conferences and workshops
|
| | Verifying MARTE/CCSL Mode Behaviors using UPPAAL, Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet (Univ. of Nice & INRIA, Sophia-Antipolis), Paul Pettersson, 11th International Conference on Software Engineering and Formal Methods (SEFM), Madrid, SPAIN, September, 2013 |
| | MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams, Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson, 35th International Conference on Software Engineering (ICSE) - First International Workshop on Combining Modelling and Search-Based Software Engineering, IEEE , San Francisco, May, 2013 |
| | Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker, Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson, International Conference on Software Testing, Verification and Validation (ICST) - Advances in Model Based Testing (A-MOST 2012), IEEE , Luxembourg, April, 2013 |
| | An Analyzable Model of Automated Service Negotiation, Aida Causevic, Cristina Seceleanu, Paul Pettersson, IEEE SOSE 2013: 7th International Symposium on Service Oriented System Engineering, IEEE, San Francisco Bay, March, 2013 |
| | An Integrated Framework for Component-based Analysis of Architectural System Models, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson, Proceedings of the 24th IFIP International Conference on Testing Software and Systems (ICTSS'12) Doctoral Workshop, p 1-6, Technical Report No. 12-201. ISBN:1601-0590 Aalborg University, Aalborg, Denmark, Editor(s):Brian Nielsen and Carsten Weise, November, 2012 |
| | Checking Correctness of Services Modeled as Priced Timed Automata, Aida Causevic, Cristina Seceleanu, Paul Pettersson, Proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, LNCS Proceedings (Springer Verlag), Amirandes, Heraclion, Crete, October, 2012 |
| | Automated Verification of AADL-Specifications Using UPPAAL, Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat, Proceedings of the 14th IEEE International Symposium on High Assurance Systems Engineering (HASE), p 130--138, IEEE Computer Society Press, Omaha, Nebraska, October, 2012 |
| | ViTAL : A Verification Tool for EAST-ADL Models using UPPAAL PORT, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson, Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Paris, France, July, 2012 |
| | Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata, Leo Hatvani, Cristina Seceleanu, Paul Pettersson, 4th Workshop on Adaptive and Reconfigurable Embedded Systems, April, 2012 |
| | Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems, Leo Hatvani, Paul Pettersson, Cristina Seceleanu, FASE'12: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, p 115-129, Springer-Verlag Berlin Heidelberg, Editor(s):Juan de Lara and Andrea Zisman, March, 2012 |
| | 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 |
| | An Architecture-Based Verification Technique for AADL Specifications, Andreas Johnsen, Paul Pettersson, Kristina Lundqvist, 5th European Conference on Software Architecture (ECSA'11), p 105-113, Springer-Verlag, Essen, Editor(s):Crnkovic, V. Gruhn, and M. Book, September, 2011 |
| | Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling, Mikael Åsberg, Paul Pettersson, Thomas Nolte, 23rd EUROMICRO Conference on Real-Time Systems (ECRTS'11), Porto, Portugal, July, 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 |
| | Modeling and Reasoning about Service Behaviors and their Compositions, Aida Causevic, Cristina Seceleanu, Paul Pettersson, Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2010), Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing track, Springer LNCS, Amirandes, Heraclion, Crete, October, 2010 |
| | An Integrated Tool for Trade-off Analysis of Quality-of-Service Attributes, Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson, Proceedings of The 2nd International Workshop on the Quality of Service-Oriented Software Systems, Oslo, Norway, October, 2010 |
| | Verification and Controller Synthesis for Resource-Constrained Real-Time Systems: Case Study of an Autonomous Truck, Shuhao Li (Aalborg University), Paul Pettersson, Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, IEEE Computer Society, September, 2010 |
| | Prototyping Hierarchically Scheduled Systems using Task Automata and TIMES, Mikael Åsberg, Thomas Nolte, Paul Pettersson, Proceedings of the 5th International Conference on Embedded and Multimedia Computing (EMC-10), Cebu, Philippines, August, 2010 |
| | Towards WCET Analysis of Multicore Architectures using UPPAAL, Andreas Gustavsson, Andreas Ermedahl (former), Björn Lisper, Paul Pettersson, Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, p 103-113, Österreichische Computer Gesellschaft, Bruxells, July, 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 |
| | Developing UPPAAL over 15 years, Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), Workshop on Tool Building in Formal Methods, February, 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 |
| | Behavioral Modeling and Refinement of Services , Aida Causevic, Cristina Seceleanu, Paul Pettersson, Prodceedings of 21st Nordic Workshop on Programming Theory, NWPT '09 , Lyngby, Denmark, October, 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 |
| | Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability, Aida Causevic, Paul Pettersson, Cristina Seceleanu, Proceedings of International Conference on Innovation in Software Engineering - ISE08, IEEE USA, Vienna, Austria, December, 2008 |
| | Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT, John Håkansson (Department of Information Technology, Uppsala University), Jan Carlson, Aurelien Monot (Ecole des Mines, Nancy, France), Paul Pettersson, (external), 6th International Symposium on Automated Technology for Verification and Analysis, p 252-257, Springer-Verlag, Seoul, South Korea, Editor(s):Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan, October, 2008 |
| | Save-IDE – An Integrated development environment for building predictable component-based embedded systems, Séverine Sentilles, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Ivica Crnkovic, Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, September, 2008 |
| | Verification of an industrial rule-based manufacturing system using REX, AnneMarie Ericsson (University of Skövde), Mikael Berndtsson (University of Skövde), Paul Pettersson, Lena Pettersson (Volvo Information Technology, Skövde), 1st International Workshop on Complex Event Processing for Future Internet, September, 2008 |
| | 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 |
| | 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 |
| | Generating Trace-Sets for Model-based Testing, Birgitta Lindström (University of Skövde), Paul Pettersson, Jeff Offutt (George Mason University), Proceedings of the 18th IEEE International Symposium on Software Reliability, p 171-180, IEEE Computer Society, November, 2007 |
| | 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 |
| | Handling Subsystems using the SaveComp Component Technology, Mikael Åkerholm (former), Jan Carlson, Johan Fredriksson (former), Hans Hansson, Mikael Nolin, Thomas Nolte, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil, Editor(s):Marco Di Natale and Luis Almeida, December, 2006 |
| | 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 |
| | Model-based Testing of a WAP Gateway: an Industrial Case-Study, Anders Hessel, Paul Pettersson, International Workshop on Formal Methods for Industrial Critical Systems (FMICS'06), p 116-131, Springer-Verlag, February, 2006 |
| | SaveCCM: An Analysable Component Model for Real-Time Systems, Jan Carlson, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, International Workshop on Formal Aspects of Component Software (FACS05), p 127-140, Elsevier, Macao, Editor(s):Z. Liu and L. Barbosa, October, 2005 |
| | Specifying and Generating Test Cases Using Observer Automata, Johan Blom (external), Anders Hessel, Bengt Jonsson (external), Paul Pettersson, the 4th International Workshop on Formal Approaches to Testing of Software, May, 2004 |
| | A Test Case Generation Algorithm for Real-Time Systems ., Anders Hessel, Paul Pettersson, the 4th International Conference on Quality Software, p 268-273, IEEE Computer Society,, Editor(s):Hans-Dieter Ehrich and Klaus-Dieter Schewe, May, 2004 |
| | An Analysis Tool for UML Models with SPT Annotations, John Håkansson (Department of Information Technology, Uppsala University), Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Wang Yi (external), International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems , May, 2004 |
| | Time-Optimal Real-Time Test Case Generation using UPPAAL, Anders Hessel, Kim Guldstrand Larsen (Aalborg University, Denmark), Brian Nielsen (Aalborg University, Denmark), Paul Pettersson, Arne Skou (Aalborg University, Denmark), the 3rdInternational Workshop on Formal Approaches to Testing of Software, May, 2003 |
| | TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems., Tobias Amnell (external), Elena Fersman (Ericsson Research, Sweden), Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Wang Yi (external), the 1st International Workshop on Formal Modeling and Analysis of Timed Systems, May, 2003 |
| | Time-Optimal Test Cases for Real-Time Systems, Anders Hessel, Kim Guldstrand Larsen (Aalborg University, Denmark), Brian Nielsen (Aalborg University, Denmark), Paul Pettersson, Arne Skou (Aalborg University, Denmark), 1st International Workshop on Formal Modeling and Analysis of Timed Systems, May, 2003 |
| | Team Dynamo-Pavlov Uppsala,, Paul Pettersson, Olle Gällmo (external), Pahram Azimi (external), Rani Khalil (external), Martin Tillenius (external), Arsenij Vodjanov (external), Samuel Waxin (external), RoboCup, LNCS, Springer, Editor(s):Polani, D., Browning, B., Bonarini, A., and Yoshida, K., May, 2003 |
| | Team Dynamo-Pavlov Uppsala,, Paul Pettersson, Olle Gällmo (external), Pahram Azimi (external), Rani Khalil (external), Martin Tillenius (external), Arsenij Vodjanov (external), Samuel Waxin (external), RoboCup 2003, LNCS, Springer., Editor(s):Polani, D., Browning, B., Bonarini, A., and Yoshida, K, May, 2003 |
| | Schedulability Analysis using Two Clocks,, Elena Fersman (Ericsson Research, Sweden), Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Wang Yi (external), the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p 224-239,, Warsaw, Poland, Editor(s):Hubert Garavel, John Hatcliff , April, 2003 |
| | UPPAAL Implementation Secrets, Gerd Berhmann (Aalborg University, Denmark), Johan Bengtsson (external), Alexandre David (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, May, 2002 |
| | Timed Automata with Asynchrounous Processes: Schedulability and Decidability, , Elena Fersman (Ericsson Research, Sweden), Paul Pettersson, Wang Yi (external), The 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , p 67-82, Grenoble, France, Editor(s): Katoen, P. Stevens, April, 2002 |
| | TIMES: A Tools for Modelling and Implementation of Embedded Systems, Tobias Amnell (external), Elena Fersman (Ericsson Research, Sweden), Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Wang Yi (external), the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p 460-464, Grenoble, France, Editor(s):J.-P. Katoen, P. Stevens, April, 2002 |
| | UPPAAL - Present and Future, , Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Oliver Möller (external), Paul Pettersson, Wang Yi (external), the 40th IEEE Conference on Decision and Control, Orlando, Florida, USA, December, 2001 |
| | As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata, Kim Guldstrand Larsen (Aalborg University, Denmark), Gerd Berhmann (Aalborg University, Denmark), Ed Brinksma (external), Ansgar Fehnker (external), Thomas Hune (external), Paul Pettersson, Judi Romijn (external), the 13th Conference on Computer Aided Verification, p 493-505, Paris, France, Editor(s):G. Berry, H. Comon, A. Finkel, July, 2001 |
| | Tools for Real-Time UML: Formal Verification and Code Synthesis., Tobias Amnell (external), Alexandre David (Aalborg University, Denmark), Elena Fersman (Ericsson Research, Sweden), Oliver Möller (external), Paul Pettersson, Wang Yi (external), the Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, June, 2001 |
| | Guiding and Cost-Optimality in UPPAAL, , Gerd Berhmann (Aalborg University, Denmark), Ansgar Fehnker (external), Thomas Hune (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Judi Romijn (external), the 2001 AAAI Spring Symposium Series: Model-Based Validation of Intelligence., May, 2001 |
| | Efficient Guiding Towards Cost-Optimality in UPPAAL, Gerd Berhmann (Aalborg University, Denmark), Ansgar Fehnker (external), Thomas Hune (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Judi Romijn (external), the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p 174-188, Genova, Italy, Editor(s):T. Margaria and W. Yi , April, 2001 |
| | Minimum-Cost Reachability for Priced Timed Automata, Gerd Berhmann (Aalborg University, Denmark), Ansgar Fehnker (external), Thomas Hune (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Judi Romijn (external), Frits Vaandrager (external), 4th International Workwhop on Hybrid Systems: Computation and Control, p 147-161, Rome, Italy, Editor(s):Maria Domenica Di Benedetto and Alberto Sangiovanni-Vincentelli, March, 2001 |
| | Model-Checking Real-Time Control Programs, , Torsten K. Iversen (external), Kåre J. Kristofferssen (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Morten Laursen (external), Rune G. Madsen (external), Steffen K. Mortensen (external), Paul Pettersson, Chris B. Thomasen (external), 12th Euromicro Conference on Real-Time Systems, p 147-155, Stockholm, Sweden, June, 2000 |
| | Guided Synthesis of Control Programs Using UPPAAL,, Thomas Hune (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, the IEEE ICDCS International Workshop on Distributed Systems Verification and Validation, p E15-E22, Taipei, Taiwan, , Editor(s):Ten H. Lai, April, 2000 |
| | On Memory-Block Traversal Problems in Model Checking Timed Systems,, Fredrik Larsson (external), Paul Pettersson, Wang Yi (external), the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p 127-141, Berlin, Germany,, Editor(s): Susanne Graf and Michael Schwartzbach, March, 2000 |
| | New Generation of UPPAAL,, Johan Bengtsson (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Fredrik Larsson (external), Paul Pettersson, Wang Yi (external), Carsten Weise (external), the International Workshop on Software Tools for Technology Transfer, Aalborg, Denmark,, July, 1998 |
| | Formal Design and Analysis of a Gear Controller, , Magnus Lindahl (external), Paul Pettersson, Wang Yi (external), the 4th International Conference on Tools and Algorithms for the Construction and Analysis of System, p 281-297, Advanced Software Technology, Uppsala University, Lisbon , Portugal, Editor(s):Bernhard Steffen , March, 1998 |
| | Formal Design and Analysis of a Gear Controller, , Magnus Lindahl (external), Paul Pettersson, Wang Yi (external), the 4th International Conference on Tools and Algorithms for the Construction and Analysis of System, p 281-297, Advanced Software Technology, Uppsala University, Lisbon , Portugal, Editor(s):Bernhard Steffen , March, 1998 |
| | Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction,, Kim Guldstrand Larsen (Aalborg University, Denmark), Fredrik Larsson (external), Paul Pettersson, Wang Yi (external), 18th IEEE Real-Time Systems Symposium, p 14-24, San Francisco, California, USA, December, 1997 |
| | Formal Verification of a TDMA Protocol Start-Up Mechanism, H. Lönn (external), Paul Pettersson, the 1997 IEEE Pacific Rim International Symposium on Fault-Tolerant Systems, p pages 235-242, Advanced Software Technology, Uppsala University, Taipei, Taiwan, December, 1997 |
| | UPPAAL: Status & Developments, , Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), the 9th International Conference on Computer-Aided Verification, p 456-459, Haifa, Israel, Editor(s):Orna Grumberg, June, 1997 |
| | A Compositional Proof of a Real-Time Mutual Exclusion Protocol, Kåre J. Kristofferssen (external), Francois Larroussinie (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), the 7th International Joint Conference on the Theory and Practice of Software Development, p 565-579, Lille, France, 14, April, 1997 |
| | Verification of an Audio Protocol with Bus Collision Using UPPAAL, Johan Bengtsson (external), W.O.David Griffioen (external), Kåre J. Kristofferssen (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Fredrik Larsson (external), Paul Pettersson, Wang Yi (external), 8th International Conference on Computer-Aided Verification, p 244-256, New Brunswick, New Jersey, USA,, Editor(s): R. Alur and T. A. Henzinger, August, 1996 |
| | UPPAAL in 1995, Johan Bengtsson (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Fredrik Larsson (external), Paul Pettersson, Wang Yi (external), Workshop on Tools and Algorithms for the Construction and Analysis of Systems, p 431-434, . Passau, Germany, Editor(s):T. Margaria and B. Steffen, March, 1996 |
| | Compositional and Symbolic Model-Checking of Real-Time Systems, , Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), the 16th IEEE Real-Time Systems Symposium, p 76-87, Pisa, Italy, December, 1995 |
| | UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems, Johan Bengtsson (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Fredrik Larsson (external), Paul Pettersson, Wang Yi (external), Workshop on Verification and Control of Hybrid Systems III, p 232-243, New Brunswick, New Jersey, Editor(s):Rajeev Alur, Thomas A. Henzinger and Eduardo D. Sontag, October, 1995 |
| | Diagnostic Model-Checking for Real-Time Systems,, Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), Workshop on Verification and Control of Hybrid Systems III, p 575-586, New Brunswick, New Jersey, Editor(s):Rajeev Alur, Thomas A. Henzinger and Eduardo D. Sontag, August, 1995 |
| | Model-Checking for Real-Time Systems, , Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), the 10th International Conference on Fundamentals of Computation Theory, p 62-88, Dresden, Germany,, Editor(s):Horst Reichel, August, 1995 |
| | Automatic Verification of Real-Time Communicating Systems by Constraint Solving, Wang Yi (external), Paul Pettersson, Mats Daniels (Uppsala University), the 7th International Conference on Formal Description Techniques, p 223-238, Berne, Switzerland, October, 1994 |
| | Dilemma - an instant lexicographer, Hans Karlgren (external), Jussi Karlgren (SICS), Magnus Nordström (external), Paul Pettersson, Bengt Wahrolen (external), 15th International Conference on Computational Linguistics,, Kyoto, Japan, August, 1994 |
| | Dilemma - a tool To Ensure quality of new Translations by Using Previous Ones, Jussi Karlgren (SICS), Hans Karlgren (external), Magnus Nordström (external), Paul Pettersson, Bengt Wahrolen (external), RIAO 94 - Intelligent Multimedia Information Retrival Systems and Management, New York, USA, May, 1994 |
| | Dilemma - a tool for rapid manual translation, , Jussi Karlgren (SICS), Hans Karlgren (external), Paul Pettersson, Magnus Nordström (external), Bengt Wahrolen (external), Conference on Human Factors in Computing Systems, Boston, USA, , April, 1994 |
|
| | |
|
MRTC reports
|
| | Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata, Aida Causevic, Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-263/2012-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, April, 2012 |
| | Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-262/2012-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2012 |
| | Proceedings of the 23rd Nordic Workshop on Programming Theory, Paul Pettersson, Cristina Seceleanu, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-254/2011-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, October, 2011 |
| | 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 |
| | The PROGRESS Centre for Predictable Embedded Software Systems - Half-time report (edited version), Hans Hansson, Thomas Nolte, Jakob Axelsson, Mats Björkman, Jan Carlson, Ivica Crnkovic, Björn Lisper, Kristina Lundqvist, Christer Norström, Paul Pettersson, Sasikumar Punnekkat, Mikael Sjödin, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-250/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, November, 2010 |
| | Formal reasoning of resource-aware services, Aida Causevic, Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-245/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June, 2010 |
| | 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 |
| | The SaveCCM Language Reference Manual, Mikael Åkerholm (former), Jan Carlson, John Håkansson (Department of Information Technology, Uppsala University), Hans Hansson, Mikael Nolin, Thomas Nolte, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-207/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, January, 2007 |
|
| | |
|
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 |
| | Partial Order Reduction for Verification of Real-Time Components, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Technical Report, Department of Information Technology, Uppsala University, Technical Report 2007-024, September, 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 |
| | Project Avatar Developing a Distributed Mobile Phone Game, Mattias Andreasson (external), Andree Bylund (external), Syrus Dargahi (external), Daniel Johansson (external), Martin Larsson (external), Bennie Lundmark (external), Jonas Mellberg (external), Fredrik Stenh (external), Olle Gällmo (external), Anders Hessel, Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Technical Report, Department of Information Technology, Uppsala University, March, 2006 |
| | Developing A-GPS as a Student Project,, Bahram Bahar (external), Adam Bolcsfoldi (external), Jonas Falkenvik (external), Roger Jakobsen (external), Kristoer Kobosko (external), Jimmy Kallstrom (external), Alexander Harju (external), Andreas Hasselberg (external), Johan Persson (external), Mattias Wadman (external), Olle Gällmo (external), Anders Hessel, Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Technical Report, Department of Information Technology, Uppsala University, March, 2006 |
| | Uppsala underdogs - A robot Soccer project, Marianne Ahlford (external), Martin Andersson (external), Hanna Blomquist (external), Magnus Ekström (external), Lars Ericsson (external), Johannes Gumbel (external), Anna Holmgren (external), Petter Holmberg (external), Leonard Kia (external), Anton Lindström (external), Magnus Lyrberg (external), Shaman Mahmoudi (external), Bengt Norlin (external), Jesper Sundien (external), Henrik Wallentin (external), Olle Gällmo (external), Anders Hessel, Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Technical Report, Department of Information Technology, Uppsala University, March, 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 |
| | Proceedings of the 16th Nordic Workshop on Programming Theory, Paul Pettersson, Wang Yi (external), Technical Report, Department of Information Technology, Uppsala University,, October, 2004 |
| | Kelb - A Real-Time Programming Environment for the Sony Aibo,, Erik Cedheim (external), Ramzi Ferchichi (external), Anders Johnsson (external), Dan Lind (external), Henrik Nyman (external), Olof Sivertsson (external), Andreas Widenfalk (external), Jöns Åkerlund (external), Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Technical Report, Department of Information Technology, Uppsala University, October, 2004 |
| | Workshop on Real-Time Tools,, Paul Pettersson, Wang Yi (external), Technical Report, Department of Information Technology, Uppsala University,, August, 2002 |
| | Workshop on Real-Time Tools, Paul Pettersson, Sergio Yovine (external), Technical Report, Department of Information Technology, Uppsala University,, August, 2001 |
| | Formal Design and Analysis of a Gear Controller, Magnus Lindahl (external), Paul Pettersson, Wang Yi (external), Technical Report, Advanced Software Technology, Uppsala University, May, 1997 |
|
