Max Fuchs

According to our database, Max Fuchs authored at least 8 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

"What's wrong with this product?": Detection of product safety issues based on information consumers share online.

Max Fuchs, Amit Jadhav, Advaith Jaishankar, Caroline Cauffman, Gerasimos Spanakis

Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

2014

BMW-ROOM An Object-Oriented Method for ASCET.

Max Fuchs, Dieter Nazareth, Dirk Daniel, Bernhard Rumpe

CoRR, 2014

1998

An Exercise in Conditional Refinement.

Ketil Stølen, Max Fuchs

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

1997

Using HYTECH to Verify an Automative Control System.

Thomas Stauner, Olaf Müller, Max Fuchs

Proceedings of the Hybrid and Real-Time Systems, 1997

1995

Focus.

Max Fuchs, Jan Philipps

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

1994

Technologieabhängigkeit von Spezifikationen digitaler Hardware.

Max Fuchs

PhD thesis, 1994

1993

Development of a distributed min max component

Max Fuchs, Ketil Stølen

Forschungsberichte, TU Munich, 1993

1992

Functional modeling of clocked hardware circuits

Max Fuchs

Forschungsberichte, TU Munich, 1992