Michaela Huhn

Navedeno

	Vse	Od leta 2020
Navedbe	963	79
indeks h	19	5
indeks i10	34	0

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 6 16 16 24 26 25 19 14 44 41 45 40 41 50 61 53 56 55 48 49 34 37 28 31 16 18 12 11 17 5

Javni dostop

Prikaži vse

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Heike WehrheimUniversity of OldenburgPreverjeni e-poštni naslov na uni-oldenburg.de
Arend RensinkProfessor in Computer Science, University of TwentePreverjeni e-poštni naslov na utwente.nl
Jörg P. MüllerFull Professor, Department of Informatics, TU ClausthalPreverjeni e-poštni naslov na tu-clausthal.de
Matthias HagnerIPS, TU BraunschweigPreverjeni e-poštni naslov na ips.cs.tu-bs.de
Stefan MiliusFAU Erlangen-NürnbergPreverjeni e-poštni naslov na stefan-milius.eu
Bernhard RumpeRWTH Aachen UniversityPreverjeni e-poštni naslov na se.rwth-aachen.de
Peter FritzsonProfessor of Computer Science, Linköping UniversityPreverjeni e-poštni naslov na liu.se
Mark LawfordMcMaster UniversityPreverjeni e-poštni naslov na mcmaster.ca
Niels PinkwartHumboldt-Universität zu Berlin & DFKIPreverjeni e-poštni naslov na informatik.hu-berlin.de
Lukas MärtinPh.D. Student TU Braunschweig, GermanyPreverjeni e-poštni naslov na tu-braunschweig.de
Thomas KropfEVP Robert Bosch GmbH, Stuttgart, and Professor of Computer Science, University of TuebingenPreverjeni e-poštni naslov na uni-tuebingen.de
Jochen MaaßProfessor für Automatisierungstechnik, HAW HamburgPreverjeni e-poštni naslov na haw-hamburg.de
Annika RaatzLeibniz Universität Hannover, Institute of Assembly Technology, Full Prof. Mech. Eng.Preverjeni e-poštni naslov na match.uni-hannover.de
Darren CoferRockwell CollinsPreverjeni e-poštni naslov na ieee.org
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StatePreverjeni e-poštni naslov na ksu.edu
Henning BasoldLIACS - Leiden UniversityPreverjeni e-poštni naslov na liacs.leidenuniv.nl
Maksims FiosinsResearcher in (Big) Data Analyse and Bioinformatics, German Center for Neurodegenerative DiseasesPreverjeni e-poštni naslov na dzne.de
Carsten RudolphMonash University, Melbourne, AustraliaPreverjeni e-poštni naslov na monash.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityPreverjeni e-poštni naslov na cs.biu.ac.il
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenPreverjeni e-poštni naslov na fortiss.org

Spremljaj

Michaela Huhn

Ostfalia, University of Applied Sciences, Computer Science Faculty

Preverjeni e-poštni naslov na ostfalia.de - Domača stran

Formal Methods Model Driven Software Engineering Verification


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Modellqualität als indikator für softwarequalität: eine taxonomie F Fieber, M Huhn, B Rumpe Informatik-Spektrum 31, 408-424, 2008	77	2008
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
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 Krömke 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	32*	1996
Model checking UML statecharts with time K Diethers, U Goltz, M Huhn UML 2002, Workshop on Critical Systems Development with UML, 2002	30	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	28	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	26	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
A Generic FMU Interface for Modelica. W Chen, M Huhn, P Fritzson EOOLT, 19-24, 2011	23	2011
Embedded systems architecture: Evaluation and analysis B Florentz, M Huhn International Conference on the Quality of Software Architectures, 145-162, 2006	23	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	22	2001
Tool support for a scheduling analysis view M Hagner, M Huhn MARTE workshop at DATE 8, 41-46, 2008	21	2008
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	20	2011
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	20	2007
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	19	2011
Analysing dependability case arguments using quality models M Huhn, A Zechner Computer Safety, Reliability, and Security: 28th International Conference …, 2009	19	2009
Technische Randbedingungen jeder Kryptoregulierung M Huhn, A Pfitzmann Müller, G., Pfitzmann, A, 1996	19	1996
Formal safety analysis in industrial practice I Daskaya, M Huhn, S Milius Formal Methods for Industrial Critical Systems: 16th International Workshop …, 2011	18	2011

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji