Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Paper-Conference
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
Proc. ESOCC 2012
Frank S. de Boer
,
Reiner Hähnle
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Peter Y. H. Wong
Preprint
Cite
DOI
A Type-Safe Model of Adaptive Object Groups
Proc. FOCLASA 2012
Joakim Bjørk
,
Dave Clarke
,
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis
Proc. IFM 2012
Fatemeh Kazemeyni
,
Einar Broch Johnsen
,
Olaf Owe
,
Ilangko Balasingham
Preprint
Cite
DOI
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
Proc. FOVEOOS 2011
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
Proc. FACS 2011
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
ABS: A Core Language for Abstract Behavioral Specification
Proc. FMCO 2010
Einar Broch Johnsen
,
Reiner Hähnle
,
Jan Schäfer
,
Rudolf Schlatte
,
Martin Steffen
Preprint
Cite
DOI
Models of Rate Restricted Communication for Concurrent Objects
Proc. TTSS 2010
Rudolf Schlatte
,
Einar Broch Johnsen
,
Fatemeh Kazemeyni
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Verifying Traits: A Proof System for Fine-Grained Reuse
Proc. FTfJP 2011
Ferruccio Damiani
,
Johan Dovland
,
Einar Broch Johnsen
,
Ina Schaefer
Preprint
Cite
DOI
Fault in the Future
Proc. COORDINATION 2011
Einar Broch Johnsen
,
Ivan Lanese
,
Gianluigi Zavattaro
Preprint
Cite
DOI
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Proc. FM 2011
Elvira Albert
,
Samir Genaim
,
Miguel Gömez-Zamalloa
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Safe Locking for Multi-Threaded Java
Proc. FSEN 2011
Einar Broch Johnsen
,
Thi Mai Thuong Tran
,
Olaf Owe
,
Martin Steffen
Preprint
Cite
DOI
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Proc. ICECCS 2011
Fatemeh Kazemeyni
,
Einar Broch Johnsen
,
Olaf Owe
,
Ilangko Balasingham
Preprint
Cite
DOI
Dynamic Resource Reallocation Between Deployment Components
Proc. ICFEM 2010
Einar Broch Johnsen
,
Olaf Owe
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Proc. CONCUR 2010
Frank S. de Boer
,
Mohammad Mahdi Jaghoori
,
Einar Broch Johnsen
Preprint
Cite
DOI
Lightweight Time Modeling in Timed Creol
Proc. RTRTS 2010
Joakim Bjørk
,
Einar Broch Johnsen
,
Olaf Owe
,
Rudolf Schlatte
Preprint
Cite
DOI
Confluent Term Rewriting for Only-knowing Logics
Proc. STAIRS 2010
Espen H. Lian
,
Einar Broch Johnsen
,
Arild Waaler
Preprint
Cite
DOI
Validating Timed Models of Deployment Components with Parametric Concurrency
Proc. FOVEOOS 2010
Einar Broch Johnsen
,
Olaf Owe
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Proc. FMOODS/FORTE 2010
Fatemeh Kazemeyni
,
Einar Broch Johnsen
,
Olaf Owe
,
Ilangko Balasingham
Preprint
Cite
DOI
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Proc FM 2009
Einar Broch Johnsen
,
Marcel Kyas
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Dynamic Symbolic Execution for Testing Distributed Objects
Proc. TAP 2009
Andreas Griesmayer
,
Bernhard K. Aichernig
,
Einar Broch Johnsen
,
Rudolf Schlatte
Preprint
Cite
DOI
Proof Search for the First-Order Connection Calculus in Maude
Proc. WRLA 2008
Bjarne Holen
,
Einar Broch Johnsen
,
Arild Waaler
Preprint
Cite
DOI
Incremental Reasoning for Multiple Inheritance
Proc. IFM 2009
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
,
Martin Steffen
Preprint
Cite
DOI
Minimal Ownership for Active Objects
Proc. APLAS 2008
Dave Clarke
,
Tobias Wrigstad
,
Johan Östlund
,
Einar Broch Johnsen
Preprint
Cite
DOI
Testing Concurrent Objects with Application-Specific Schedulers
Proc. ICTAC 2008
Rudolf Schlatte
,
Bernhard K. Aichernig
,
Frank S. de Boer
,
Andreas Griesmayer
,
Einar Broch Johnsen
Preprint
Cite
DOI
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Proc. TTSS 2008
Einar Broch Johnsen
,
Jasmin Christian Blanchette
,
Marcel Kyas
,
Olaf Owe
Preprint
Cite
DOI
An Object-Oriented Component Model for Heterogeneous Nets
Proc. FMCO 2007
Einar Broch Johnsen
,
Olaf Owe
,
Joakim Bjørk
,
Marcel Kyas
Preprint
Cite
DOI
Lazy Behavioral Subtyping
Proc FM 2008
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
,
Martin Steffen
Preprint
Cite
DOI
A Complete Guide to the Future
Proc. ESOP 2007
Frank S. de Boer
,
Dave Clarke
,
Einar Broch Johnsen
Preprint
Cite
DOI
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Proc. FInCo 2007
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
Runtime Validation of Communication Histories
Proc. ICCP 2006
Einar Broch Johnsen
,
Gerardo Schneider
,
Øystein Torget
Preprint
Cite
«
»
Cite
×