PUBLICATIONS

This list shows an extraction of the publications performed by the CRYSTAL consortium. Please note that this list is not exhaustive:

Analysing Sanity of Requirements for Avionics Systems by Jirí Barnat, Petr Bauch, Nikola Beneš, Luboš Brim, Jan Beran, Tomáš Kratochvíla http://dx.doi.org/10.1007/s00165-015-0348-9
Detecting performance bad smells for Henshin model transformations by Matthias Tichy, Christian Krause, Grischa Liebel AMT

Towards Model-Driven V&V assessment of railway control systems by Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria VIttorini STTT

Statistical Model Checking for Stochastic Hybrid Systems including Nondeterminism over continuous domains by Christian Ellen, Sebastian Gerwinn, Martin Fränzle STTT
Requirements Authoring: towards the concept of standard requirement by José M. Fuentes, Anabel Fraga, Juan Llorens, Luis Alonso, Gonzalo Génova CSDM2014
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study by Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy GTVMT2014
Semantic Support for Log Analysis of Safety-Critical Embedded Systems by Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque, Massimo Ficco BIG4CIP
Supporting Development of Certified Aeronautical Components by applying Text Analysis Techniques by Massimo Ficco, Beniamino Di Martino, G. Zazzaro, G. Gigante, E. Zaccariello SWIMS/CISIS
A semantic support for Testing Activities of Safety-Critical Embedded Systems by Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque CISIS 2014
Budget allocations for hierarchical fixed-priority scheduling of sporadic tasks with deferred preemptions upon EDP resources by M.M.H.P. van den Heuvel, R.J. Bril, J.J. Lukkien CRTS

Detecting consistencies and inconsistencies of pattern-based functional requirements by Christian Ellen, Sven Sieverding, Hardi Hungar FMICS 2014

Exploiting Bayesian Networks for the analysis of combined Attack Trees by Marco Gribaudo, Mauro Iacono, Stefano Marrone PASM
A Semantic Driven Approach for Requirements Verification by Gabriella Gigante, Francesco Gargiulo, and Massimo Ficco IDC'2014
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain by Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson MODELS14
Gaining Industrial Confidence for the Introduction of Domain-Specific Languages by Arjan J. Mooij, Jozef Hooman, Rob Albers COMPSAC
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment by Arjan J. Mooij, Jozef Hooman, Rob Albers FHIES 2013
MTBF Inconsistency Analysis on Inferred Product Breakdown Structures by Christian Ellen, Martin Böschen, Thomas Peikenkamp DECSoS 2014
Towards an interoperable framework for mixed real-time simulations of industrial embedded systems by Amir Soltani Nezhad, Luis F.B. Ferreira, Martijn M.H.P. van den Heuvel, Richard Verhoeven, Johan J. Lukkien, Rudolf H. Mak, Eric Korff de Gidts ETFA
Critical Systems Engineering Accelerator: Aerospace Demonstrator by Ricardo Moreno, Gonzalo Fernández, Raúl Regada, Luis Basanta, Elena Alaña, María del Carmen Lomba DASIA

Test Specification Patterns for Automatic Generation of Test Sequences by Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone FMICS 2014

An Interoperable Testing Environment for ERTMS/ETCS control systems by Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini DECSoS 2014
Debugging with Timed Automata Mutations by Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber CSRS
Report on the Railway Use-case of the Crystal project: Objectives and Progress by Alexandre Ginisty, Frédérique Vallée, Elie Soubiran, Vidal-delmas Tchapet-Nya SAFEComp
Ontology-Assisted Systems Engineering Process with Focus in the Requirements Engineering Process by Anabel Fraga, Juan Llorens, Jose M. Fuentes, Luis Alonso CDSM 2014
Product Line Engineering Applied to Model-based Systems Engineering: An Industrial Case Study by Robert Wöhler, Ralf Bogusch SWORDS 2014
Preliminary design and validation of a modular software framework for predictable composition of medical imaging applications by Martijn M.H.P. van den Heuvel, Sorin C. Cracana, Hrishikesh L. Salunkhe, Johan J. Lukkien, Alok Lele Dominique Segers OSPERT
Towards Automatic Quality Evaluation of Natural- Language Requirements by Ralf Bogusch |TdSE 2014|ISBN 978-3-446-44357-0

Towards seamless integration of functional safety and model-based systems engineering by Inga Binder|TdSE 2014|ISNB 978-3-446-44357-0
Innovative new tool developed by TVS to help Infineon achieve ISO26262 Compliance by Serrie-justine Chapman, Darren Galpin TVS Website
Ontologies in domain specific languages - A systematic literature review by Ana-Maria Sutii, Tom Verhoeff, M.M.G.J. van den Brand https://pure.tue.nl/ws/files/3889700/353021132621361.pdf
Synergien in der modellbasierten Antriebsstrang- und Testsystem-Entwicklung by Mag. Mag. J.S. Weber, Bakk., Dipl.-Ing. J. Fritz, BSc, Dipl.-Ing. (FH) A. Denger, Dr.-Ing. M. Maletz, Dr.-Ing. C. Zingel, Dipl.-Ing. D. Denger SIMVEC
Research on interoperability within development processes of Embedded Systems on the example of AUTOSAR by Ferdinand Schäfer Master Thesis
Towards an effective interoperability of models within the 'System Engineering' applied to aeronautics by Eugenio Brusa, Ambra Calà, Sergio Chiesa, Francesco De Vita, Davide Ferretto CIISE 2014

Modular composition of imaging applications on commercial-off-the-shelf programmable hardware platforms by Sorin C. Cracana, Martijn M.H.P. van den Heuvel, Johan J. Lukkien, Dominique Segers http://www.win.tue.nl

First Results of Automatic Fault-Injection in an AUTOSAR Tool-chain by Guilherme Baumgarten, Markus Oertel, Achim Rettberg, Marcelo Götz INDIN 2014
Variant Management as a Cross-Sectional Approach for a Continuous Systems Engineering Environment by Christian Reuter GSVF 2015
Combining Xtext and OSLC for integrated model-based requirements engineering by Nadja Marko, Andrea Leitner, Beate Herbst, Alfred Wallner SEAA 2015
Evaluation of a systematic approach in variation management for safety-critical systems development by Michael Käßmeyer, David Santiago Velasco Moncada EUC 2015
Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata by Bernhard K. Aichernig, Florian Lorber AMOST
Systems Engineering Requirements: A guided example of an applied Knowledge System by Anabel Fraga, Juan Llorens SKY2014

Incremental Model-based Mutation Testing (research summary for doctoral symposium) by Stefan Tiran ICST 2015
MoMuT::UMLModel-based Mutation Testing for UML by Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran ICST 2015

Scalable incremental test-case generation from large behavior models by Bernhard K. Aichernig, Dejan Nickovic, and Stefan Tiran|TAP
Require, Test and Trace IT by Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran 10.1007 ISBN 2F978-3-319-19458-5_8

Dynamic State Machines for Formalizing Railway Control System Specifications by Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi FTSCS 2014
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories by Petr Bauch, Vojtech Havel, Jirí Barnat ISBN 10.1007/s11219-014-9259-x

SPEM 2.0 as Process Baseline Meta-Model for the Development and Optimization of Complex Embedded Systems by Guilherme Baumgarten, Maike Rosinger, Anna Todino, Rubén de Juan Marín ISSE 2015
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project by Stefano Marrone, Roberto Nardone, Antonio Maria Rinaldi, Valeria Vittorini ISBN: 978-989-758-154-0

Budget allocations for hierarchical fixed-priority scheduling of sporadic tasks with deferred preemptions upon EDP resources - Updated version by M.M.H.P. van den Heuvel, R.J. Bril, J.J. Lukkien TU Eindhoven

Uniting Academic Achievements on Performance Analysis with Industrial Needs by Bart Theelen, Jozef Hooman QEST / FORMATS 2015
MetaMod: a modeling formalism with modularity at its core by Ana-Maria Sutii ASE 2015
Bounded Determinization of Timed Automata with Silent Transitions by Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig FORMATS 2015
Beyond Information Silos Challenges in Integrating Industrial Model-based Data by Ali Shahrokni, Jan Söderberg BigMDE 2015
Comparing Comprehensibility of Modelling Languages for Specifying Behavioural Requirements by Grischa Liebel, Matthias Tichy HuFaMo
Smart Engineering for Smart Factories: How OSLC Could Enable Plug & Play Tool Integration by Christian Kaiser, Beate Herbst MuC 2015
Modeling Railway Control Systems in Promela by Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca FTSCS 15

Reuse of Physical System Models by means of Semantic Knowledge Representation: A Case Study applied to Modelica by Elena Gallego, Jose María Alvarez-Rodríguez, Juan Llorens11th International Modelica Conference
Heterogeneous simulation based on standards: deepening interoperability in trade-off analysis approach for aeronautical application by Andreas Mitschke, Eugenio Brusa, Ambra Calà, Davide Ferretto, Claudio Pessa, Gray Bachelor AIDAA 2015
Tracing of Informal and Formal Requirements through Model Variables by Martin Böschen, Christian Rudat ISBN: 978-989-758-162-5
Modular Multilevel Metamodeling with MetaMod by Ana Maria Sutii, Tom Verhoeff, Mark van den Brand Theory and practise of formal methods
Architecture Variability and Multi-criteria Optimization by Jianfeng Zhao, Prof. Johan Lukkien, Bart Theelen, Martijn Opheij, Nicolas Dintzner http://alexandria.tue.nl/extra1/afstversl/wsk-i/Zhao_2015.pdf
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice by Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson ISBN 10.1007/s10270-016-0523-3
Bridging the Gap between Natural Language Requirements and Formal Specifcations by Martin Böschen, Ralf Bogusch, Anabel Fraga, Christian Rudat REFSQ 2016
A Systems of Systems perspective on the Internet of Things by Johan Lukkien ACM
Using Formal Methods for Verification and Validation in Railway by Klaus Reichl, Tomas Fischer, Peter Tummeltshammer TAP 2016
Extending EMF for Modularity by Stef van Schuylenburg Publication TU/e
Supporting the Linked Data Approach to Maintain Coherence across Rich EMF Models by Jad El-Khoury, Cecilia Ekelin, Christian Ekholm ECMFA 2016
A Lean Systems Engineering Environment for the Development of Safety-critical Avionic Systems by M. R. Bogusch, S. Ehrich, R. Scherer, T. Sorg, R. Wöhler ERTS 2016
Lessons learned from tool integration with OSLC by Andrea Leitner, Beate Herbst, Roland Mathijssen ICIST
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis by Jaroslav Bendík, Nikola Beneš, Jirí Barnat, Ivana Cerná SEFM
A tool for verifying Dynamic State Machines by Matilde Vassallo
A Model-driven Approach for the Automatic Generation of System-Level Test Cases by Ugo Gentile
Seamless tool integration in an automotive use case - An experience report by Andrea Leitner, Christian El Salloum EMC2
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems by Florian Lorber PhD Symposium ICST
On-the-Fly Determinization of Bounded Networks of Timed Automata by Bernhard K. Aichernig, Florian Lorber TASE 2016
It’s about Time! Model-Based Mutation Testing for Synchronous and Asynchronous Timed Systems by Florian Lorber PhD Thesis