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 Llorens
11th 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