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