Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
7
The Logic of Software. A Tasting Menu of Formal Methods
LNCS 13360, Springer 2022.
Wolfgang Ahrendt
,
Bernhard Beckert
,
Richard Bubel
,
Einar Broch Johnsen
,
(Eds)
DOI
Proc. 25th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2022)
LNCS 13241, Springer 2022.
Einar Broch Johnsen
,
Manuel Wimmer
,
(Eds)
Cite
DOI
Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)
Springer LNCS 10886
Einar Broch Johnsen
,
Ina Schaefer
,
(Eds)
Cite
DOI
Proc. 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC 2017)
Springer LNCS 10465
Flavio De Paoli
,
Stefan Schulte
,
Einar Broch Johnsen
,
(Eds)
Cite
DOI
Proc. 11th International Conference on Tests and Proofs (TAP 2017)
Springer LNCS 10375
Sebastian Gabmeyer
,
Einar Broch Johnsen
,
(Eds)
Cite
DOI
Proc. 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing (ESOCC 2016)
Marco Aiello
,
Einar Broch Johnsen
,
Schahram Dustdar
,
Ilche Georgievski
,
(Eds)
Cite
DOI
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Springer LNCS 9660
Erika Ábrahám
,
Marcello M. Bonsangue
,
Einar Broch Johnsen
,
(Eds)
Cite
DOI
Advanced Lectures on Formal Methods for Multicore Programming
SFM 2015
Marco Bernardo
,
Einar Broch Johnsen
,
(Eds)
Cite
DOI
Advanced Lectures on Formal Methods for Executable Software Models
Springer LNCS 8483
Marco Bernardo
,
Ferruccio Damiani
,
Reiner Hähnle
,
Einar Broch Johnsen
,
Ina Schaefer
,
(Eds)
Cite
DOI
Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)
LNCS 7940
Einar Broch Johnsen
,
Luigia Petre
,
(Eds)
Cite
DOI
The 19th Nordic Workshop on Programming Theory (NWPT 2007)
Journal of Logic and Algebraic Programming
78
(7)
Einar Broch Johnsen
,
Olaf Owe
,
Gerardo Schneider
,
(Eds)
DOI
Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07
Theoretical Computer Science
410
(2-3)
Marcello M. Bonsangue
,
Einar Broch Johnsen
,
Amy Murphy
,
Jan Vitek
,
(Eds)
DOI
Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).
LNCS 4468. © Springer 2007
Marcello M. Bonsangue
,
Einar Broch Johnsen
,
(Eds)
Cite
DOI
Cite
×