Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 194 (showing 1 - 50)

Doctoral Thesis (3)

Automatic Test Generation for Industrial Control Software (Oct 2016)
Eduard Paul Enoiu

Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations (Dec 2013)
Aida Causevic

Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice (Feb 1999)
Paul Pettersson

Licentiate Thesis (3)

Model-checking and Model-based Testing of Automotive Embedded Systems: Starting from the System Architecture (Dec 2014)
Raluca Marinescu

Model Checking-Based Software Testing for Function Block Diagrams (Oct 2014)
Eduard Paul Enoiu

Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis (Jun 2011)
Aida Causevic

Book (4)

Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue (Jan 2015)
Cristina Seceleanu, Paul Pettersson
Special Issue: The 23rd Nordic Workshop on Programming Theory (NWPT 2011) (JLAP-NWPT)

Selected Papers of the 16th Nordic Workshop on Programming Theory (NWPT04), October 6-8, 2004 (Jan 2005)
Paul Pettersson, Wang Yi

Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 2005 (Jan 2005)
Paul Pettersson, Wang Yi

A Methodology for Constructing Correct Reactive Systems (Jan 2005)
Cristina Seceleanu

Book chapter (1)

A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs (Jul 2015)
Raluca Marinescu, Cristina Seceleanu, Helene Le Guen , Paul Pettersson
Advances in Computers, vol.98 (AC)

Collection (Editor) (4)

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

Testing Real-time systems using UPPAAL (Jan 2008)
Anders Hessel, Kim Guldstrand Larsen , Marius Mikuèionis , Brian Nielsen , Paul Pettersson, Arne Skou
Formal Methods and Testing

Outils pour le Model-Checking de Systèmes Temporisés (Jan 2008)
Alexandre David , Gerd Berhmann , Kim Guldstrand Larsen , Paul Pettersson, Jacob Illum Rasmussen , Wang Yi , Morgan Magnin
Approches formelles des systèmes embarqués communicant

Journal article (19)

Analyzing a wind turbine system: From simulation to formal verification (Oct 2016)
Cristina Seceleanu, Morgan Johansson , Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Science of Computer Programming, Elsevier (SCICO)

Collaborative distributed sun-tracking control system for building integration with minimal plant area and maximum energy-conversion efficiency (Sep 2015)
Bartomeu Alorda , Ramon Pujol-Nadal , Guillermo Rodriguez-Navas, Andreu Moià-Pol , Víctor Martínez-Moll
International Journal of Electrical Power & Energy Systems (IJEPES 2015)

Automated Test Generation using Model-Checking: An Industrial Evaluation (Nov 2014)
Eduard Paul Enoiu, Adnan Causevic, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Paul Pettersson
International Journal on Software Tools for Technology Transfer (STTT)

Adaptive Task Automata with Earliest-Deadline-First Scheduling (Nov 2014)
Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson
Electronic Communications of the EASST Volume 70: Automated Verification of Critical Systems (EASST'14)

Component Models for Reasoning (Nov 2013)
Cristina Seceleanu, Ivica Crnkovic
The Computer Journal (Comput. J.)

A methodology for formal analysis and verification of EAST-ADL models (Jul 2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens , Paul Pettersson
Reliability Engineering & System Safety, vol. 120 (RE&SSvol120)

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Feb 2013)
Leo Hatvani, Cristina Seceleanu, Paul Pettersson
Special Issue on the 4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2012) (SIGBEDRevV10N1)

A Formal Analysis Framework for AADL (Nov 2011)
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
The Journal of Science and Technology

Developing UPPAAL over 15 years (Feb 2011)
Gerd Berhmann , Alexandre David , Kim Guldstrand Larsen , Paul Pettersson, Wang Yi
Software - Practice and Experience

Applying REMES Behavioral Modeling to PLC Systems (Dec 2009)
Aneta Vulgarakis Feljan, Aida Causevic
Mechatronic Systems

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems (May 2008)
Jagadish Suryadevara, Lawrence Chung , Shyamasundar RK
Journal of Object Technology (JOT)

Synchronization Can Improve Reactive Systems Control and Modularity (Oct 2004)
Cristina Seceleanu, Tiberiu Seceleanu
Journal of Universal Computer Science (JUCS)

Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems (Sep 2003)
Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson, Wang Yi
Real-Time Systems - The International Journal of Time-Critical Computing Systems

Automated Analysis of an Audio Control Protocol Using UPPAAL, (Jul 2002)
Johan Bengtsson , W.O.David Griffioen , Kåre J. Kristofferssen , Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson, Wang Yi
Journal of Logic and Algebraic Programming,

Code Synthesis for Timed Automata, (May 2002)
Tobias Amnell , Elena Fersman , Paul Pettersson, Hongyan Sun , Wang Yi
Nordic Journal of Computing

Guided Synthesis of Control Programs Using UPPAAL (May 2001)
Thomas Hune , Kim Guldstrand Larsen , Paul Pettersson
In Nordic Journal of Computing

Formal Design and Analysis of a Gear Controller (May 2001)
Magnus Lindahl , Paul Pettersson, Wang Yi
Springer International Journal of Software Tools for Technology Transfer

UPPAAL2K (Apr 1999)
Kim Guldstrand Larsen , Paul Pettersson
European Association for Theoretical Computer Science Bulletin

UPPAAL in a Nutshell (May 1997)
Kim Guldstrand Larsen , Paul Pettersson, Wang Yi
In Springer International Journal of Software Tools for Technology Transfer,

Conference/Workshop Paper (125)

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017)
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu
29th Nordic Workshop on Programming Theory (NWPT'17)

Customized Real-Time Data Management for Automotive Systems: A Case Study (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
7th International Conference on Model and Data Engineering (MEDI 2017)

A Novel Integrated Architecture for Ambient Assisted Living Systems (Jul 2017)
Ashalatha Kunnappilly, Alexandru Sorici , Imad Alex Awada , Irina Mocanu , Cristina Seceleanu, Adina Magda Florea
The 41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study (May 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017)

Analyzing Ambient Assisted Living Solutions: A Research Perspective (Apr 2017)
Ashalatha Kunnappilly, Axel Legay , Tiziana Margaria , Cristina Seceleanu, Bernhard Steffen , Louis-Marie Tranonouez
12th International Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS 2017)

SMT-based Consistency Analysis of Industrial Systems Requirements (Apr 2017) -- Best Paper Award--
Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu
32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)

Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software (Mar 2017)
Henning Bergström , Eduard Paul Enoiu
6th International Workshop on Combinatorial Testing (IWCT'17)

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL (Mar 2017)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

A Comparative Study of Manual and Automated Testing for Industrial Control Software (Mar 2017)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
International Conference on Software Testing, Verification and Validation (ICST 2017)

Do we need an integrated framework for Ambient Assisted Living ? (Nov 2016)
Ashalatha Kunnappilly, Cristina Seceleanu, Maria Lindén
10th International Conference on Ubiquitous Computing & Ambient Intelligence & International Work-Conference on Ambient Assisted Living (UCAmI & IWAAL )

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking (Nov 2016)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
35th Annual IEEE Software Engineering Workshop (FedCSIS Conference) (SEW-36)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems (Nov 2016)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn
21st International Symposium on Formal Methods (FM2016)

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation (Oct 2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
24th International Conference on Real-Time Networks and Systems (RTNS'16)

Mutation-Based Test Generation for PLC Embedded Software using Model Checking (Oct 2016) -- Best Paper Award--
Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt , Paul Pettersson
The International Conference on Testing Software and Systems (ICTSS)

Synthesizing time-triggered schedules for switched networks with faulty links (Oct 2016)
Guy Avni , Guillermo Rodriguez-Navas, Shibashis Guha
2016 International Conference on Embedded Software (EMSOFT) (EMSOFT'16)

Items per page: