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 Öffnet externen Link in neuem Fensterhttp://dx.doi.org/10.1007/s00165-015-0348-9

  • Detecting performance bad smells for Henshin model transformations by Matthias Tichy, Christian Krause, Grischa Liebel Öffnet externen Link in neuem FensterAMT
  • Towards Model-Driven V&V assessment of railway control systems by Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria VIttorini Öffnet externen Link in neuem FensterSTTT
  • Statistical Model Checking for Stochastic Hybrid Systems including Nondeterminism over continuous domains by Christian Ellen, Sebastian Gerwinn, Martin Fränzle Öffnet externen Link in neuem FensterSTTT

  • Requirements Authoring: towards the concept of standard requirement by José M. Fuentes, Anabel Fraga, Juan Llorens, Luis Alonso, Gonzalo Génova Öffnet externen Link in neuem FensterCSDM2014

  • 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 Öffnet externen Link in neuem FensterGTVMT2014

  • Semantic Support for Log Analysis of Safety-Critical Embedded Systems by Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque, Massimo Ficco Öffnet externen Link in neuem FensterBIG4CIP

  • Supporting Development of Certified Aeronautical Components by applying Text Analysis Techniques by Massimo Ficco, Beniamino Di Martino, G. Zazzaro, G. Gigante, E. Zaccariello Öffnet externen Link in neuem FensterSWIMS/CISIS

  • A semantic support for Testing Activities of Safety-Critical Embedded Systems by Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque Öffnet externen Link in neuem FensterCISIS 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 Öffnet externen Link in neuem FensterCRTS
  • Detecting consistencies and inconsistencies of pattern-based functional requirements by Christian Ellen, Sven Sieverding, Hardi Hungar Öffnet externen Link in neuem FensterFMICS 2014
  • Exploiting Bayesian Networks for the analysis of combined Attack Trees by Marco Gribaudo, Mauro Iacono, Stefano Marrone Öffnet externen Link in neuem FensterPASM

  • A Semantic Driven Approach for Requirements Verification by Gabriella Gigante, Francesco Gargiulo, and Massimo Ficco Öffnet externen Link in neuem FensterIDC'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 Öffnet externen Link in neuem FensterMODELS14

  • Gaining Industrial Confidence for the Introduction of Domain-Specific Languages by Arjan J. Mooij, Jozef Hooman, Rob Albers Öffnet externen Link in neuem FensterCOMPSAC

  • Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment by Arjan J. Mooij, Jozef Hooman, Rob Albers Öffnet externen Link in neuem FensterFHIES 2013

  • MTBF Inconsistency Analysis on Inferred Product Breakdown Structures by Christian Ellen, Martin Böschen, Thomas Peikenkamp Öffnet externen Link in neuem FensterDECSoS 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 Öffnet externen Link in neuem FensterETFA

  • 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 Öffnet externen Link in neuem FensterDASIA
  • Test Specification Patterns for Automatic Generation of Test Sequences by Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone Öffnet externen Link in neuem FensterFMICS 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 Öffnet externen Link in neuem FensterDECSoS 2014

  • Debugging with Timed Automata Mutations by Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber Öffnet externen Link in neuem FensterCSRS

  • 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 Öffnet externen Link in neuem FensterSAFEComp

  • Ontology-Assisted Systems Engineering Process with Focus in the Requirements Engineering Process by Anabel Fraga, Juan Llorens, Jose M. Fuentes, Luis Alonso Öffnet externen Link in neuem FensterCDSM 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 Öffnet externen Link in neuem FensterOSPERT

  • Towards Automatic Quality Evaluation of Natural- Language Requirements by Ralf Bogusch |TdSE 2014|Öffnet externen Link in neuem FensterISBN 978-3-446-44357-0
  • Towards seamless integration of functional safety and model-based systems engineering by Inga Binder|TdSE 2014|Öffnet externen Link in neuem FensterISNB 978-3-446-44357-0

  • Innovative new tool developed by TVS to help Infineon achieve ISO26262 Compliance by Serrie-justine Chapman, Darren Galpin Öffnet externen Link in neuem FensterTVS 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 Öffnet externen Link in neuem FensterSIMVEC

  • Research on interoperability within development processes of Embedded Systems on the example of AUTOSAR by Ferdinand Schäfer Öffnet externen Link in neuem FensterMaster 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 Öffnet externen Link in neuem FensterCIISE 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 Öffnet externen Link in neuem Fensterhttp://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 Öffnet externen Link in neuem FensterINDIN 2014

  • Variant Management as a Cross-Sectional Approach for a Continuous Systems Engineering Environment by Christian Reuter Öffnet externen Link in neuem FensterGSVF 2015

  • Combining Xtext and OSLC for integrated model-based requirements engineering by Nadja Marko, Andrea Leitner, Beate Herbst, Alfred Wallner Öffnet externen Link in neuem FensterSEAA 2015

  • Evaluation of a systematic approach in variation management for safety-critical systems development by Michael Käßmeyer, David Santiago Velasco Moncada Öffnet externen Link in neuem FensterEUC 2015

  • Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata by Bernhard K. Aichernig, Florian Lorber Öffnet externen Link in neuem FensterAMOST

  • Systems Engineering Requirements: A guided example of an applied Knowledge System by Anabel Fraga, Juan Llorens Öffnet externen Link in neuem FensterSKY2014
  • Incremental Model-based Mutation Testing (research summary for doctoral symposium) by Stefan Tiran Öffnet externen Link in neuem FensterICST 2015

  • MoMuT::UMLModel-based Mutation Testing for UML by Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran Öffnet externen Link in neuem FensterICST 2015
  • Scalable incremental test-case generation from large behavior models by Bernhard K. Aichernig, Dejan Nickovic, and Stefan Tiran|Öffnet externen Link in neuem FensterTAP

  • Require, Test and Trace IT by Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran 10.1007 Öffnet externen Link in neuem FensterISBN 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 Öffnet externen Link in neuem FensterFTSCS 2014

  • Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories by Petr Bauch, Vojtech Havel, Jirí Barnat Öffnet externen Link in neuem FensterISBN 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 Öffnet externen Link in neuem FensterISSE 2015

  • Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project by Stefano Marrone, Roberto Nardone, Antonio Maria Rinaldi, Valeria Vittorini Öffnet externen Link in neuem FensterISBN: 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 Öffnet externen Link in neuem FensterTU Eindhoven
  • Uniting Academic Achievements on Performance Analysis with Industrial Needs by Bart Theelen, Jozef Hooman Öffnet externen Link in neuem FensterQEST / FORMATS 2015

  • MetaMod: a modeling formalism with modularity at its core by Ana-Maria Sutii Öffnet externen Link in neuem FensterASE 2015

  • Bounded Determinization of Timed Automata with Silent Transitions by Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig Öffnet externen Link in neuem FensterFORMATS 2015

  • Beyond Information Silos Challenges in Integrating Industrial Model-based Data by Ali Shahrokni, Jan Söderberg Öffnet externen Link in neuem FensterBigMDE 2015

  • Comparing Comprehensibility of Modelling Languages for Specifying Behavioural Requirements by Grischa Liebel, Matthias Tichy Öffnet externen Link in neuem FensterHuFaMo

  • Smart Engineering for Smart Factories: How OSLC Could Enable Plug & Play Tool Integration by Christian Kaiser, Beate Herbst Öffnet externen Link in neuem FensterMuC 2015

  • Modeling Railway Control Systems in Promela by Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca Öffnet externen Link in neuem FensterFTSCS 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Öffnet externen Link in neuem Fenster11th 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 Öffnet externen Link in neuem FensterAIDAA 2015

  • Tracing of Informal and Formal Requirements through Model Variables by Martin Böschen, Christian Rudat Öffnet externen Link in neuem FensterISBN: 978-989-758-162-5

  • Modular Multilevel Metamodeling with MetaMod by Ana Maria Sutii, Tom Verhoeff, Mark van den Brand Öffnet externen Link in neuem FensterTheory 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 Öffnet externen Link in neuem FensterISBN 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 Öffnet externen Link in neuem FensterREFSQ 2016

  • A Systems of Systems perspective on the Internet of Things by Johan Lukkien Öffnet externen Link in neuem FensterACM

  • Using Formal Methods for Verification and Validation in Railway by Klaus Reichl, Tomas Fischer, Peter Tummeltshammer Öffnet externen Link in neuem FensterTAP 2016

  • Extending EMF for Modularity by Stef van Schuylenburg Öffnet externen Link in neuem FensterPublication TU/e

  • Supporting the Linked Data Approach to Maintain Coherence across Rich EMF Models by Jad El-Khoury, Cecilia Ekelin, Christian Ekholm Öffnet externen Link in neuem FensterECMFA 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 Öffnet externen Link in neuem FensterERTS 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á Öffnet externen Link in neuem FensterSEFM

  • 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 Öffnet externen Link in neuem FensterEMC2

  • Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems by Florian Lorber Öffnet externen Link in neuem FensterPhD Symposium ICST

  • On-the-Fly Determinization of Bounded Networks of Timed Automata by Bernhard K. Aichernig, Florian Lorber Öffnet externen Link in neuem FensterTASE 2016

  • It’s about Time! Model-Based Mutation Testing for Synchronous and Asynchronous Timed Systems by Florian Lorber Öffnet externen Link in neuem FensterPhD Thesis