Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models (Apr 2017) Predrag Filipovikj
Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models Nesredin Mahmud
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)
Automated SMT-based Consistency Checking of Industrial Critical Requirements (Jan 2018) Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu Applied Computing Review (ACR)
Component Models for Reasoning (Nov 2013) Cristina Seceleanu, Ivica Crnkovic The Computer Journal (Comput. J.)
Statistical Model Checking of Complex Robotic Systems (Oct 2019) Mohammed Foughali , Félix Ingrand , Cristina Seceleanu 26th International Symposium on Model Checking of Software (SPIN 2019)
Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners (May 2019) Predrag Filipovikj, Cristina Seceleanu 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)
Bounded Invariance Checking of Simulink Models (Apr 2019) Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
Power-aware Allocation of Fault-tolerant Multi-rate AUTOSAR Applications (Dec 2018) Nesredin Mahmud, Guillermo Rodriguez-Navas, Hamid Reza Faragardi, Saad Mubeen, Cristina Seceleanu 25th Asia-Pacific Software Engineering Conference (APSEC'18)
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)
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic (Aug 2017) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz Software Engineering and Formal Methods (SEFM)
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)
Increasing Embedded Systems’ Quality through Automated Specification and Analysis of Requirements and Behavioral Models (Jan 2017) -- Best Paper Award-- Predrag Filipovikj 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017)
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)
Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain (Jun 2016) Predrag Filipovikj, Trevor Jagerfield , Mattias Nyberg , Guillermo Rodriguez-Navas, Cristina Seceleanu The 10th IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'16)
Formal methods in collaborative projects (Apr 2016) Anna Zamansky , Guillermo Rodriguez-Navas, Mark Adams , Maria Spichkova Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
Cyber-physical Systems: Interoperability and Distributed Intelligence (Sep 2015) Cristina Seceleanu 39th IEEE Annual Computer Software and Applications Conference (COMPSAC 2015)
Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing (Aug 2015) Guillermo Rodriguez-Navas, Avenir Kobetski , Daniel Sundmark, Thomas Gustafsson 12th IEEE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS 2015)
Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL (Jul 2015) Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
ReSA: An Ontology-based Requirement Specification Language Tailored to Automotive Systems (Jun 2015) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz 10th IEEE International Symposium on Industrial Embedded Systems (SIES'15)
Reassessing the Pattern-Based Approach for Formalizing Requirements in the Automotive Domain (Aug 2014) Predrag Filipovikj, Mattias Nyberg , Guillermo Rodriguez-Navas 22nd IEEE International Requirements Engineering Conference (RE'14)
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (Jun 2014) Guillermo Rodriguez-Navas, Cristina Seceleanu, Hans Hansson, Mattias Nyberg , Oscar Ljungkrantz , Henrik Lönn 51st Annual Design Automation Conference on Design Automation Conference (DAC)
Optimized Allocation of Fault-tolerant Embedded Software with End-to-end Timing Constraints (May 2019) Nesredin Mahmud, Cristina Seceleanu, Hamid Reza Faragardi, Guillermo Rodriguez-Navas, Saad Mubeen
Bounded Verification of Simulink Models (Dec 2018) Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu
Semantic Analysis of Embedded System Requirements Specifications (May 2017) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
Analyzing Industrial Simulink Models by Statistical Model Checking (Mar 2017) Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)