Type: Date:

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

Items per page: