Michaela Huhn

Hivatkozott rá

	Összes	2016 óta
Hivatkozások	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

Társszerzők

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

Michaela Huhn

Ostfalia, University of Applied Science, Computer Science Faculty

E-mail megerősítve itt: ostfalia.de - Kezdőlap

Formal Methods Model Driven Software Engineering Verification


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
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

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

PDF feltöltése

A szerző követése

Hivatkozott rá

Társszerzők