Type: Date:

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

Doctoral Thesis (8)

Formal Methods for Scalable Synthesis and Verification of Autonomous Systems (May 2022)
Rong Gu

Automatic Characterization and Mitigation ofShared-resource Contention in Multi-coreSystems (Nov 2021)
Jakob Danielsson

Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems (Nov 2019)
Simin Cai

Methods for Efficient and Adaptive Scheduling of Next-Generation Time-Triggered Networks (Oct 2019)
Francisco Pozo

Automated Approaches for Formal Verification of Embedded Systems Artifacts (May 2019)
Predrag Filipovikj

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 (10)

Automatic Model Generation and Scalable Verification for Autonomous Vehicles (Jun 2020)
Rong Gu

Characterization of Shared Resource Contention in Multi-core Systems (Aug 2019)
Jakob Danielsson

Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support (Apr 2019)
Ashalatha Kunnappilly

Systematic Design of Data Management for Real-Time Data-Intensive Applications (Jun 2017)
Simin Cai

Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models (Apr 2017)
Predrag Filipovikj

Synthesis of Extremely Large Time-Triggered Network Schedules (Apr 2017)
Francisco Pozo

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

Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models
Nesredin Mahmud

Book (7)

Confessions of an AI Brain (May 2023)
Elena Fersman , Paul Pettersson, Athanasios Karapantelakis

Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings (2022)
Marjan Sirjani, Maurice H. ter Beek

Journal of Systems and Software: COMPSAC Special Issue (Nov 2016)
Cristina Seceleanu, Kenichi Yoshida

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 (33)

SmartDelta project: Automated quality assurance and optimization across product versions and variants (Nov 2023)
Mehrdad Saadatmand , Muhammad Abbas, Eduard Paul Enoiu, Bernd-Holger Schlingloff , Wasif Afzal, Benedikt Dornauer , Michael Felderer
Microprocessors and Microsystems (MICPRO)

Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022)
Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Science of Computer Programming (SCICO-223)

Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach (Jun 2022)
Rong Gu, Peter Jensen , Danny Poulsen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
International Journal on Software Tools for Technology Transfer (STTT)

Specification and Verification of Timing Properties in Interoperable Medical Systems (2022)
JOHN HATCLIFF , Marjan Sirjani, Ehsan Khamespanah , Fatemeh Ghasemi , Mahsa Zarneshan
Logical Methods in Computer Science (LMCS)

Automated Test Case Generation for Digital System Designs: A Mapping Study on VHDL, Verilog and SystemVerilog Description Languages (Aug 2020)
Ashish Alape Vivekananda , Eduard Paul Enoiu
MDPI Designs Journal (MDPI Designs)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Jul 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Software and Systems Modeling (SoSym)

An Evaluation of Monte Carlo-Based Hyper-Heuristic for Interaction Testing of Industrial Embedded Software Applications (Mar 2020)
Bestoun Ahmed , Eduard Paul Enoiu, Wasif Afzal, Kamal Zamli
Soft Computing Journal: A Fusion of Foundations, Methodologies and Applications (SOCO)

Model Testing of Complex Embedded Systems using EAST-ADL and Energy-Aware Mutations (Feb 2020)
Eduard Paul Enoiu, Cristina Seceleanu
MDPI Designs Journal (MDPI Designs)

A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Nov 2019)
Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
Sensors Special Issue IoT Sensors in E-Health (Sensors)

Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines (Nov 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Computing (Computing.)

Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience (Oct 2018)
Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu
Electronic Communications of the EASST Vol. 75 (ECEASST)

Tool-Supported Design of Data Aggregation Processes in Cloud Monitoring Systems (Jan 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
Journal of Ambient Intelligence and Humanized Computing (JAIHC)

Automated SMT-based Consistency Checking of Industrial Critical Requirements (Jan 2018)
Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu
Applied Computing Review (ACR)

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)

A Design Tool for Service-oriented Systems (May 2013)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu
International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)

Items per page: