Michaela Huhn
Michaela Huhn
Ostfalia, University of Applied Science, Computer Science Faculty
Bestätigte E-Mail-Adresse bei ostfalia.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
811999
Modellqualität als indikator für softwarequalität: eine taxonomie
F Fieber, M Huhn, B Rumpe
Informatik-Spektrum 31 (5), 408-424, 2008
642008
Vooduu: Verification of object-oriented designs using uppaal
K Diethers, M Huhn
International Conference on Tools and Algorithms for the Construction and …, 2004
372004
Model based system development in automotive
M Mutz, M Huhn, U Goltz, C Kroemke
SAE Technical Paper, 2003
322003
Model checking UML statecharts with time
K Diethers, U Goltz, M Huhn
UML 2002, Workshop on Critical Systems Development with UML, 2002
302002
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
251998
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
241998
Arguing for software quality in an IEC 62304 compliant development process
M Huhn, A Zechner
International Symposium On Leveraging Applications of Formal Methods …, 2010
232010
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
222011
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
8 uml for software safety and certification
M Huhn, H Hungar
Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007
202007
A generic FMU interface for Modelica
W Chen, M Huhn, P Fritzson
Proceedings of the 4th International Workshop on Equation-Based Object …, 2011
192011
Analysing dependability case arguments using quality models
M Huhn, A Zechner
International Conference on Computer Safety, Reliability, and Security, 118-131, 2009
192009
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
182011
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
182010
Technische Randbedingungen jeder Kryptoregulierung
M Huhn, A Pfitzmann
Müller, G., Pfitzmann, A, 1996
161996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20