Johannes Eriksson

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 3

Top Topics

English Language

Reasoning Process

Top Venues

J. Log. Algebraic Methods Program.

Publications

Johannes Eriksson, Masoumeh Parsa
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. PADL (2020)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
A Precise Pictorial Language for Array Invariants. IFM (2018)
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
Verification and code generation for invariant diagrams in Isabelle. J. Log. Algebraic Methods Program. 84 (1) (2015)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Proofs and Refutations in Invariant-Based Programming. IFM (2014)
Ralph-Johan Back, Johannes Eriksson
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support ThEdu (2011)
Johannes Eriksson, Ralph-Johan Back
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. ICFEM (2010)
Ralph-Johan Back, Johannes Eriksson, Magnus Myreen
Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP (2007)
Ralph-Johan Back, Johannes Eriksson, Luka Milovanov
Using Stepwise Feature Introduction in Practice: An Experience Report. RISE (2005)