Michaela Huhn

Cited by

	All	Since 2018
Citations	956	125
h-index	18	7
i10-index	35	2

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220234 6 14 14 24 27 25 19 14 40 43 48 40 40 52 59 54 58 57 48 54 33 38 33 30 15 22 14 11

Public access

View all

1 article

available

not available

Based on funding mandates

Co-authors

Heike WehrheimUniversity of OldenburgVerified email at uni-oldenburg.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
Peter FritzsonProfessor of Computer Science, Linköping UniversityVerified email at liu.se
Niels PinkwartHumboldt-Universität zu Berlin & DFKIVerified email at informatik.hu-berlin.de
Lukas MärtinPh.D. Student TU Braunschweig, GermanyVerified email at tu-braunschweig.de
Mark LawfordMcMaster UniversityVerified email at mcmaster.ca
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
Darren CoferRockwell CollinsVerified email at ieee.org
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu
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 Sciences, 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 «UML»’99—The Unified Modeling Language: Beyond the Standard Second …, 1999	78	1999
Modellqualität als indikator für softwarequalität: eine taxonomie F Fieber, M Huhn, B Rumpe Informatik-Spektrum 31, 408-424, 2008	75	2008
Vooduu: Verification of object-oriented designs using uppaal K Diethers, M Huhn International Conference on Tools and Algorithms for the Construction and …, 2004	38	2004
Model based system development in automotive M Mutz, M Huhn, U Goltz, C Kroemke SAE Technical Paper, 2003	32	2003
An algebraic semantics for message sequence chart documents T Gehrke, M Huhn, A Rensink, H Wehrheim International Conference on Protocol Specification, Testing and Verification …, 1998	30	1998
Action refinement and property inheritance in systems of sequential agents M Huhn CONCUR'96: Concurrency Theory, 639-654, 1996	30*	1996
Model checking UML statecharts with time K Diethers, U Goltz, M Huhn UML 2002, Workshop on Critical Systems Development with UML, 2002	29	2002
Arguing for software quality in an IEC 62304 compliant development process M Huhn, A Zechner International Symposium On Leveraging Applications of Formal Methods …, 2010	27	2010
Verification based on local states M Huhn, P Niebert, F Wallner Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 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	25*	2011
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
Tool support for a scheduling analysis view M Hagner, M Huhn MARTE workshop at DATE 8, 41-46, 2008	22	2008
8 UML for Software Safety and Certification: Model-Based Development of Safety-Critical Software-Intensive Systems M Huhn, H Hungar Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007	22	2007
Embedded systems architecture: Evaluation and analysis B Florentz, M Huhn International Conference on the Quality of Software Architectures, 145-162, 2006	22	2006
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	21	2001
A Generic FMU Interface for Modelica. W Chen, M Huhn, P Fritzson EOOLT, 19-24, 2011	19	2011
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	19	2011
Analysing dependability case arguments using quality models M Huhn, A Zechner Computer Safety, Reliability, and Security: 28th International Conference …, 2009	18	2009
Formal safety analysis in industrial practice I Daskaya, M Huhn, S Milius Formal Methods for Industrial Critical Systems: 16th International Workshop …, 2011	17	2011
Technische Randbedingungen jeder Kryptoregulierung M Huhn, A Pfitzmann Müller, G., Pfitzmann, A, 1996	17	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

Follow

Cited by

Co-authors