Publications
Number of publications matching the search criterion: 303 (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 (35)
Verifying ROS-based Applications Using Timed and Stochastic Timed Automata Peter Backeman, Cristina Seceleanu Lecture Notes in Computer Science (LNCS)
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions (Jun 2024) Rong Gu, Eduard Baranov , Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay , Kristina Lundqvist ACM Transactions on Software Engineering and Methodology (TOSEM)
SmartDelta project: Automated quality assurance and optimization across product versions and variants (Nov 2023) Mehrdad Saadatmand, Muhammad Abbas Khan, 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.)
