Paul Pettersson (in April 2006).

Paul Pettersson (in April 2006).

Paul Pettersson

This page is not maintained. Please see my page at Mälarldalen university. Sections on this page: Research, Teaching, Programme Committees, and Miscellaneous.

Research

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability, Aida Causevic, Paul Pettersson, and Cristina Seceleanu. Proceedings of International Conference on Innovation in Software Engineering - ISE08, p 7, IEEE USA, Vienna, Austria, December, 2008
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, and Davor Slutej. Proceedings of 6th International Symposium on Automated Technology for Verification and Analysis, Springer-Verlag, Seoul, South Korea, October, 2008
Save-IDE - An Integrated development environment for building predictable component-based embedded systems, Severine Sentilles, John Håkansson, Paul Pettersson, and 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, AnnMarie Ericsson, Mikael Berndtsson, Paul Pettersson, and Lena Pettersson. Proceedings of the 1st International Workshop on Complex Event Processing for Future Internet, September, 2008.
Verification of COMDES-II Systems Using UPPAAL with Model Transformation, Xu Ke, Paul Pettersson, Krzysztof Sierszecki, and Christo Angelov. In Proceedings of the 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, and Hans Hansson. Proceedings of First IEEE International Conference on Software Testing, Verification and Validation (ICST) 2008.
Testing Real-time systems using UPPAAL. Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, and Arne Skou. Book chapter in Formal Methods and Testing, Lecture Notes in Computer Science 4949, Robert M. Hierons, Jonathan P. Bowen, and Mark Harman (eds.), Springer-Verlag, 2008.
Generating Trace-Sets for Model-based Testing. Birgitta Lindström, Paul Pettersson, and Jeff Offutt. In Proceedings of the 18th IEEE International Symposium on Software Reliability (ISSRE'07), pages 171-180, November 5-9, 2007.
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'07), Lecture Notes in Computer Science 4763, pages 211-226, Jean-FranÃƒÂ§ois Raskin and P.S. Thiagarajan (eds.), Springer-Verlag, 2007.
Partial Order Reduction for Verification of Real-Time Components, John Håkansson and Paul Pettersson. Technical Report 2007-024, ISSN 1404-3203. Department of Information Technology, Uppsala University, September 2007.
Task Automata: Schedulability, Decidability and Undecidability. Elena Fersman, Pavel Krcal, Paul Pettersson, and Wang Yi. In International Journal of Information and Computation, vol 205, issue 8, pages 1149-1172, 2007.
Seamless Formal Verification of Complex Event Processing Applications. AnneMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö. In Proceedings of the 6th Inaugural International Conference on Distributed Event-Based Systems, ACM, June, 2007.
Cover - A Test-Case Generation Tool for Timed Systems. Anders Hessel and Paul Pettersson. In Testing of Software and Communicating Systems: Work-in-Progress and Position Papers, Tool Demonstrations, and Tutorial Abstracts of TestCom/FATES 2007, pages 31-34, ISBN 978-9949-430-06-2. Alexandre Petrenko, Margus Veanes, Jan Tretmans, and Wolfgang Grieskamp (eds.) 2007.
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, vol 80, nr 5, p655-667, Elsevier, May, 2007.
A Global Algorithm for Test Suite Generation, Anders Hessel and Paul Pettersson. In Proceedings of the Third Workshop on Model-Based Testing, Electronic Notes in Theoretical Computer Science 16697, 2007.
Model-based Testing of a WAP Gateway: an Industrial Case-Study, Anders Hessel and Paul Pettersson. Technical Report 2006-045, ISSN 1404-3203. Department of Information Technology, Uppsala University, September 2006.
Handling Subsystems using the SaveComp Component Technology. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Mikael Nolin, Thomas Nolte, and Paul Pettersson. In Proceedings of Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Marco Di Natale and Luis Almeida (eds.). 2006.
Model Checking Timed Automata with Priorities using DBM Subtraction. Alexandre David, John Håkansson, Kim G. Larsen, and Paul Pettersson. In proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), 2006, Lecture Notes in Computer Science 4202, pages 128-142, Eugene Asarin and Patricia Bouyer (eds.), Springer-Verlag, 2006.
UPPAAL 4.0. Gerd Behrmann, Alexandre David, John Håkansson, Martijn Hendriks, Kim G. Larsen, Paul Pettersson, and Wang Yi. In proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST'06), 2006.
Model-based Testing of a WAP Gateway: an Industrial Case-Study. Anders Hessel and Paul Pettersson. In proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'06). Lecture Notes in Computer Science 4346, pages 116-131, Springer-Verlag, 2006.
Inference of Event-Recording Automata using Timed Decision Trees. Olga Grinchtein, Bengt Jonsson, and Paul Pettersson. In Proceedings of the 17th International Conference on Concurrency Theory (CONCUR'06), Lecture Notes in Computer Science 4137, pages 435-449, Christel Baier, Holger Hermanns (eds.), Springer-Verlag, 2006.
Schedulability Analysis of Fixed Priority Systems using Timed Automata. Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Theoretical Computer Science, Volume 354, Issue 2, Pages 301-317, 28 March 2006.
Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 2005, Proceedings. Paul Pettersson and Wang Yi (Eds.). Lecture Notes in Computer Science, volume 3829, Springer-Verlag, 2005.
Selected Papers of the 16th Nordic Workshop on Programming Theory (NWPT'04), October 6-8, 2004. Paul Pettersson and Wang Yi (Eds.). Nordic Journal of Computing, Volue 12, Number 2, Summer 2005.
SaveCCM: An Analysable Component Model for Real-Time Systems. Jan Carlson, John Håkansson, and Paul Pettersson. In the Proceedings of International Workshop on Formal Aspects of Component Software (FACS'05). Electronic Notes in Theoretical Computer Science, Elsevier, 2005. ( pdf, abstract, bibtex )
An Analysis Tool for UML Models with SPT Annotations. John Håkansson, Leonid Mokrushin, Paul Pettersson, and Wang Yi. In Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS'04) 2004. ( pdf, abstract )
Proceedings of the 16th Nordic Workshop on Programming Theory. Paul Pettersson and Wang Yi (Eds.). Technical Report 2004-041, ISSN 1404-3203. Department of Information Technology, Uppsala University, October 2004.
Specifying and Generating Test Cases Using Observer Automata. Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson. In Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software (FATES'04) 2004. ( .pdf, abstract, bibtex )
A Test Case Generation Algorithm for Real-Time Systems. Anders Hessel and Paul Pettersson. In proceedings of the 4th International Conference on Quality Software (QSIC'04), pages 268-273, Hans-Dieter Ehrich and Klaus-Dieter Schewe (eds.), IEEE Computer Society, 2004. ( .pdf )
Time-Optimal Real-Time Test Case Generation using UPPAAL. Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. In Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES'03), 2003. ( .pdf, abstract, bibtex )
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). 2003. ( .ps.gz, .pdf, abstract )
Time-Optimal Test Cases for Real-Time Systems. Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. Invited presentation. In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03), 2003. ( .ps.gz, .pdf, abstract )
Schedulability Analysis using Two Clocks, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), LNCS 2619, pages 224-239, Hubert Garavel, John Hatcliff (Eds.), Warsaw, Poland, April 7-11, 2003. ( .ps.gz, .pdf, abstract, bibtex )
Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. In Real-Time Systems - The International Journal of Time-Critical Computing Systems, volume 25, issue 2, pages 255-275, Kluwer Academic Publisher, September 2003.
Code Synthesis for Timed Automata, Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi. In Nordic Journal of Computing (NJC), volume 9, number 4, 2002. ( .ps.gz, .pdf, abstract, bibtex )
Automated Analysis of an Audio Control Protocol Using UPPAAL, Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. In Journal of Logic and Algebraic Programming, volumes 52-53, pages 163-181, Holger Hermanns and Joost-Pieter Katoen (eds.). July-August, 2002. ( .ps.gz, .pdf, abstract, bibtex )
Workshop on Real-Time Tools, Paul Pettersson and Wang Yi (eds.). Proceedings of the Workshop on Real-Time Tools 2002, Technical Report 2002-05, ISSN 1404-3203. Department of Information Technology, Uppsala University, August, 2002.
UPPAAL Implementation Secrets, Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi. In Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02), 2002. ( .ps.gz, .pdf, abstract, bibtex )
Timed Automata with Asynchrounous Processes: Schedulability and Decidability, Elena Fersman, Paul Pettersson, and Wang Yi. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), LNCS 2280, pages 67-82, J.-P. Katoen, P. Stevens (Eds.). Grenoble, France, April 6-14, 2002. ( .ps.gz, .pdf, abstract, bibtex )
TIMES: A Tools for Modelling and Implementation of Embedded Systems, Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), LNCS 2280, pages 460-464, J.-P. Katoen, P. Stevens (Eds.). Grenoble, France, April 6-14, 2002. ( .ps.gz, .pdf, abstract, bibtex )
Guiding and Cost-Optimality in UPPAAL, Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. In Proceedings of the 2001 AAAI Spring Symposium Series: Model-Based Validation of Intelligence. 2001.
Tools for Real-Time UML: Formal Verification and Code Synthesis. Tobias Amnell, Alexandre David, Elena Fersman, Oliver Möller, Paul Pettersson, and Wang Yi. In Proceedings of the Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES'2001), 18-22 June 2001. ( .ps.gz, .pdf, abstract )
Guided Synthesis of Control Programs Using UPPAAL, Thomas Hune, Kim G. Larsen, and Paul Pettersson. In Nordic Journal of Computing (NJC), volume 8, number 1, 2001, pages 43-64. ( ps.gz, pdf, abstract, bibtex )
UPPAAL - Present and Future, Gerd Behrmann, Alexandre David, Kim G. Larsen, Oliver Möller, Paul Pettersson, and Wang Yi. In Proceedings of the 40th IEEE Conference on Decision and Control (CDC'2001). Orlando, Florida, USA, December 4 to 7, 2001. ( .ps.gz, .pdf, abstract, bibtex)
Workshop on Real-Time Tools, Paul Pettersson and Sergio Yovine (eds.). Proceedings of the Workshop on Real-Time Tools 2001, Technical Report 2001-014, ISSN 1404-3203. Department of Information Technology, Uppsala University, August, 2001.
Formal Design and Analysis of a Gear Controller, Magnus Lindahl, Paul Pettersson and Wang Yi. In Springer International Journal of Software Tools for Technology Transfer (STTT), volume 3, issue 3, pages 353-368, 2001. ( ps.gz, pdf, abstract, bibtex )
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata , Kim G. Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, and Judi Romijn. In Procceedings of the 13th Conference on Computer Aided Verification, (CAV'01). 2001. LNCS 2102, pages 493-505, G. Berry, H. Comon, A. Finkel (Eds.). Paris, France, July 18 to 23, 2001. ( .ps.gz, .pdf, abstract, bibtex )
UPPAAL - Now, Next, and Future, Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G. Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, and Wang Yi. In Proceedings of Modelling and Verification of Parallel Processes (MOVEP'2k), Nantes, France, June 19 to 23, 2000. LNCS Tutorial 2067, pages 100-125, F. Cassez, C. Jard, B. Rozoy, and M. Ryan (Eds.), 2001. ( .ps.gz, .pdf, abstract, bibtex )
Efficient Guiding Towards Cost-Optimality in UPPAAL, Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. In Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01). Genova, Italy, April 2 to 6, 2001. LNCS 2031, pages 174-188, T. Margaria and W. Yi (Eds.). ( .ps.gz, .pdf, abstract, bibtex )
Minimum-Cost Reachability for Priced Timed Automata, Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn, and Frits Vaandrager. In Proceedings of the 4th International Workwhop on Hybrid Systems: Computation and Control (HSCC'01). Rome, Italy, March 28 to 30, 2001. LNCS 2034, pages 147-161, Maria Domenica Di Benedetto and Alberto Sangiovanni-Vincentelli (Eds.). ( .ps.gz, .pdf, abstract, bibtex )
Model-Checking Real-Time Control Programs, Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson and Chris B. Thomasen. In Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS'2000), pages 147-155. Stockholm, Sweden, June 19 - 21, 2000. ( .pdf, abstract, bibtex )
Guided Synthesis of Control Programs Using UPPAAL, Thomas Hune, Kim G. Larsen and Paul Pettersson. In Proceedings of the IEEE ICDCS International Workshop on Distributed Systems Verification and Validation ( DSVV'2000), pages E15-E22, Ten H. Lai (Ed.). Taipei, Taiwan, April 10-13, 2000. ( .ps.gz, .pdf, abstract, bibtex )
On Memory-Block Traversal Problems in Model Checking Timed Systems, Fredrik Larsson, Paul Pettersson and Wang Yi. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2000). Berlin, Germany, March 27-April 1, 2000. LNCS 1785, pages 127-141, Susanne Graf and Michael Schwartzbach (Eds.). ( ps.gz, pdf, abstract, bibtex )
Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice, Paul Pettersson. Ph.D. Thesis, Technical Report DoCS 99/101, Department of Computer Systems, Uppsala University, 19 February 1999.
New Generation of UPPAAL, Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi and Carsten Weise. In Proceedings of the International Workshop on Software Tools for Technology Transfer. Aalborg, Denmark, 12 - 13 July, 1998. ( ps.gz, pdf, abstract, bibtex)
Formal Design and Analysis of a Gear Controller, Magnus Lindahl, Paul Pettersson and Wang Yi. In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Gulbenkian Foundation, Lisbon , Portugal, 31 March - 2 April, 1998. LNCS 1384, pages 281-297, Bernhard Steffen (Ed.). Appears also as Technical Report ASTEC 97/09, Advanced Software Technology, Uppsala University, 1997. ( ps.gz, pdf, abstract, bibtex)
UPPAAL in a Nutshell, Kim G. Larsen, Paul Pettersson and Wang Yi. In Springer International Journal of Software Tools for Technology Transfer, volume 1, issue 1+2, pages 134-152, 1997. ( ps.gz, pdf, abstract, bibtex)
Formal Verification of a TDMA Protocol Start-Up Mechanism, Henrik Lönn and Paul Pettersson. In Proceedings of the 1997 IEEE Pacific Rim International Symposium on Fault-Tolerant Systems, pages 235-242. Taipei, Taiwan, 15-16 December, 1997. Also appears as Technical Report ASTEC 97/16, Advanced Software Technology, Uppsala University, 1997. ( ps.gz, pdf, abstract, bibtex)
Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. In Proceedings of the 18th IEEE Real-Time Systems Symposium, pages 14-24. San Francisco, California, USA, 3-5 December 1997. ( ps.gz, pdf, abstract, bibtex)
UPPAAL: Status & Developments, Kim G. Larsen, Paul Pettersson and Wang Yi. In Proceedings of the 9th International Conference on Computer-Aided Verification. Haifa, Israel, 22-25 June 1997. LNCS 1254, pages 456-459, Orna Grumberg (Ed.). ( ps.gz, pdf, abstract, bibtex, full version (ps.gz))
A Compositional Proof of a Real-Time Mutual Exclusion Protocol, Kåre J. Kristoffersen, Francois Larroussinie, Kim G. Larsen, Paul Pettersson and Wang Yi. In Proceedings of the 7th International Joint Conference on the Theory and Practice of Software Development, pages 565-579. Lille, France, 14-18 April, 1997. ( ps.gz, pdf, abstract, bibtex)
Verification of an Audio Protocol with Bus Collision Using UPPAAL, Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. In Proceedings of the 8th International Conference on Computer-Aided Verification. New Brunswick, New Jersey, USA, 31 July 31-3 August, 1996. LNCS 1102, pages 244-256, R. Alur and T. A. Henzinger (Eds.). ( ps.gz, pdf, abstract, bibtex )
UPPAAL in 1995, Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. In Proceedings of Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Passau, Germany, 27-29 March, 1996. LNCS 1055, pages 431-434, T. Margaria and B. Steffen (Eds.). ( ps.gz, pdf, abstract, bibtex)
Compositional and Symbolic Model-Checking of Real-Time Systems, Kim G. Larsen, Paul Pettersson and Wang Yi. In Proceedings of the 16th IEEE Real-Time Systems Symposium, pages 76-87. Pisa, Italy, 5-7 December, 1995. ( ps.gz, pdf, abstract, bibtex )
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems, Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. In Proceedings of Workshop on Verification and Control of Hybrid Systems III, New Brunswick, New Jersey, 22-24 October, 1995. LNCS 1066, pages 232-243, Rajeev Alur, Thomas A. Henzinger and Eduardo D. Sontag (Eds.). ( ps.gz, pdf, abstract, bibtex )
Diagnostic Model-Checking for Real-Time Systems, Kim G. Larsen, Paul Pettersson and Wang Yi. In Proceedings of Workshop on Verification and Control of Hybrid Systems III, New Brunswick, New Jersey, 22-24 October, 1995. LNCS 1066, pages 575-586, Rajeev Alur, Thomas A. Henzinger and Eduardo D. Sontag (Eds.). ( ps, pdf, abstract, bibtex )
Model-Checking for Real-Time Systems, Kim G. Larsen, Paul Pettersson and Wang Yi. In Proceedings of the 10th International Conference on Fundamentals of Computation Theory, Dresden, Germany, 22-25 August, 1995. LNCS 965, pages 62-88, Horst Reichel (ed.). ( ps.gz, pdf, abstract, bibtex)
Automatic Verification of Real-Time Communicating Systems by Constraint Solving, Wang Yi, Paul Pettersson and Mats Daniels. In Proceedings of the 7th International Conference on Formal Description Techniques, pages 223-238. Berne, Switzerland, 4-7 October, 1994. ( ps.gz, pdf, abstract, bibtex)
Dilemma - a tool To Ensure quality of new Translations by Using Previous Ones, Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordström and Bengt Wahrolen. In Proceedings of RIAO 94 - Intelligent Multimedia Information Retrival Systems and Management, New York, USA, 1994.
Dilemma - an instant lexicographer, Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson and Bengt Wahrolen. In Proceedings of 15th International Conference on Computational Linguistics, Kyoto, Japan, 5 August, 1994.
Dilemma - a tool for rapid manual translation, Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordström and Bengt Wahrolen. In Proceedings of Conference on Human Factors in Computing Systems, Boston, USA, April, 1994.
A tool for rapid manual translation, Magnus Nordström and Paul Pettersson. Master Thesis. Swedish Institute of Computer Science T93:04B, ISSN 1100-3154, 7 October, 1993. (pg. 1-28 (ps.gz), pg. 29-62 (ps.gz), abstract)

Programme Committees

13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'10). In conjunction with CPSWEEK, April 12-16, 2010, Stockholm, Sweden.
2nd Swedish Workshop on Multi-Core Computing (MCC'09). November 26-27, 2009, Uppsala, Sweden.
14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'09). Track on Real-Time and (Networked) Embedded Systems, September 22-25, 2009, Mallorca, Spain.
2nd Workshop on Verification and Validation of Planning and Scheduling Systems (VVPS'09). September 20, 2009, Thessaloniki, Greece.
7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 13-16 September 2009, Budapest, Hungary.
7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC'09). Chair of Track on Real-time and operating systems, August 29-31, 2009, Vancouver, Cananda.
1st International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS'09). Co-organizer. In conjunction with the 7th ESEC/FSE Joint meeting. 25 August, 2009, Amsterdam, The Netherlands.
33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC'09), and 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS'09), Jul 20-24, 2009, Seattle, Washington, USA.
International Workshop on Timing and Stochasticity in Petri nets and other models of concurrency, June 23, 2009, Paris, France.
Intelligent Event Processing - AAAI Spring Symposium 2009, March 23-25, 2009, Stanford, California.
6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM'08), November 10-14, 2008, Cape Town, South Africa.
1st International Workshop on Complex Event Processing for Future Internet (iCEP-FIS08), Sep 28-30, 2008, Vienna.
6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), (co-located with the Qest 2008 conference), September 15-17, 2008, Saint-Malo, France.
13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08). Track on Real-Time and (Networked) Embedded Systems, September 15-18, 2008, Hamburg, Germany.
15th International SPIN Workshop on Model Checking of Software, August 10-12, 2008, in Los Angeles, USA.
1st IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS'08), July 28-August 1, 2008, Turku, Finland.
32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC'08), July 28-August 1, 2008, Turku, Finland.
14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), held as part of European Joint Conferences on Theory and Practice of Software (ETAPS), March 29-April 6, 2008, in Budapest, Hungary.
6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08), March 29-30, 2008, Budapest, Hungary.
5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'07), October 3-5, 2007, Salzburg, Austria.
5th IEEE International Conference on Software Engineering and Formal Methods (SEFM'07), September 10-14, 2007. London, UK.
9th Real-Time in Sweden (RTiS'07), August 21-22, 2007, Västerås, Sweden.
14th International SPIN Workshop on Model Checking of Software (SPIN'07), July 1-3, 2007, Berlin, Germany Affiliated to CAV 2007. Berlin, 2007.
4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), September 25-27, 2006. Paris, France.
Formal Modelling and Analysis of Timed Systems (FORMATS'05), September 26-28, 2005, Uppsala, Sweden.
Nordic Workshop on Programming Theory, October 6-8, 2004, Uppsala, Sweden.
Real-Time in Sweden 2003, August 18-19, 2003, Västerås, Sweden.
Real-Time Tools (RT-TOOLS'2002), August 1, 2002, Copenhagen, Denmark. Affiliated to CAV'2002.
Workshop on Models for Time-Critical Systems (3rd), August 24, 2002, Brno, Czech Republic. Affiliated to CONCUR'2002.
Workshop on Theory and Practice of Timed Systems, April 6-7, 2002, Grenoble, France. Affiliated to ETAPS'2002.
Real-Time Tools (RT-TOOLS'2001), August 20, 2001, Aalborg, Denmark. Affiliated to CONCUR'2001.
Specification, Implementation and Validation of Object-Oriented Embedded Systems (SIVOOES'2001), June 19, 2001, Budapest Hungary. Affiliated to ECOOP'2001.
Model-Based Validation of Intelligence, March 26 - 28, 2001, Stanford, USA. Part of AAAI 2001 Spring Symposium Series.
Formal Design Techniques for Real-Time UML, October 3, 2000, York, UK. Affiliated to UML'2000.

Teaching

Compilation from German Open 2003,
by Leonid Mokrushin.

Click for AIBO clip.

Project Avatar Developing a Distributed Mobile Phone Game, Mattias Andreasson, Andree Bylund, Syrus Dargahi, Daniel Johansson, Martin Larsson, Bennie Lundmark, Jonas Mellberg, Fredrik Stenh, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson. Technical Report 2006-010, ISSN 1404-3203. Department of Information Technology, Uppsala University, Mars 2006. ( .pdf )
Developing A-GPS as a Student Project, Bahram Bahar, Adam Bolcsfoldi, Jonas Falkevik, Roger Jakobsen, Kristoer Kobosko, Jimmy Kallstrom Alexander Harju, Andreas Hasselberg, Johan Persson, Mattias Wadman, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson. Technical Report 2006-011, ISSN 1404-3203. Department of Information Technology, Uppsala University, Mars 2006. ( .pdf )
Uppsala Underdogs - A Robot Soccer Project, Marianne Ahlford, Martin Andersson, Hanna Blomquist, Magnus Ekström, Lars Ericsson, Johannes Gumbel, Anna Holmgren, Petter Holmberg, Leonard Kia, Anton Lindström, Magnus Lyrberg, Shaman Mahmoudi, Bengt Nolin, Jesper Sundien, Henrik Wallentin, Olle Gällmo, Anders Hessel, Leonid Mokrushin, Paul Pettersson. Technical Report 2006-012, ISSN 1404-3203. Department of Information Technology, Uppsala University, Mars 2006. ( .pdf )
Kelb - A Real-Time Programming Environment for the Sony Aibo, Erik Cedheim, Ramzi Ferchichi, Anders Jonsson, Dan Lind, Henrik Nyman, Olof Sivertsson, Andreas Widenfalk, Jöns Åkerlund, Leonid Mokrushin, and Paul Pettersson. Technical Report 2004-044, ISSN 1404-3203. Department of Information Technology, Uppsala University, October 2004. ( .pdf )
Team Dynamo-Pavlov Uppsala, Paul Pettersson, Olle Gällmo, Pahram Azimi, Rani Khalil, Martin Tillenius, Arsenij Vodjanov, and Samuel Waxin. In Proceedings of RoboCup 2003, LNCS, Springer. Polani, D., Browning, B., Bonarini, A., and Yoshida, K. (eds), 2003. ( .pdf )
Undergraduate courses (recent):
- Project DV: fall -06, fall -05, fall -04, fall -03, and fall -02.
- Real-Time Programming, TF: fall -01, and -fall -00.
- Real-Time Systems, EIP: fall -01, and -fall -00.
- Undergraduate Thesis Coordinator (exjobbssamordnare): spring -03, fall -02, spring -02, and fall -01.
Graduate courses (recent):
- Formal Metods in Real-Time Systems (ESSES): fall -03.
- Formella analysmetoder för realtidssystem (ARTES++): spring -06, and spring -04.
- Formalisms, Algorithms and Tools in Formal Methods for Real-Time Systems (ARTES): spring -02.
- Modeling and Analysis of Real-Time Systems using UPPAAL (Skövde): spring -02.
- Real-Time and Embedded Systems (CUGS): spring -06, spring -04, spring -03, and spring -02.
- Real-Time Systems (DTU, Denmark): spring -01, and spring -00.
- Recent Trends in Program Analysis, Verification, and Testing (reading course by Testing of Reactive Systems group at Uppsala University): spring -06,
- Software Testing (Uppsala University): fall -02, and spring -02.

Miscellaneous

Links:
- A network for Real-Time research and graduate Education in Sweden (ARTES).
- Advanced Software TEChnology (ASTEC).
- Swedish National Real-Time Association (SNART).
Pictures:
- Uppsala Underdogs (robot soccer) demonstration.
- Nordic Workshop on Programming Theory (NWPT'04).
- Dynamo-Pavlov at Robocup 2003.
- Kick-off with the UPPAAL research group (Gotland, Jun 2003).
- Uppsala University Novemberfest (Nov 2002).
- Kick-off with the UPPAAL research group (Viking Line, Sep 2002).
- Ekplantan's visit to Dept. of Information Technology at Uppsala University.
- LEGO constructions in Aalborg.

Last modified: Fri Apr 2 11:54:48 MEST 2010