Ken Madlener

According to our database, Ken Madlener authored at least 6 papers between 2010 and 2015.

Collaborative distances:

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

2015

Formalizing Bialgebraic Semantics in PVS 6.0.

Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen

Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2015

2013

GSOS Formalized in Coq.

Ken Madlener, Sjaak Smetsers

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Modular Bialgebraic Semantics and Algebraic Laws.

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

2011

Formal Component-Based Semantics

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

2010

Reasoning about Assignments in Recursive Data Structures.

Alejandro Tamalet, Ken Madlener

Proceedings of the Formal Methods: Foundations and Applications, 2010

A Formal Verification Study on the Rotterdam Storm Surge Barrier.

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods and Software Engineering, 2010