Michaela Huhn

Cited by

	All	Since 2016
Citations	900	150
h-index	17	7
i10-index	33	3

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020219 15 13 21 27 24 20 14 40 42 45 38 39 52 70 49 56 54 49 54 36 38 32 27 13 4

Co-authors

Heike WehrheimPaderborn UniversityVerified email at upb.de
Jörg P. MüllerFull Professor, Department of Informatics, TU ClausthalVerified email at tu-clausthal.de
Arend RensinkProfessor in Computer Science, University of TwenteVerified email at utwente.nl
Matthias HagnerIPS, TU BraunschweigVerified email at ips.cs.tu-bs.de
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Niels PinkwartProfessor of Computer Science, Humboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Peter FritzsonProfessor of Computer Science, Linköping UniversityVerified email at liu.se
Mark LawfordMcMaster UniversityVerified email at mcmaster.ca
Lukas MärtinPh.D. Student TU Braunschweig, GermanyVerified email at tu-braunschweig.de
Darren CoferRockwell CollinsVerified email at ieee.org
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu
Thomas KropfEVP Robert Bosch GmbH, Stuttgart, and Professor of Computer Science, University of TuebingenVerified email at uni-tuebingen.de
Jochen MaaßProfessor für Automatisierungstechnik, HAW HamburgVerified email at haw-hamburg.de
Annika RaatzLeibniz Universität Hannover, Institute of Assembly Technology, Full Prof. Mech. Eng.Verified email at match.uni-hannover.de
Henning BasoldLIACS - Leiden UniversityVerified email at liacs.leidenuniv.nl
Maksims FiosinsResearcher in (Big) Data Analyse and Bioinformatics, German Center for Neurodegenerative DiseasesVerified email at dzne.de
Carsten RudolphMonash University, Melbourne, AustraliaVerified email at monash.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenVerified email at fortiss.org

Michaela Huhn

Ostfalia, University of Applied Science, Computer Science Faculty

Verified email at ostfalia.de - Homepage

Formal Methods Model Driven Software Engineering Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Timed sequence diagrams and tool-based analysis—a case study T Firley, M Huhn, K Diethers, T Gehrke, U Goltz International Conference on the Unified Modeling Language, 645-660, 1999	78	1999
Modellqualität als indikator für softwarequalität: eine taxonomie F Fieber, M Huhn, B Rumpe Informatik-Spektrum 31 (5), 408-424, 2008	63	2008
Vooduu: Verification of object-oriented designs using uppaal K Diethers, M Huhn International Conference on Tools and Algorithms for the Construction and …, 2004	37	2004
Model based system development in automotive M Mutz, M Huhn, U Goltz, C Krömke SAE Technical Paper, 2003	31	2003
Model checking UML statecharts with time K Diethers, U Goltz, M Huhn UML 2002, Workshop on Critical Systems Development with UML, 2002	30	2002
Action refinement and property inheritance in systems of sequential agents M Huhn CONCUR'96: Concurrency Theory, 639-654, 1996	30*	1996
An algebraic semantics for message sequence chart documents T Gehrke, M Huhn, A Rensink, H Wehrheim Formal Description Techniques and Protocol Specification, Testing and …, 1998	26	1998
Generation of Optimized Testsuites for UML Statecharts with Time M Huhn, T Mucke IFIP Lecture Notes in Computer Science (LNCS) 2978, 128-143, 2011	24*	2011
Verification based on local states M Huhn, P Niebert, F Wallner International Conference on Tools and Algorithms for the Construction and …, 1998	24	1998
Autonomous agents in organized localities regulated by institutions M Huhn, JP Müller, J Görmer, G Homoceanu, NT Le, L Märtin, C Mumme, ... 5th IEEE International Conference on Digital Ecosystems and Technologies …, 2011	22	2011
Local first search—a new paradigm for partial order reductions P Niebert, M Huhn, S Zennou, D Lugiez International Conference on Concurrency Theory, 396-410, 2001	22	2001
Arguing for software quality in an IEC 62304 compliant development process M Huhn, A Zechner International Symposium On Leveraging Applications of Formal Methods …, 2010	21	2010
Tool support for a scheduling analysis view M Hagner, M Huhn MARTE workshop at DATE 8, 41-46, 2008	21	2008
Embedded systems architecture: Evaluation and analysis B Florentz, M Huhn International Conference on the Quality of Software Architectures, 145-162, 2006	21	2006
8 uml for software safety and certification M Huhn, H Hungar Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007	20	2007
Analysing dependability case arguments using quality models M Huhn, A Zechner International Conference on Computer Safety, Reliability, and Security, 118-131, 2009	19	2009
Innovative design method of product service system by using case study and TRIZ method JL Chen, HC Li CIRP IPS2 Conference 2010, 299-305, 2010	18	2010
Jrep: Extending repast simphony for jade agent behavior components J Gormer, G Homoceanu, C Mumme, M Huhn, JP Muller 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and …, 2011	17	2011
A generic FMU interface for Modelica W Chen, M Huhn, P Fritzson Proceedings of the 4th International Workshop on Equation-Based Object …, 2011	16	2011
Technische Randbedingungen jeder Kryptoregulierung M Huhn, A Pfitzmann Müller, G., Pfitzmann, A, 1996	16	1996

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