Obserwuj
Tiziana Margaria
Tiziana Margaria
University of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for Smart
Zweryfikowany adres z ul.ie
Tytuł
Cytowane przez
Cytowane przez
Rok
Model-driven development with the jABC
B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak
Hardware and Software, Verification and Testing: Second International Haifa …, 2007
2832007
Business process modeling in the jABC: the one-thing approach
T Margaria, B Steffen
Handbook of research on business process modeling, 1-26, 2009
1572009
LearnLib: a framework for extrapolating behavioral models
H Raffelt, B Steffen, T Berg, T Margaria
International journal on software tools for technology transfer 11, 393-407, 2009
1502009
Agile IT: thinking in user-centric models
T Margaria, B Steffen
International Symposium On Leveraging Applications of Formal Methods …, 2008
1492008
Dynamic testing via automata learning
H Raffelt, M Merten, B Steffen, T Margaria
International journal on software tools for technology transfer 11 (4), 307-324, 2009
1442009
The Electronic Tool Integration platform: concepts and design
B Steffen, T Margaria, V Braun
International Journal on Software Tools for Technology Transfer (STTT) 1 (1 …, 1997
1341997
Service engineering: Linking business and IT
T Margaria, B Steffen
Computer 39 (10), 45-55, 2006
1232006
Service-orientation: conquering complexity with XMDD
T Margaria, B Steffen
Conquering complexity, 217-236, 2012
1212012
Simplicity as a driver for agile innovation
T Margaria, B Steffen
Computer 43 (6), 90-92, 2010
1162010
Service-oriented design: the roots
T Margaria, B Steffen, M Reitenspieß
Service-Oriented Computing-ICSOC 2005: Third International Conference …, 2005
1112005
jETI: A tool for remote tool integration
T Margaria, R Nagel, B Steffen
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
1082005
Lightweight coarse-grained coordination: a scalable system-level approach
T Margaria, B Steffen
International Journal on Software Tools for Technology Transfer 5 (2), 107-123, 2004
1032004
The digital thread in industry 4.0
T Margaria, A Schieweck
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
1022019
Efficient test-based model generation for legacy reactive systems
T Margaria, O Niese, H Raffelt, B Steffen
Proceedings. Ninth IEEE International High-Level Design Validation and Test …, 2004
1012004
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
982011
Health-ID: A blockchain-based decentralized identity management for remote healthcare
IT Javed, F Alharbi, B Bellaj, T Margaria, N Crespi, KN Qureshi
Healthcare 9 (6), 712, 2021
972021
Continuous model-driven engineering
T Margaria, B Steffen
Computer 42 (10), 106-109, 2009
942009
Hierarchical service definition
B Steffen, T Margaria, V Braun, N Kalt
Annual Review of Communication 51, 847-856, 1997
911997
Bio-jETI: a framework for semantics-based service composition
AL Lamprecht, T Margaria, B Steffen
BMC bioinformatics 10, 1-19, 2009
902009
Software engineering and formal methods
M Hinchey, M Jackson, P Cousot, B Cook, JP Bowen, T Margaria
Communications of the ACM 51 (9), 54-59, 2008
892008
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20