| The digital thread in industry 4.0 T Margaria, A Schieweck Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019 | 53 | 2019 |
| The interoperability challenge: building a model-driven digital thread platform for CPS T Margaria, HAA Chaudhary, I Guevara, S Ryan, A Schieweck Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021 | 19 | 2021 |
| ALEX: mixed-mode learning of web applications at ease A Bainczyk, A Schieweck, M Isberner, T Margaria, J Neubauer, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 19 | 2016 |
| Model-based testing without models: the TodoMVC case study A Bainczyk, A Schieweck, B Steffen, F Howar ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of …, 2017 | 13 | 2017 |
| Historical civil registration record transcription using an extreme model driven approach R Khan, A Schieweck, C Breathnach, T Margaria Труды Института системного программирования РАН 33 (3), 123-142, 2021 | 8 | 2021 |
| Towards engineering digital twins by active behaviour mining T Margaria, A Schieweck Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2021 | 6 | 2021 |
| Evolution of the historian data entry application: supporting transcribathons in the digital humanities through MDD A Schieweck, R Murphy, R Khan, C Breathnach, T Margaria 2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022 | 2 | 2022 |
| PG 594–Big Data M Asmi, A Bainczyk, M Bunse, D Gaidel, M May, C Pfeiffer, A Schieweck, ... TU Dortmund, Tech. Rep. 5, 10 2016, supervised by Katharina Morik, Christian …, 2016 | 1 | 2016 |
| CensusIRL: Historical census data preparation with MDD support AJ Doherty, RA Murphy, A Schieweck, S Clancy, C Breathnach, ... 2022 IEEE International Conference on Big Data (Big Data), 2507-2514, 2022 | | 2022 |
| Active Behavior Mining for Digital Twins Extraction T Margaria, A Schieweck IT Professional 24 (4), 74-80, 2022 | | 2022 |
| Testing Interconnected Systems with Behavior Mining A Schieweck, T Margaria Electronic Communications of the EASST 79, 2021 | | 2021 |
| Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода R Khan, A Schieweck, C Breathnach, T Margaria Труды Института системного программирования РАН, 124, 2021 | | 2021 |
| Interactive Workshop on the Industrial Application of Verification and Testing ETAPS 2020 Workshop (InterAVT 2020) M Basile, G Dini, D Varano Electronic Communications of the EASST 79, 2020 | | 2020 |
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartZweryfikowany adres z ul.ie
