Остановите войну!
for scientists:
default search action
Olaf Owe
Publications
- 2018
- [j27]Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95: 82-102 (2018) - 2016
- [j24]Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016) - [j23]Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk:
A formal model of service-oriented dynamic object groups. Sci. Comput. Program. 115-116: 3-22 (2016) - 2015
- [j21]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84(1): 37-53 (2015) - 2013
- [c44]Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham:
Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. IRI (best papers) 2013: 127-150 - [c43]Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham:
Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. IRI 2013: 504-511 - 2012
- [j18]Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebraic Methods Program. 81(3): 227-256 (2012) - [j17]Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen:
Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. 81(3): 257-283 (2012) - [j16]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Formal modeling and validation of a power-efficient grouping protocol for WSNs. J. Log. Algebraic Methods Program. 81(3): 284-297 (2012) - [c42]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM 2012: 143-157 - [c40]Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu:
A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60 - [c39]Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe:
A Type-Safe Model of Adaptive Object Groups. FOCLASA 2012: 1-15 - 2011
- [j15]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76(10): 915-941 (2011) - [c37]Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen:
Safe Locking for Multi-threaded Java. FSEN 2011: 158-173 - [c36]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. ICECCS 2011: 253-262 - 2010
- [j14]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy behavioral subtyping. J. Log. Algebraic Methods Program. 79(7): 578-607 (2010) - [c35]Dave Clarke, Einar Broch Johnsen, Olaf Owe:
Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206 - [c34]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE 2010: 95-109 - [c33]Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60 - [c32]Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661 - [c31]Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte:
Lightweight Time Modeling in Timed Creol. RTRTS 2010: 67-81 - 2009
- [j11]Einar Broch Johnsen, Olaf Owe, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78(7) (2009) - [c29]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230 - 2008
- [j10]Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Informaticae 82(4): 341-359 (2008) - [c27]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy Behavioral Subtyping. FM 2008: 52-67 - [c26]Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe:
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. TTSS 2008: 89-103 - 2007
- [j9]Einar Broch Johnsen, Olaf Owe:
An Asynchronous Communication Model for Distributed Concurrent Objects. Softw. Syst. Model. 6(1): 39-58 (2007) - [c25]Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279 - [c23]Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. FInCo@ETAPS 2007: 19-34 - 2006
- [j8]Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365(1-2): 23-66 (2006) - [c21]Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe:
Type-Safe Runtime Class Upgrades in Creol. FMOODS 2006: 202-217 - 2005
- [c19]Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl:
A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30 - [c18]Einar Broch Johnsen, Olaf Owe:
Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005 - [c16]Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150 - [c15]Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic. FSEN 2005: 187-204 - 2004
- [c12]Einar Broch Johnsen, Olaf Owe:
Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164 - [c11]Einar Broch Johnsen, Olaf Owe:
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295 - [c10]Einar Broch Johnsen, Olaf Owe:
An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM 2004: 188-197 - [c9]Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen:
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. WRLA 2004: 375-392 - 2002
- [c8]Einar Broch Johnsen, Olaf Owe:
A Compositional Formalism for Object Viewpoints. FMOODS 2002: 45-60 - [c7]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338 - [c6]Einar Broch Johnsen, Olaf Owe:
Composition and Refinement for Partial Object Specifications. IPDPS 2002 - 2001
- [c5]Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain:
Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230 - [c4]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC 2001: 105- - [c3]Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo:
Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint