Hanno Wupper

According to our database, Hanno Wupper authored at least 7 papers between 1985 and 2008.

Collaborative distances:

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

2008

Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods.

Jelena Marincic, Angelika Mader, Hanno Wupper, Roel J. Wieringa

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

2001

Design of a PLC Control Program for a Batch Plant VHS Case Study.

Angelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer

Eur. J. Control, 2001

2000

Design as the Discovery of a Mathematical Theorem What designers Should Know about the Art of Mathematics.

Hanno Wupper

Trans. SDPS, 2000

1999

Timed automaton models for simple programmable logic controllers.

Angelika Mader, Hanno Wupper

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1997

A taxonomy for computer science.

Hanno Wupper, Hans Meijer

Proceedings of the Informatics in Higher Education, 1997

1988

A Specification Language for Reliable Real-time Systems.

Hanno Wupper, Jan Vytopil

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1985

Zur Spezifikation und Struktur grösserer Systeme - Untersuchungen am Beispiel von ALGOL 68 und GKS.

Hanno Wupper

PhD thesis, 1985