Einar Broch Johnsen - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Simulating Concurrent Behaviors with Worst-Case Cost BoundsElvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. fm 2011: 353-368 [doi]

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling LanguageDave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong. sfm 2011: 417-457 [doi]

Incremental reasoning with lazy behavioral subtyping for multiple inheritanceJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. SCP, 76(10):915-941, 2011. [doi]

Fault in the FutureEinar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro. coordination 2011: 1-15 [doi]

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game TheoryFatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham. iceccs 2011: 253-262 [doi]

Models of Rate Restricted Communication for Concurrent ObjectsRudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa. ENTCS, 274:67-81, 2011. [doi]

2010

Concurrent Objects à la CarteDave Clarke, Einar Broch Johnsen, Olaf Owe. BIRTHDAY 2010: 185-206 [doi]

Dating Concurrent Objects: Real-Time Modeling and Schedulability AnalysisFrank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen. concur 2010: 1-18 [doi]

Lazy behavioral subtypingJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. jlp, 79(7):578-607, 2010. [doi]

PrefaceEinar Broch Johnsen, Volker Stolz. ENTCS, 266:1-2, 2010. [doi]

Dynamic Resource Reallocation between Deployment ComponentsEinar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. icfem 2010: 646-661 [doi]

Validating Timed Models of Deployment Components with Parametric ConcurrencyEinar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. foveoos 2011: 46-60 [doi]

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game TheoryFatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham. forte 2010: 95-109 [doi]

Confluent Term Rewriting for Only-knowing LogicsEspen H. Lian, Einar Broch Johnsen, Arild Waaler. stairs 2010: 162-174 [doi]

2009

PrefaceMarcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek. TCS, 410(2-3):113, 2009. [doi]

Incremental Reasoning for Multiple InheritanceJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. IFM 2009: 215-230 [doi]

Dynamic Symbolic Execution for Testing Distributed ObjectsAndreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. tap 2009: 105-120 [doi]

Dynamic Symbolic Execution of Distributed Concurrent ObjectsAndreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. forte 2009: 225-230 [doi]

Proof Search for the First-Order Connection Calculus in MaudeBjarne Holen, Einar Broch Johnsen, Arild Waaler. ENTCS, 238(3):173-188, 2009. [doi]

Guest Editors ForewordEinar Broch Johnsen, Olaf Owe, Gerardo Schneider. jlp, 78(7), 2009. [doi]

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent ObjectsEinar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu. fm 2009: 596-611 [doi]

Intra-Object versus Inter-Object: Concurrency and Reasoning in CreolEinar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe. ENTCS, 243:89-103, 2009. [doi]

2008

Conformance Testing of Distributed Concurrent Systems with Executable DesignsBernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam. FMCO 2009: 61-81 [doi]

Minimal Ownership for Active ObjectsDave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen. aplas 2008: 139-154 [doi]

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent ObjectsJohan Dovland, Einar Broch Johnsen, Olaf Owe. ENTCS, 203(3):19-34, 2008. [doi]

Lazy Behavioral SubtypingJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. fm 2008: 52-67 [doi]

Backwards type analysis of asynchronous method callsEinar Broch Johnsen, Ingrid Chieh Yu. jlp, 77(1-2):40-59, 2008. [doi]

Validating Behavioral Component Interfaces in Rewriting LogicEinar Broch Johnsen, Olaf Owe, Arild B. Torjusen. FUIN, 82(4):341-359, 2008. [doi]

A Real-Time Extension of Creol for Modelling Biomedical SensorsMarcel Kyas, Einar Broch Johnsen. FMCO 2009: 42-60 [doi]

Testing Concurrent Objects with Application-Specific SchedulersRudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen. ictac 2008: 319-333 [doi]

2007

Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsMarcello M. Bonsangue, Einar Broch Johnsen, editors, Volume 4468 of Lecture Notes in Computer Science, Springer, 2007.

A Complete Guide to the FutureFrank S. de Boer, Dave Clarke, Einar Broch Johnsen. ESOP 2007: 316-330 [doi]

An Asynchronous Communication Model for Distributed Concurrent ObjectsEinar Broch Johnsen, Olaf Owe. SoSyM, 6(1):39-58, 2007. [doi]

An Object-Oriented Component Model for Heterogeneous NetsEinar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas. FMCO 2008: 257-279 [doi]

2006

2005

2004

2003

Abstracting Refinements for TransformationEinar Broch Johnsen, Christoph Lüth. njc, 10(4):313-336, 2003.

2002

Combining Graphical and Formal Development of Open Distributed SystemsEinar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo. IFM 2002: 319-338 [doi]

A Compositional Formalism for Object ViewpointsEinar Broch Johnsen, Olaf Owe. fmoods 2002: 45-60

Composition and Refinement for Partial Object SpecificationsEinar Broch Johnsen, Olaf Owe. ipps 2002: [doi]

2001