This user has not added any information to their profile yet.
I am full professor and Chair of Software Systems at the University of Limerick, Head of Department of Computer Science and Information Systems (CSIS), Principal Investigator in Lero (the Irish Software Research Centre), with projects on advanced modeling techniques, model driven design for high assurance systems and security by construction; Principal Investigator in Confirm
PhD (1993) Politecnico di Torino, Italy, PhD in Computer and Systems Engineering
1989 Politecnico di Torino, Italy (Laurea in Ingegneria Elettronica) grade: 110/110
15 Guest Editorships for Special Issues of journals, Chair of 30+ conferences and conf. tracks, over 200 Program Committees of international conferences
Co-founder and Managing Editor of the Int. Journal on Software Tools for Technology Transfer (STTT, Springer, 1997 - present) (h-index 23, IF=1.6; JCR Field rating 41 – Scopus Q1)
Creator and General Chair of ISoLA, the series of International Symposia on Leveraging Applications of Formal Methods, Verification and Validation (biennial, since 2004)
Founding editor of the Journal Innovations in Systems and Software Engineering: A NASA journal (Springer, 2005 – present), (IF=0.645)
Founding editor of the Int. Journal of Critical Computer-Based Systems (IJCCBS, 2008)
Founding editor of the Journal of Internet Services and Applications (JISA, Springer, 2010)
Editor of the Journal of the Brazilian Computer Society, (IF=0.917)
Editor of the newly created Transactions on Foundations of Mastering Change (Springer Verlag)
Board Member EF-ICST, Europ. Forum on Information and Computation Science and Techn.
Vice-president EASST, European Association on Software Science and Technology (and past President, 2003-2009)
Chair of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems
Steering Committee member of ETAPS, the European joint Conferences on Theory and Practice of Software (since 2002).
Past Presidential Board Member of the Gesellschaft für Informatik (the German CS professional association).
Vice-Chair of the SIG on Technology and Processes of Care in Emergency Care of EUSEM, the European Society for Emergency Medicine
Fellow of Society of Design and Process Science (SDPS).
Fellow of the Irish Computer Society
Supervisory Board LIACS, Leiden Inst. of Advanced Computer Science (NL)
Member SAP PTLC (Platform Thought Leadership Council), E-SOA initiative
Member of IFIP WG 1.9/2.15 (Verified Software) and WG10.5 (Design and Engineering of Electronic Systems) – Membership by invitation
Member of Association for Computing Machinery (ACM), Institute of Electrical and Electronics Engineers (IEEE), Formal Methods Europe (FME), European Association for Programming Languages and Systems (EAPLS), European Association of Software Science and Technology (EASST), Gesellschaft für Informatik - the German Association for Computer Science (GI), Irish Computer Society (ICS).
Member Deutschen Gesellschaft Interdisziplinäre Notfall- und Akutmedizin (DGINA).
In Confirm, my main interessts are in advanced modeling techniques applied to production systems and their ecosystem, model driven design for high assurance systems and security by construction, in particular applied to Cyberphysical Systems and Model-driven Smart Manufacturing Environments. My specialties relevant to this context are knowledge management for model based software development, service oriented design and engineering, as well as active automata learning applied to model extraction from running systems. Their combination successfully targets the coherence and consistency of the design and development artefacts, from inception to the system’s maintenance. I am one of the ideators and authors of the LearnLib, the leading tool in this area, that led to the establishment of the RERS Challenge (International Challenge on the Rigorous Examination of Reactive Systems). Its application to NASA’s R2D2C approach led to a joint patent with NASA.
Patent 11/536,132 issued (with NASA, Number NASA GSC 15,148)
Patent US9141708 B2, issued Oct. 2015 on Efficient real-time Personalization techniques
METAFrame Technologies GmbH (CEO since 1997), specialises in design and development of information technology solutions for mastering large and complex applications, with a particular focus on the Internet and Computer-Telephony Integration (CTI) applications. Clients include European Patent Office, Siemens and Springer Verlag.
miAamics GmbH (CEO 2001-2005), specialises in precise, efficient, and scalable personalization technology.
CeBIT 2003: Winner of the Future Market Award - Prize for Innovation and Technology
I have broad experience in the use of formal methods for high assurance systems, in particular concerning functional verification, reliability, and compliance of complex heterogeneous systems, through major industrial projects (where I won the European IT Award in 1996, and a start-up competition in 2001) and consulting, as well as through my activities as founder and CEO of startup companies, holding 2 USPTO patents, one of which with NASA.
Outside the remit of Confirm, I head various research projects on Scientific Workflow and model-driven HW/SW Cybersecurity in Lero.
In education, I am a founder of FM-SEET, the Formal Methods in SW Engineering Education and Training Workshop, I am involved in the OER initiative, and Co-chair of CELT 2017 and 2018 - the IEEE COMPSAC Symposium on Computing Education and Learning Technologies. I am currently on the Program Committee of SEET, the Software Engineering Education and Training track of ICSE 2018.
In the Research Committee of EuSEM (European Society for Emergency Medicine) I co-chair the Special Interest Group on Technology and Processes of Care in the Emergency Care (SIG-TPCEC).
I was involved in research projects funded by various Irish and international agencies, including:
DFG (German Res. Fund)
EU FP7 SA
EU FP6 STREP
INKA HTW Berlin
binaere bauten GmbH Berlin
Lero STC – 2015-2019, €46.5M with €2.5M directly allocated
Coordinator Grants for Marie Curie and FET Open, €33K
German Federal Ministry for Education and Research, €1.4M (IT platform for services in the personalized medicine)
Similar to SFI investigator grant (my group: ca. €180K)
ITSy Strategic Support Action in the EU FP7 FET – coordinator, €117K
SHADOWS, Self-Healing approach to Designing Complex Software Systems - €2.5M
Wireless Multi-User Brainstorming Systems (Industry funds) €29.500
Web-Browser-based User Interface based on a service-oriented architecture - Prototype (industry funds) €15000
1. B. Steffen, T Margaria, R. Nagel, S. Jörges, C. Kubczak (2007), Model-Driven Development with the jABC. Proc. HVC’07, Haifa Verification Conference, LNCS 4899, pp. 136-152, Springer Verlag [Citations: 201] 2. T Margaria*, B Steffen (2009) Agile IT: thinking in user-centric models. In ISoLA 2008, CCIS 17, Springer Verlag [Citations: 90] 3. T Margaria, B Steffen (2006) Service engineering: Linking business and IT, Computer 39 (10), 45-55, [Citations: 93] On Software Design and Development Methodology 4. T Margaria, B.Steffen (2012), Service-Orientation: Conquering Complexity with XMDD. In “Conquering Complexity”, Springer V., 217-236 [Citations: 51, 359 downloads] 5. T Margaria*, B. Steffen (2010) Simplicity as a Driver for Agile Innovation. Computer 43(6): 90-92, [Citations: 43] Relevant for Smart Advanced Manufacturing and Industry 4.0 6. S Jörges, C Kubczak, F Pageau, T Margaria* (2007), Model driven design of reliable robot control programs using the jABC, Proc IEEE Int. Worksh. on Engineering of Autonomic and Autonomous Systems, pp. 137-148 [Citations: 29] 7. B Steffen, T Margaria, A Claßen, V Braun (1997), Incremental formalization: a key to industrial success, Software, Concept and Tools, [Citations: 41] 8. T Margaria, H Raffelt, B Steffen (2005), Knowledge-based relevance filtering for efficient system-level test-based model generation, Innovations in Systems and Software Engineering 1 (2), 147-156, [Citations: 28] 9. S. Jörges, A.-L. Lamprecht, T Margaria, I. Schaefer, B. Steffen (2012) A constraint-based variability modeling framework. STTT 14(5): 511-530, [Citations: 23] [Top 4.2% cited papers in this journal since its publication in 2012] 10. AL Lamprecht, T Margaria* (2014) Scientific workflows and XMDD, in Process Design for Natural Scientists, CCIS 500, pp.1-13, Springer V. [Citations: 15; 217 downloads] 11. M. Bakera, T. Margaria*, C. Renner, B. Steffen: Game-Based Model Checking for Reliable Autonomy in Space. JACIC 8(4): 100-114 (2011) [Citations: 6] 12. T Margaria*, B. Steffen, C. Kubczak (2010) Evolution support in heterogeneous service-oriented landscapes. In J. Braz. Computer. Society. 16(1): 35-47, [Citations: 9] 13. T Margaria*, M Hinchey. Simplicity in IT: The power of less, (2013), Computer 46 (11), 23-25 [citations 8] 14. B Steffen, AL Lamprecht, T Margaria, User-level synthesis: Treating product lines as systems of constraints. (2015) ACM Int. Conf. Proceeding Series 20-24-NaN-2015, 427–431 15. T Margaria*, Knowledge management for inclusive system evolution. (2016) Transactions on Foundations of mastering Change vol 1 LNCS 9960, 7–21. 16. Varriale, A. et al. SEcubeTM: An open-source security platform in a single SoC. in DTIS’16, Proc. 11th IEEE Int. Conf. on Design and Technology of Integrated Systems in Nanoscale Era, (2016). doi:10.1109/DTIS.2016.7483810