Michaela Huhn

Citado por

	Todos	Desde 2018
Citações	952	123
Índice h	18	7
Índice i10	34	2

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

Acesso público

Ver tudo

1 artigo

disponível

não disponível

Com base em autorizações de financiamento

Coautores

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

Seguir

Michaela Huhn

Ostfalia, University of Applied Sciences, Computer Science Faculty

Email confirmado em ostfalia.de - Página inicial

Formal Methods Model Driven Software Engineering Verification


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	77	1999
Modellqualität als indikator für softwarequalität: eine taxonomie F Fieber, M Huhn, B Rumpe Informatik-Spektrum 31, 408-424, 2008	74	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
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
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	29	1998
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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores