Tiziana Margaria
Tiziana Margaria
University of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for Smart
Bestätigte E-Mail-Adresse bei lero.ie
TitelZitiert vonJahr
Model-driven development with the jABC
B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak
Haifa verification conference, 92-108, 2006
2242006
LearnLib: a framework for extrapolating behavioral models
H Raffelt, B Steffen, T Berg, T Margaria
International journal on software tools for technology transfer 11 (5), 393, 2009
1212009
Agile IT: thinking in user-centric models
T Margaria, B Steffen
International Symposium On Leveraging Applications of Formal Methods …, 2008
1112008
Service engineering: Linking business and it
T Margaria, B Steffen
Computer 39 (10), 45-55, 2006
1062006
Business process modeling in the jABC: the one-thing approach
T Margaria, B Steffen
Handbook of research on business process modeling, 1-26, 2009
1052009
Dynamic testing via automata learning
H Raffelt, M Merten, B Steffen, T Margaria
International journal on software tools for technology transfer 11 (4), 307, 2009
1042009
The Electronic Tool Integration platform: concepts and design
B Steffen, T Margaria, V Braun
International Journal on Software Tools for Technology Transfer 1 (1-2), 9-30, 1997
931997
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
International Conference on Tools and Algorithms for the Construction and …, 2011
842011
Lightweight coarse-grained coordination: a scalable system-level approach
T Margaria, B Steffen
International Journal on Software Tools for Technology Transfer 5 (2-3), 107-123, 2004
832004
Service-orientation: conquering complexity with XMDD
T Margaria, B Steffen
Conquering Complexity, 217-236, 2012
822012
Simplicity as a driver for agile innovation
T Margaria, B Steffen
Computer 43 (6), 90-92, 2010
802010
Service-oriented design: the roots
T Margaria, B Steffen, M Reitenspieß
International Conference on Service-Oriented Computing, 450-464, 2005
792005
Hierarchical service definition
B Steffen, T Margaria, V Braun, N Kalt
Annual Review of Communication 51, 847-856, 1997
751997
jETI: A tool for remote tool integration
T Margaria, R Nagel, B Steffen
International Conference on Tools and Algorithms for the Construction and …, 2005
732005
Continuous model-driven engineering
T Margaria, B Steffen
Computer 42 (10), 106-109, 2009
712009
METAFrame in Practice: Design of Intelligent Network Services
B Steffen, T Margaria
Correct System Design, 390-415, 1999
701999
Remote integration and coordination of verification tools in jETI
T Margaria, R Nagel, B Steffen
12th IEEE International Conference and Workshops on the Engineering of …, 2005
692005
The fixpoint-analysis machine
B Steffen, A Claßen, M Klein, J Knoop, T Margaria
International Conference on Concurrency Theory, 72-87, 1995
691995
Bio-jETI: a framework for semantics-based service composition
AL Lamprecht, T Margaria, B Steffen
BMC bioinformatics 10 (10), S8, 2009
682009
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
662004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20