Michaela Huhn
Michaela Huhn
Ostfalia, University of Applied Science, Computer Science Faculty
Verified email at ostfalia.de - Homepage
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
International Conference on the Unified Modeling Language, 645-660, 1999
731999
Modellqualität als indikator für softwarequalität: eine taxonomie
F Fieber, M Huhn, B Rumpe
Informatik-Spektrum 31 (5), 408-424, 2008
622008
Vooduu: Verification of object-oriented designs using uppaal
K Diethers, M Huhn
International Conference on Tools and Algorithms for the Construction and …, 2004
352004
Action refinement and property inheritance in systems of sequential agents
M Huhn
CONCUR'96: Concurrency Theory, 639-654, 1996
31*1996
Model checking UML statecharts with time
K Diethers, U Goltz, M Huhn
UML 2002, Workshop on Critical Systems Development with UML, 2002
292002
Model based system development in automotive
M Mutz, M Huhn, U Goltz, C Krömke
SAE Technical Paper, 2003
282003
Verification based on local states
M Huhn, P Niebert, F Wallner
International Conference on Tools and Algorithms for the Construction and …, 1998
251998
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
241998
Generation of Optimized Testsuites for UML Statecharts with Time
M Huhn, T Mucke
IFIP Lecture Notes in Computer Science (LNCS) 2978, 128-143, 2011
23*2011
Tool support for a scheduling analysis view
M Hagner, M Huhn
MARTE workshop at DATE 8, 41-46, 2008
212008
Embedded systems architecture: Evaluation and analysis
B Florentz, M Huhn
International Conference on the Quality of Software Architectures, 145-162, 2006
212006
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
212001
Arguing for software quality in an IEC 62304 compliant development process
M Huhn, A Zechner
International Symposium On Leveraging Applications of Formal Methods …, 2010
202010
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
192011
8 uml for software safety and certification
M Huhn, H Hungar
Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007
192007
Analysing dependability case arguments using quality models
M Huhn, A Zechner
International Conference on Computer Safety, Reliability, and Security, 118-131, 2009
182009
Technische Randbedingungen jeder Kryptoregulierung
M Huhn, A Pfitzmann
Müller, G., Pfitzmann, A, 1996
171996
Innovative design method of product service system by using case study and TRIZ method
JL Chen, HC Li
Proceedings of the 2nd CIRP IPS2 Conference 2010; 14-15 April; Linköping …, 2012
162012
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
162011
A generic FMU interface for Modelica
W Chen, M Huhn, P Fritzson
Proceedings of the 4th International Workshop on Equation-Based Object …, 2011
152011
The system can't perform the operation now. Try again later.
Articles 1–20