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
Model based system development in automotive
M Mutz, M Huhn, U Goltz, C Kroemke
SAE Technical Paper, 2003
Model checking UML statecharts with time
K Diethers, U Goltz, M Huhn
UML 2002, Workshop on Critical Systems Development with UML, 2002
Action refinement and property inheritance in systems of sequential agents
M Huhn
CONCUR'96: Concurrency Theory, 639-654, 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
Generation of Optimized Testsuites for UML Statecharts with Time
M Huhn, T Mucke
IFIP Lecture Notes in Computer Science (LNCS) 2978, 128-143, 2011
Verification based on local states
M Huhn, P Niebert, F Wallner
International Conference on Tools and Algorithms for the Construction and …, 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
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
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
8 uml for software safety and certification
M Huhn, H Hungar
Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007
A generic FMU interface for Modelica
W Chen, M Huhn, P Fritzson
Proceedings of the 4th International Workshop on Equation-Based Object …, 2011
Analysing dependability case arguments using quality models
M Huhn, A Zechner
International Conference on Computer Safety, Reliability, and Security, 118-131, 2009
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
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, Linkoping, 299-305, 2010
Technische Randbedingungen jeder Kryptoregulierung
M Huhn, A Pfitzmann
Müller, G., Pfitzmann, A, 1996
The system can't perform the operation now. Try again later.
Articles 1–20