Seguir
Tiziana Margaria
Tiziana Margaria
University of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for Smart
Dirección de correo verificada de ul.ie
Título
Citado por
Citado por
Año
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
2702007
Business process modeling in the jABC: the one-thing approach
T Margaria, B Steffen
Handbook of research on business process modeling, 1-26, 2009
1492009
Dynamic testing via automata learning
H Raffelt, M Merten, B Steffen, T Margaria
International journal on software tools for technology transfer 11, 307-324, 2009
1422009
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
1382009
Agile IT: thinking in user-centric models
T Margaria, B Steffen
International Symposium On Leveraging Applications of Formal Methods …, 2008
1382008
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
1221997
Service engineering: Linking business and IT
T Margaria, B Steffen
Computer 39 (10), 45-55, 2006
1202006
Simplicity as a driver for agile innovation
T Margaria, B Steffen
Computer 43 (6), 90-92, 2010
1102010
Service-orientation: conquering complexity with XMDD
T Margaria, B Steffen
Conquering complexity, 217-236, 2012
1092012
Service-oriented design: the roots
T Margaria, B Steffen, M Reitenspieß
Service-Oriented Computing-ICSOC 2005: Third International Conference …, 2005
1042005
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
1002004
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
952005
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
942011
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
922004
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
882008
Continuous model-driven engineering
T Margaria, B Steffen
Computer 42 (10), 106-109, 2009
852009
Bio-jETI: a framework for semantics-based service composition
AL Lamprecht, T Margaria, B Steffen
BMC bioinformatics 10, 1-19, 2009
852009
Hierarchical service definition
B Steffen, T Margaria, V Braun, N Kalt
Annual Review of Communication 51, 847-856, 1997
851997
METAFrame in Practice: Design of Intelligent Network Services
B Steffen, T Margaria
Correct System Design: Recent Insights and Advances, 390-415, 2000
802000
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
792005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20