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
222008
Embedded systems architecture: Evaluation and analysis
B Florentz, M Huhn
International Conference on the Quality of Software Architectures, 145-162, 2006
222006
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
Technische Randbedingungen jeder Kryptoregulierung
M Huhn, A Pfitzmann
Müller, G., Pfitzmann, A, 1996
161996
Modelling and simulation of an automotive system using lscs
C Knieke, M Huhn, U Goltz
Proc. CSDUML, 0-0, 2005
152005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20