Johannes Eriksson

According to our database, Johannes Eriksson authored at least 8 papers between 2005 and 2020.

Collaborative distances:

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

2020

A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams.

Johannes Eriksson, Masoumeh Parsa

Proceedings of the Practical Aspects of Declarative Languages, 2020

2018

A Precise Pictorial Language for Array Invariants.

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2015

Verification and code generation for invariant diagrams in Isabelle.

Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson

J. Log. Algebraic Methods Program., 2015

2014

Proofs and Refutations in Invariant-Based Programming.

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2011

An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support

Ralph-Johan Back, Johannes Eriksson

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

2010

Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.

Johannes Eriksson, Ralph-Johan Back

Proceedings of the Formal Methods and Software Engineering, 2010

2007

Testing and Verifying Invariant Based Programs in the SOCOS Environment.

Ralph-Johan Back, Johannes Eriksson, Magnus Myreen

Proceedings of the Tests and Proofs - 1st International Conference, 2007

2005

Using Stepwise Feature Introduction in Practice: An Experience Report.

Ralph-Johan Back, Johannes Eriksson, Luka Milovanov

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005