Einar Broch Johnsen

发表

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2008, FInCo@ETAPS.
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2019, SEFM.
Reiner Hähnle, Davide Sangiorgi, Einar Broch Johnsen, 2011, FMCO.
Einar Broch Johnsen, Christoph Seidl, Shiji Bijo, 2018, ISoLA.
Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, 2001, Proceedings Second Asia-Pacific Conference on Quality Software.
Reiner Hähnle, Einar Broch Johnsen, Dave Clarke, 2010, SPLC Workshops.
Einar Broch Johnsen, Olaf Owe, Demissie B. Aredo, 2002, IFM.
Einar Broch Johnsen, Lars Tveito, Rudolf Schlatte, 2020, FASE.
Cristina Chesta, Einar Broch Johnsen, Christoph Seidl, 2017, ESOCC Workshops.
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, 2010, RTRTS.
Einar Broch Johnsen, Olaf Owe, Demissie B. Aredo, 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.
Einar Broch Johnsen, Ingrid Chieh Yu, Jia-Chun Lin, 2020 .
Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, 2020, 20 Years of KeY.
Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu, 2020, PNSE@Petri Nets.
Einar Broch Johnsen, Olaf Owe, Martin Steffen, 2012, J. Log. Algebraic Methods Program..
Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2012 .
Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Ludovic Henrio, Einar Broch Johnsen, Ka I Pun, 2020, IFM.
Einar Broch Johnsen, Olaf Owe, Gerardo Schneider, 2009, J. Log. Algebraic Methods Program..
Frank S. de Boer, Reiner Hähnle, Justine Rochas, 2017, ACM Comput. Surv..
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, 2016, WADT.
Einar Broch Johnsen, Olaf Owe, Martin Steffen, 2011, FSEN.
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, 2020, ISoLA.
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen, 2010, CONCUR.
Einar Broch Johnsen, Olaf Owe, Demissie B. Aredo, 2007 .
Einar Broch Johnsen, Ingrid Chieh Yu, Ming-Chang Lee, 2016, FASE.
Einar Broch Johnsen, Ingrid Chieh Yu, E. Johnsen, 2008, J. Log. Algebraic Methods Program..
Einar Broch Johnsen, Andrzej Wasowski, Razan Ghzouli, 2020, SLE.
Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2012 .
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, 2012, ESOCC.
Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, 2014, ISoLA.
Reiner Hähnle, Einar Broch Johnsen, 2015, Computer.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2012, FOCLASA.
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, 2011, FoVeOOS.
Bernhard K. Aichernig, Einar Broch Johnsen, Andries Stam, 2008, FMCO.
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, 2018, J. Log. Algebraic Methods Program..
Einar Broch Johnsen, Ingrid Chieh Yu, Ming-Chang Lee, 2020, Int. J. Grid Util. Comput..
Reiner Hähnle, Einar Broch Johnsen, Martin Steffen, 2010, FMCO.
Cyrille Artho, Einar Broch Johnsen, Martin Leucker, 2015, NII Shonan Meet. Rep..
Einar Broch Johnsen, Rudolf Schlatte, S. Lizeth, 2011 .
Cosimo Laneve, Einar Broch Johnsen, Ka I Pun, 2015, FACS.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2012, J. Log. Algebraic Methods Program..
Einar Broch Johnsen, Elias Castegren, Dave Clarke, 2015, SFM.
Einar Broch Johnsen, Ingrid Chieh Yu, Jia-Chun Lin, 2016, ISoLA.
Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte, 2009 .
Einar Broch Johnsen, Elvira Albert, Samir Genaim, 2011, FM.
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2020, 20 Years of KeY.
Einar Broch Johnsen, Martin Steffen, Lars Tveito, 2018, ICTAC.
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, 2011, FACS.
Frank S. de Boer, Andreas Kohn, Einar Broch Johnsen, 2014, LNCS Trans. Aspect Oriented Softw. Dev..
Bernhard K. Aichernig, Frank S. de Boer, Einar Broch Johnsen, 2008, ICTAC.
Reiner Hähnle, Einar Broch Johnsen, 2014, ISoLA.
Reiner Hähnle, Einar Broch Johnsen, Marco Bernardo, 2014, Lecture Notes in Computer Science.
Einar Broch Johnsen, Arild Waaler, Bjarne Holen, 2009, WRLA.
Einar Broch Johnsen, Christoph Lüth, E. Johnsen, 2003, Nord. J. Comput..
Einar Broch Johnsen, Christoph Lüth, 2004, TPHOLs.
Marco Aiello, Schahram Dustdar, Einar Broch Johnsen, 2016, Lecture Notes in Computer Science.
Marcello M. Bonsangue, Einar Broch Johnsen, Erika Ábrahám, 2016, Lecture Notes in Computer Science.
Einar Broch Johnsen, Lars Michael Kristensen, Crystal Chang Din, 2019, Sci. Comput. Program..
Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2012, J. Log. Algebraic Methods Program..
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2009, IFM.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2010, Concurrency, Compositionality, and Correctness.
Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2010, FMOODS/FORTE.
Einar Broch Johnsen, Martin Steffen, Lars Tveito, 2018, IFM.
Ivan Lanese, Mario Bravetti, Volker Stolz, 2014, ISoLA.
Einar Broch Johnsen, Olaf Owe, Marte Arnestad, 2003 .
Volker Stolz, Einar Broch Johnsen, Rudolf Schlatte, 2014, ISoLA.
Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2013, IRI.
Einar Broch Johnsen, Luigia Petre, 2015, Software & Systems Modeling.
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2015 .
Einar Broch Johnsen, Sebastian Gabmeyer, E. Johnsen, 2017, Lecture Notes in Computer Science.
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, 2011, Electron. Notes Theor. Comput. Sci..
Johan Dovland, Einar Broch Johnsen, Ina Schaefer, 2014, Formal Aspects of Computing.
Christel Baier, Wang Yi, Bernhard K. Aichernig, 2010, TTSS.
Einar Broch Johnsen, Marcel Kyas, M. Kyas, 2009, FMCO.
Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.
Einar Broch Johnsen, Olaf Owe, Jasmin Christian Blanchette, 2009, TTSS.
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, 2011, FMCO.
Davide Ancona, Viviana Mascardi, Luca Padovani, 2016, Found. Trends Program. Lang..
Einar Broch Johnsen, Shiji Bijo, Ka I Pun, 2019, Sci. Comput. Program..
Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu, 2018, FACS.
Einar Broch Johnsen, Arild Waaler, Espen H. Lian, 2010, STAIRS.
Einar Broch Johnsen, Olaf Owe, Gerardo Schneider, 2009 .
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2019, VORTEX@ECOOP/ISSTA.
Einar Broch Johnsen, Erika Ábrahám, Florian Corzilius, 2016, SETTA.
Einar Broch Johnsen, Christoph Lüth, Maksym Bortin, 2006, Nord. J. Comput..
Einar Broch Johnsen, Ingrid Chieh Yu, Marcel Kyas, 2009, FM.
Einar Broch Johnsen, Olaf Owe, Marcel Kyas, 2007, FMCO.
Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen, 2004 .
Einar Broch Johnsen, Crystal Chang Din, Ingrid Chieh Yu, 2017, FSEN.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2016, Sci. Comput. Program..
Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, 2016, LNCS Trans. Found. Mastering Chang..
Ludovic Henrio, Einar Broch Johnsen, Dave Clarke, 2019, ECOOP.
Einar Broch Johnsen, Samir Genaim, Ivona Brandic, 2015 .
Einar Broch Johnsen, Ingrid Chieh Yu, E. Johnsen, 2018, Principled Software Development.
Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte, 2009, TAP@TOOLS.
Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu, 2006, FMOODS.
Einar Broch Johnsen, Olaf Owe, Silvia Lizeth Tapia Tarifa, 2010, ICFEM.
Einar Broch Johnsen, Elvira Albert, Guillermo Román-Díez, 2015, SAS.
Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2013, 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).
Einar Broch Johnsen, Tobias Wrigstad, Dave Clarke, 2008, APLAS.
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani, 2020, ISoLA.
Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, 2019, FASE.
Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2004, Essays in Memory of Ole-Johan Dahl.
Einar Broch Johnsen, Olaf Owe, Silvia Lizeth Tapia Tarifa, 2010, FoVeOOS.
Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, 2007, ESOP.
Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2001 .
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2015, J. Log. Algebraic Methods Program..
Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte, 2009, FMOODS/FORTE.
Ivan Lanese, Einar Broch Johnsen, Gianluigi Zavattaro, 2011, COORDINATION.
Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2012, IFM.
Einar Broch Johnsen, Luigia Petre, E. Johnsen, 2002, Lecture Notes in Computer Science.
Einar Broch Johnsen, Shiji Bijo, Ka I Pun, 2016, WRLA.
Einar Broch Johnsen, Olaf Owe, Crystal Chang Din, 2018, J. Log. Algebraic Methods Program..
Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong, 2013, SAC '13.
Ludovic Henrio, Einar Broch Johnsen, Dave Clarke, 2019, Dagstuhl Artifacts Ser..
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, 2016, iFMCloud@IFM.
Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu, 2006, Theor. Comput. Sci..
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2016, ESOCC 2016.
Volker Stolz, Einar Broch Johnsen, 2010, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2013, NordiCloud '13.
Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen, 2005, WRLA.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2006 .
Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2004, SEFM.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2005, IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05).
Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2010 .
Einar Broch Johnsen, Elvira Albert, Ka I Pun, 2018, ACM Trans. Comput. Log..
Einar Broch Johnsen, Ina Schaefer, 2018, Lecture Notes in Computer Science.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2008, FM.
Frank Eliassen, Einar Broch Johnsen, Amirhosein Taherkordi, 2013, 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA).
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, 2017, 2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM).
Johan Dovland, Einar Broch Johnsen, Ina Schaefer, 2011, FTfJP@ECOOP.
Achim Streit, Constantine Bekas, Einar Broch Johnsen, 2015, 2015 18th International Conference on Network-Based Information Systems.
Einar Broch Johnsen, Marco Bernardo, 2015, Lecture Notes in Computer Science.
Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2002, FMOODS.
Einar Broch Johnsen, Jacopo Mauro, Ingrid Chieh Yu, 2018, It's All About Coordination.
Einar Broch Johnsen, Ingrid Chieh Yu, Ming-Chang Lee, 2018, 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA).
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, 2012, ICFEM.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2011, Sci. Comput. Program..
Einar Broch Johnsen, Flavio De Paoli, Stefan Schulte, 2017, Lecture Notes in Computer Science.
Einar Broch Johnsen, Ingrid Chieh Yu, Birgit Rognebakke Krogstie, 2018, NIK.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2012, SPLC '12.
Frank S. de Boer, Nobuko Yoshida, Sophia Drossopoulou, 2014, ERCIM News.
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2015, ICFEM.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2010, J. Log. Algebraic Methods Program..
Reiner Hähnle, Einar Broch Johnsen, 2015 .
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2017, TABLEAUX.
Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu, 2012, ISoLA.
Ivan Lanese, Mario Bravetti, Volker Stolz, 2014, Lecture Notes in Computer Science.
Frank S. de Boer, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, 2012, Innovations in Systems and Software Engineering.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2004 .
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen, 2006, Fundam. Informaticae.
Einar Broch Johnsen, Olaf Owe, Demissie B. Aredo, 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).
Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, 2019, SEFM Workshops.
Einar Broch Johnsen, Ingrid Chieh Yu, Ka I Pun, 2016, From Action Systems to Distributed Systems.
Einar Broch Johnsen, Jacopo Mauro, Michael Lienhardt, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Einar Broch Johnsen, Michael J. Butler, Luigia Petre, 2015, Formal Aspects of Computing.
Einar Broch Johnsen, Shiji Bijo, Ka I Pun, 2016, SAC.
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, 2015, J. Log. Algebraic Methods Program..
Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl, 2005, FMOODS.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2007 .
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, 2014, Service Oriented Computing and Applications.
Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ragnhild Halvorsrud, 2021, 2021 IEEE International Conference on Services Computing (SCC).
Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa, 2021, COORDINATION.
Einar Broch Johnsen, Eduard Kamburjan, Martin Giese, 2021, ESWC.
Einar Broch Johnsen, Arild B. Torjusen, Bjarte M. Østvold, .