Publications
Number of publications matching the search criterion: 21
Doctoral Thesis (1)
Preservation of Extra-Functional Properties in Embedded Systems Development (Feb 2015) Mehrdad Saadatmand
Licentiate Thesis (1)
Model-checking and Model-based Testing of Automotive Embedded Systems: Starting from the System Architecture (Dec 2014) Raluca Marinescu
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)
Journal article (3)
Model-Based Trade-off Analysis of Non-Functional Requirements: An Automated UML-Based Approach (Nov 2013) Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin International Journal of Advanced Computer Science (IJACSci)
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 Formal Analysis Framework for AADL (Nov 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson The Journal of Science and Technology
Conference/Workshop Paper (12)
A Fuzzy Decision Support Approach for Model-Based Tradeoff Analysis of Non-Functional Requirements (Apr 2015) Mehrdad Saadatmand, Sahar Tahvili 12th International Conference on Information Technology : New Generations (ITNG 2015)
Analyzing Industrial Architectural Models by Simulation and Model-Checking (Nov 2014) Raluca Marinescu, Henrik Kaijser , Marius Mikuèionis , Cristina Seceleanu, Henrik Lönn , Alexandre David Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)
Mapping of State Machines to Code: Potentials and Challenges (Oct 2014) Mehrdad Saadatmand, Antonio Cicchetti The Ninth International Conference on Software Engineering Advances (ICSEA2014)
OSLC Tool Integration and Systems Engineering - The Relationship Between The Two Worlds (Aug 2014) Mehrdad Saadatmand, Alessio Bucaioni The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)
A Model-Based Testing Framework for Automotive Embedded Systems (Aug 2014) Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Seceleanu, Paul Pettersson The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)
Runtime Verification of State Machines and Defect Localization Applying Model-Based Testing (Apr 2014) Mehrdad Saadatmand First Workshop on Software Architecture Erosion and Architectural Consistency (ACM) (Co-located with WICSA 2014) (SAEroCon 2014)
Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints (Dec 2013) Mehrdad Saadatmand, Mikael Sjödin The 20th Asia-Pacific Software Engineering Conference (APSEC2013)
On Combining Model-Based Analysis and Testing (Apr 2013) Mehrdad Saadatmand, Mikael Sjödin 10th International Conference on Information Technology : New Generations (ITNG 2013)
An Integrated Framework for Component-based Analysis of Architectural System Models (Nov 2012) Raluca Marinescu, Cristina Seceleanu, Paul Pettersson Proceedings of the 24th IFIP International Conference on Testing Software and Systems (ICTSS12) Doctoral Workshop
ViTAL : A Verification Tool for EAST-ADL Models using UPPAAL PORT (Jul 2012) Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems
Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool (Jul 2011) Paul Pettersson IEEE 35th Annual Computer Software and Applications Conference
Monitoring and Testing with Case Observer Automata: An Industry Report (Mar 2011) Anders Hessel 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
Report - MRTC (3)
EAST-ADL Tailored Testing: From System Models to Executable Test Cases (Sep 2013) Raluca Marinescu, Mehrdad Saadatmand, Cristina Seceleanu, Paul Pettersson, Alessio Bucaioni
Proceedings of the 23rd Nordic Workshop on Programming Theory (Oct 2011) Paul Pettersson, Cristina Seceleanu
Analyzing Industrial Architectural Models: Where Verification meets Statistical Model Checking Raluca Marinescu, Cristina Seceleanu, Henrik Lönn , Henrik Kaijser , Marius Mikuèionis , Alexandre David
