Tiziana Margaria

Cited by

	All	Since 2017
Citations	6216	1709
h-index	43	20
i10-index	156	52

640

320

160

480

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202219 42 99 65 34 26 33 78 91 61 148 184 223 242 386 243 310 436 402 628 217 403 248 336 359 256 412 92

Public access

View all

29 articles

25 articles

available

not available

Based on funding mandates

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
Maik MertenTeacher, Federal University of Applied Administrative SciencesVerified email at tu-dortmund.de
Johannes NeubauerPostdoctoral researcher in computer science, TU DortmundVerified email at cs.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
Alexander SchieweckPhD Student, University of LimerickVerified email at lero.ie
Ibrahim Tariq JavedLERO, The Irish software research center, University of LimerickVerified email at lero.ie
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Andreas ClassenPhd, Software Engineer, Inteclux Software EngineeringVerified email at intecsoft.com
Christopher RouffJohns Hopkins University Applied Physics LaboratoryVerified email at jhuapl.edu
Thomas MagedanzTechnische Universität Berlin / Fraunhofer FOKUSVerified email at fokus.fraunhofer.de
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu

Tiziana Margaria

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

Verified email at ul.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	250	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-407, 2009	136	2009
Agile IT: thinking in user-centric models T Margaria, B Steffen International Symposium On Leveraging Applications of Formal Methods …, 2008	133	2008
Business process modeling in the jABC: the one-thing approach T Margaria, B Steffen Handbook of research on business process modeling, 1-26, 2009	127	2009
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	123	2009
Service engineering: Linking business and IT T Margaria, B Steffen Computer 39 (10), 45-55, 2006	121	2006
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	110	1997
Service-orientation: conquering complexity with XMDD T Margaria, B Steffen Conquering complexity, 217-236, 2012	102	2012
Simplicity as a driver for agile innovation T Margaria, B Steffen Computer 43 (6), 90-92, 2010	97	2010
Service-oriented design: the roots T Margaria, B Steffen, M Reitenspieß International Conference on Service-Oriented Computing, 450-464, 2005	97	2005
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	94	2004
Next generation learnlib M Merten, B Steffen, F Howar, T Margaria International Conference on Tools and Algorithms for the Construction and …, 2011	89	2011
jETI: A tool for remote tool integration T Margaria, R Nagel, B Steffen International Conference on Tools and Algorithms for the Construction and …, 2005	89	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	82	2004
Bio-jETI: a framework for semantics-based service composition AL Lamprecht, T Margaria, B Steffen BMC bioinformatics 10 (10), 1-19, 2009	81	2009
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	81	2008
Hierarchical service definition B Steffen, T Margaria, V Braun, N Kalt Annual Review of Communication 51, 847-856, 1997	81	1997
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	80	2005
Continuous model-driven engineering T Margaria, B Steffen Computer 42 (10), 106-109, 2009	79	2009
METAFrame in Practice: Design of Intelligent Network Services B Steffen, T Margaria Correct System Design, 390-415, 1999	75	1999

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

Follow this author

Cited by

Co-authors