Tiziana Margaria

Cited by

	All	Since 2016
Citations	5416	1481
h-index	40	19
i10-index	145	47

620

310

155

465

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202118 42 89 61 35 25 40 78 87 65 118 181 228 238 361 270 305 396 405 615 202 387 217 295 358 212 7

Co-authors

Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Anna-Lena LamprechtUtrecht University, Department of Information and Computing SciencesVerified email at uu.nl
Sven JörgesUniversity of Applied Sciences and Arts, DortmundVerified email at tu-dortmund.de
Stefan NaujokatResearcher, TU DortmundVerified email at tu-dortmund.de
Mike HincheyLero-the Irish Software Engineering Research CentreVerified email at lero.ie
Johannes NeubauerPostdoctoral researcher in computer science, TU DortmundVerified email at cs.tu-dortmund.de
Maik MertenTeacher, Federal University of Applied Administrative SciencesVerified email at tu-dortmund.de
Falk HowarTU DortmundVerified email at tu-dortmund.de
Frederik GossenTU Dortmund University, University of LimerickVerified email at tu-dortmund.de
Malte IsbernerStackRox Inc.Verified email at stackrox.com
Christian WagnerUniversity of PotsdamVerified email at cs.uni-potsdam.de
Paolo PRINETTOProfessor of Computer Engineering, Politecnico di Torino, Torino (Italy)Verified email at polito.it
Ina SchaeferTU Braunschweig, GermanyVerified email at tu-braunschweig.de
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Christopher RouffJohns Hopkins University Applied Physics LaboratoryVerified email at jhuapl.edu
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
Giorgio Di NataleCNRS - TIMAVerified email at univ-grenoble-alpes.fr
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Alexander SczyrbaBielefeld University, Faculty of Technology, Center for Biotechnology (CeBiTec)Verified email at cebitec.uni-bielefeld.de
Wylliams Barbosa SantosProfessor Adjunto, Universidade de PernambucoVerified email at upe.br

Tiziana Margaria

University of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for Smart

Verified email at lero.ie

Service Engineering of process-intensive systems model driven generative development formal methods compliance and governance


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model-driven development with the jABC B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak Haifa verification conference, 92-108, 2006	223	2006
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	126	2009
Agile IT: thinking in user-centric models T Margaria, B Steffen International Symposium On Leveraging Applications of Formal Methods …, 2008	117	2008
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	114	2009
Service engineering: Linking business and it T Margaria, B Steffen Computer 39 (10), 45-55, 2006	112	2006
Business process modeling in the jABC: the one-thing approach T Margaria, B Steffen Handbook of research on business process modeling, 1-26, 2009	109	2009
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	97	1997
Service-orientation: conquering complexity with XMDD T Margaria, B Steffen Conquering Complexity, 217-236, 2012	90	2012
Next generation learnlib M Merten, B Steffen, F Howar, T Margaria International Conference on Tools and Algorithms for the Construction and …, 2011	88	2011
Service-oriented design: the roots T Margaria, B Steffen, M Reitenspieß International Conference on Service-Oriented Computing, 450-464, 2005	87	2005
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	86	2004
Simplicity as a driver for agile innovation T Margaria, B Steffen Computer 43 (6), 90-92, 2010	84	2010
jETI: A tool for remote tool integration T Margaria, R Nagel, B Steffen International Conference on Tools and Algorithms for the Construction and …, 2005	80	2005
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	78	2004
Hierarchical service definition B Steffen, T Margaria, V Braun, N Kalt Annual Review of Communication 51, 847-856, 1997	77	1997
METAFrame in Practice: Design of Intelligent Network Services B Steffen, T Margaria Correct System Design, 390-415, 1999	74	1999
Continuous model-driven engineering T Margaria, B Steffen Computer 42 (10), 106-109, 2009	73	2009
The fixpoint-analysis machine B Steffen, A Claßen, M Klein, J Knoop, T Margaria International Conference on Concurrency Theory, 72-87, 1995	73	1995
Bio-jETI: a framework for semantics-based service composition AL Lamprecht, T Margaria, B Steffen BMC bioinformatics 10 (S10), S8, 2009	72	2009
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	70	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors