FormaliSE '16- Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering

Full Citation in the ACM Digital Library

Deductive evaluation: formal code analysis with low user burden

Undertaking the tokeneer challenge in event-b

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior

Download malware? no, thanks: how formal methods can block update attacks

Validating formal specifications using testing-based specification animation

Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report

Toward rigorous design of domain-specific distributed systems