• Mathematisch fundierte Methoden für den Entwurf und die Analyse von Software-intensiven Systemen
• Dependability, insb. Funktionale Sicherheit
• Zertifizierung für sicherheitskritische Software: Normen und Sicherheitsnachweise
• Model-Checking Algorithmen zur Validierung und Verifikation, Testen und Diagnose
• Modellierungsnotation und formale Semantik
• Modellbasiertes Design und Analyse von Cyberphysical Systems
• Modellierung und Simulation von physikalischen Systemen: Modelica
• Anwendungen im Bahn und Automotive Bereich, Robotik und medizintechnische Geräte, Energie,…

(siehe auch DBLP)

Erdös-Zahl 4:  z.B. Erdös-Shelah-Pnueli-Niebert-Huhn

 

[HH+11] Gianina Homoceanu and Michaela Huhn
Tool Support for Agent-Based Systems in Ptolemy,
International Workshop on Security and Dependability for Resource Constrained Embedded Systems, 2011.

[KHG11] D. Klar, M. Huhn, and J. Grühser.
Symptom propagation and transformation analysis: A pragmatic model for system-level diagnosis of large automation systems.
In 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2011.

[CHF11] W. Chen, M. Huhn, and P. Fritzson.
A generic FMU interface for Modelica.
In 4rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), 2011.

[DHM11] I. Daskaya, M. Huhn, and S. Milius.
Formal safety analysis in industrial practice.
In Salaün and Schätz, editors, 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), LNCS 6959, 2011

[GH+11] J Görmer, G. Homoceanu, C. Mumme, M. Huhn, and J. P. Müller
JRep: Extending Repast Simphony for JADE agent behavior components.
In IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011.

[HM+11] Michaela Huhn, Jörg P. Müller, Jana Görmer, Gianina Homoceanu, N.-T. Le, Lukas Märtin, Christopher Mumme, Christian Schulz, Niels Pinkwart, and C. Müller-Schloer
Autonomous agents in organized localities regulated by institutions.
In 5th IEEE International Conference on Digital Ecosystems and Technologies (IEEE DEST), pages 54-61, 2011.

[HSC+11] M. Huhn, M. Sjölund, W. Chen, C. Schulze, and P. Fritzson.
Tool support for Modelica real-time models.
In 8th International Modelica Conference. Modelica Association, 2011.

[SGHG11] C. Schulze, M. Gräber, M. Huhn, and U. Grätz
Real time simuation of vapour compression cycles.
In 8th International Modelica Conference. Modelica Association, 2011.

[SHS10] C. Schulze, M. Huhn, and M. Schüler
Profiling of Modelica Real-time Models.
In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), pages 23-32, 2010.

[HZ10] M. Huhn and A. Zechner
Arguing for Software Quality in an IEC 62304 Compliant Development Process.
In 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), LNCS 6416, p. 296-311, 2010.

[SHS10] C. Schulze, M. Huhn, and M. Schüler.
Proling of modelica realtime models.
In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), pages 23-32, 2010.

[HH10] M. Huhn and H. Hungar
UML for software safety and certication. Model-based development of safety-critical software-intensive systems.
In Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz, editors, Modelbased Engineering of Real-time Embedded Systems, volume 6100 of LNCS, pages 203-240. Springer. 2010.

[HS10] M. Huhn and D. Scharff
Some observations on SCADE model clones.
In Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES VI) , 2010.

[HZ09a] A. Zechner and M. Huhn
Analysing dependability case arguments using quality models.
In 28th Internnational Conference on Computer Safety, Reliability and Security (SAFECOMP), 2009.

[ZH09] A. Zechner and M. Huhn
Structural Analysis of Safety Case Arguments in a Model-based Development Environment.
Tagungsband Modellbasierte Enwicklung eingebetteter Systeme V (MBEES 09), 2009

[KHL08] C. Knieke, M. Huhn, and M. Lochau
Modeling and validation ofexecutable requirements using Live Activity Diagrams.
In Sixth International Conference on Software Engineering, Research, Management and Applications (SERA 08) ,pages 51-58. IEEE Computer Society, August 2008.

[MSA+08] J. Maass, J. Steiner, A. Amado, M. Huhn, A. Raatz, and J.Hesselbach.
Self-management in a control architecture for parallel kinematic robots.
In Proceedings of the ASME 2008 International Design Engineering Technical Conferences, Computers and Information in Engineering Conference IDETC/CIE 2008 ,Brooklyn, New York, USA, August 2008.

[KHL08] C. Knieke, M. Huhn, and M. Lochau
Executable requirements specication: Formal semantics of Live Activity Diagrams.
In 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), p. 109-112. IEEE Computer Society, June 2008

[FHR08] F. Fieber, M. Huhn, and B. Rumpe.
Modellqualität als Indikator für Softwarequalität: eine Taxonomie.
Informatik-Spektrum, 31(5):408-424, October 2008