Ken Madlener

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 1

Top Topics

Modular Structure

Default Reasoning

Formal Semantics

Top Venues

Publications

Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen
Formalizing Bialgebraic Semantics in PVS 6.0. WPTE@RTA/TLCA (2015)
Ken Madlener, Sjaak Smetsers
GSOS Formalized in Coq. TASE (2013)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
Modular Bialgebraic Semantics and Algebraic Laws. SBLP (2013)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
Formal Component-Based Semantics SOS (2011)
Alejandro Tamalet, Ken Madlener
Reasoning about Assignments in Recursive Data Structures. SBMF (2010)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
A Formal Verification Study on the Rotterdam Storm Surge Barrier. ICFEM (2010)