Michaela Huhn

Citée par

	Toutes	Depuis 2018
Citations	956	125
indice h	18	7
indice i10	35	2

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

Accès public

Tout afficher

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Heike WehrheimUniversity of OldenburgAdresse e-mail validée de uni-oldenburg.de
Jörg P. MüllerFull Professor, Department of Informatics, TU ClausthalAdresse e-mail validée de tu-clausthal.de
Arend RensinkProfessor in Computer Science, University of TwenteAdresse e-mail validée de utwente.nl
Matthias HagnerIPS, TU BraunschweigAdresse e-mail validée de ips.cs.tu-bs.de
Stefan MiliusFAU Erlangen-NürnbergAdresse e-mail validée de stefan-milius.eu
Bernhard RumpeRWTH Aachen UniversityAdresse e-mail validée de se.rwth-aachen.de
Peter FritzsonProfessor of Computer Science, Linköping UniversityAdresse e-mail validée de liu.se
Niels PinkwartHumboldt-Universität zu Berlin & DFKIAdresse e-mail validée de informatik.hu-berlin.de
Lukas MärtinPh.D. Student TU Braunschweig, GermanyAdresse e-mail validée de tu-braunschweig.de
Mark LawfordMcMaster UniversityAdresse e-mail validée de mcmaster.ca
Thomas KropfEVP Robert Bosch GmbH, Stuttgart, and Professor of Computer Science, University of TuebingenAdresse e-mail validée de uni-tuebingen.de
Jochen MaaßProfessor für Automatisierungstechnik, HAW HamburgAdresse e-mail validée de haw-hamburg.de
Annika RaatzLeibniz Universität Hannover, Institute of Assembly Technology, Full Prof. Mech. Eng.Adresse e-mail validée de match.uni-hannover.de
Darren CoferRockwell CollinsAdresse e-mail validée de ieee.org
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityAdresse e-mail validée de ksu.edu
Henning BasoldLIACS - Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl
Maksims FiosinsResearcher in (Big) Data Analyse and Bioinformatics, German Center for Neurodegenerative DiseasesAdresse e-mail validée de dzne.de
Carsten RudolphMonash University, Melbourne, AustraliaAdresse e-mail validée de monash.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityAdresse e-mail validée de cs.biu.ac.il
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenAdresse e-mail validée de fortiss.org

Suivre

Michaela Huhn

Ostfalia, University of Applied Sciences, Computer Science Faculty

Adresse e-mail validée de ostfalia.de - Page d'accueil

Formal Methods Model Driven Software Engineering Verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs