Towards Engineering Digital Twins by Active Behaviour Mining

[1]  Tiziana Margaria,et al.  Service-Orientation: Conquering Complexity with XMDD , 2012, Conquering Complexity.

[2]  Bernhard Steffen,et al.  The Open-Source LearnLib - A Framework for Active Automata Learning , 2015, CAV.

[3]  Tiziana Margaria,et al.  A Constraint-Oriented Service Creation Environment , 1996, TACAS.

[4]  Bernhard Steffen,et al.  The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning , 2014, RV.

[5]  Tiziana Margaria,et al.  Service-Oriented Design: The Roots , 2005, ICSOC.

[6]  Tiziana Margaria,et al.  Tool-supported enhancement of diagnosis in model-driven verification , 2009, Innovations in Systems and Software Engineering.

[7]  Bengt Jonsson,et al.  Inferring Semantic Interfaces of Data Structures , 2012, ISoLA.

[8]  Bengt Jonsson,et al.  Combining Black-Box and White-Box Techniques for Learning Register Automata , 2019, Computing and Software Science.

[9]  Tiziana Margaria,et al.  Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service , 2005, WWV.

[10]  Tiziana Margaria,et al.  LearnLib: a framework for extrapolating behavioral models , 2009, International Journal on Software Tools for Technology Transfer.

[11]  Tiziana Margaria.  Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds , 2018, FMICS.

[12]  Bengt Jonsson,et al.  Active learning for extended finite state machines , 2016, Formal Aspects of Computing.

[13]  Tiziana Margaria,et al.  Dynamic Testing Via Automata Learning , 2007, Haifa Verification Conference.

[14]  Tiziana Margaria,et al.  Practical Aspects of Active Automata Learning , 2012 .

[15]  Bengt Jonsson,et al.  Inferring Canonical Register Automata , 2012, VMCAI.

[16]  Tiziana Margaria,et al.  Next Generation LearnLib , 2011, TACAS.

[17]  Bernhard Steffen,et al.  DIME: A Programming-Less Modeling Environment for Web Applications , 2016, ISoLA.

[18]  Bengt Jonsson,et al.  On the Correspondence Between Conformance Testing and Regular Inference , 2005, FASE.

[19]  Harald Raffelt,et al.  LearnLib: A Library for Automata Learning and Experimentation , 2006, FASE.

[20]  Tiziana Margaria.  Making Sense of Complex Applications: Constructive Design, Features, and Questions , 2018, Models, Mindsets, Meta.

[21]  Tiziana Margaria,et al.  Design for Verifiability: The OCS Case Study , 2012 .

[22]  Tiziana Margaria,et al.  Model-Driven Development with the jABC , 2006, Haifa Verification Conference.

[23]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[24]  Conor Ryan,et al.  Introduction to 20 Years of Grammatical Evolution , 2018, Handbook of Grammatical Evolution.

[25]  Tiziana Margaria,et al.  Knowledge-based relevance filtering for efficient system-level test-based model generation , 2005, Innovations in Systems and Software Engineering.

[26]  Alexandre Dolgui,et al.  A digital supply chain twin for managing the disruption risks and resilience in the era of Industry 4.0 , 2020, Production Planning & Control.

[27]  Benjamin Lindemann,et al.  An architecture of an Intelligent Digital Twin in a Cyber-Physical Production System , 2019, Autom..

[28]  Noel P. O’Dowd,et al.  Using finite element analysis to develop a digital twin of a manufacturing bending operation , 2020 .

[29]  Alexander Schieweck,et al.  The Digital Thread in Industry 4.0 , 2019, IFM.

[30]  Tiziana Margaria.  Knowledge Management for Inclusive System Evolution , 2016, LNCS Trans. Found. Mastering Chang..

[31]  T. Margaria,et al.  eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding , 2019, Encyclopedia of Education and Information Technologies.