Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Einar Broch Johnsen" ( http://dblp.L3S.de/Authors/Einar_Broch_Johnsen )

URL (Homepage):  http://folk.uio.no/einarj/  Author page on DBLP  Author page in RDF  Community of Einar Broch Johnsen in ASPL-2

Publication years (Num. hits)
2001-2005 (15) 2006-2008 (16) 2009-2010 (20) 2011-2012 (10)
Publication types (Num. hits)
article(21) inproceedings(39) proceedings(1)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(8) J. Log. Algebr. Program.(6) FMCO(5) FMOODS(4) FM(3) FMOODS/FORTE(2) IFM(2) Nord. J. Comput.(2) Theor. Comput. Sci.(2) APAQS(1) APLAS(1) APSEC(1) CONCUR(1) Concurrency, Compositionality,...(1) COORDINATION(1) ESOP(1) More (+10 of total 36)
Authors
Einar Broch Johnsen(61) Olaf Owe(36) Rudolf Schlatte(12) Martin Steffen(8) Johan Dovland(7) Andreas Griesmayer(5) Bernhard K. Aichernig(5) Dave Clarke(5) Marcel Kyas(5) Fatemeh Kazemeyni(4) Frank S. de Boer(4) Ingrid Chieh Yu(4) Silvia Lizeth Tapia Tarifa(4) Christoph Lüth(3) Demissie B. Aredo(3) Ilangko Balasingham(3) More (+10 of total 60)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords
Results
Found 61 publication records. Showing 61 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen Safe locking for multi-threaded Java with exceptions. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe Observable behavior of distributed systems: Component reasoning for concurrent objects. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham Formal modeling and validation of a power-efficient grouping protocol for WSNs. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa Models of Rate Restricted Communication for Concurrent Objects. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen Safe Locking for Multi-threaded Java. Search on Bibsonomy FSEN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro Fault in the Future. Search on Bibsonomy COORDINATION The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Search on Bibsonomy ICECCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen Lazy behavioral subtyping. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Volker Stolz Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte Lightweight Time Modeling in Timed Creol Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa Dynamic Resource Reallocation between Deployment Components. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Espen H. Lian, Einar Broch Johnsen, Arild Waaler Confluent Term Rewriting for Only-knowing Logics. Search on Bibsonomy STAIRS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong HATS - A Formal Software Product Line Engineering Methodology. Search on Bibsonomy SPLC Workshops The full citation details ... 2010 DBLP  BibTeX  RDF
1Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen ABS: A Core Language for Abstract Behavioral Specification. Search on Bibsonomy FMCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dave Clarke, Einar Broch Johnsen, Olaf Owe Concurrent Objects à la Carte. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa Validating Timed Models of Deployment Components with Parametric Concurrency. Search on Bibsonomy FoVeOOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Gerardo Schneider Guest Editors' Foreword. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bjarne Holen, Einar Broch Johnsen, Arild Waaler Proof Search for the First-Order Connection Calculus in Maude. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte Dynamic Symbolic Execution of Distributed Concurrent Objects. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte Dynamic Symbolic Execution for Testing Distributed Objects. Search on Bibsonomy TAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen Incremental Reasoning for Multiple Inheritance. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Ingrid Chieh Yu Backwards type analysis of asynchronous method calls. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen Validating Behavioral Component Interfaces in Rewriting Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen Testing Concurrent Objects with Application-Specific Schedulers. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marcel Kyas, Einar Broch Johnsen A Real-Time Extension of Creol for Modelling Biomedical Sensors. Search on Bibsonomy FMCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam Conformance Testing of Distributed Concurrent Systems with Executable Designs. Search on Bibsonomy FMCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Creol, Model-based testing, conformance testing, Maude, concolic execution
1Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen Lazy Behavioral Subtyping. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen Minimal Ownership for Active Objects. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe An Asynchronous Communication Model for Distributed Concurrent Objects. Search on Bibsonomy Software and System Modeling The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Asynchronous method calls, Distributed systems, Rewriting logic, Concurrent objects
1Marcello M. Bonsangue, Einar Broch Johnsen (eds.) Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Search on Bibsonomy FMOODS The full citation details ... 2007 DBLP  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas An Object-Oriented Component Model for Heterogeneous Nets. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Dave Clarke, Einar Broch Johnsen A Complete Guide to the Future. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu Creol: A type-safe object-oriented model for distributed concurrent systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen Validating Behavioral Component Interfaces in Rewriting Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Maksym Bortin, Einar Broch Johnsen, Christoph Lüth Structured Formal Development in Isabelle. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2006 DBLP  BibTeX  RDF
1Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe Type-Safe Runtime Class Upgrades in Creol. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl A Dynamic Class Construct for Asynchronous Concurrent Objects. Search on Bibsonomy FMOODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe Inheritance in the Presence of Asynchronous Method Calls. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe Verification of Concurrent Objects with Asynchronous Method Calls. Search on Bibsonomy SwSTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe An Asynchronous Communication Model for Distributed Concurrent Objects. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. Search on Bibsonomy FMCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Christoph Lüth Theorem Reuse by Proof Term Transformation. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe Object-Oriented Specification and Open Distributed Systems. Search on Bibsonomy Essays in Memory of Ole-Johan Dahl The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Christoph Lüth Abstracting Refinements for Transformation. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2003 DBLP  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe A Compositional Formalism for Object Viewpoints. Search on Bibsonomy FMOODS The full citation details ... 2002 DBLP  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe Composition and Refinement for Partial Object Specifications. (PDF / PS) Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo Combining Graphical and Formal Development of Open Distributed Systems. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo Specification of Distributed Systems with a Combination of Graphica and Formal Languages. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo Integrating UML and OUN for Specification of Open Distributed Systems. (PDF / PS) Search on Bibsonomy HCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain Incremental Fault-Tolerant Design in an Object-Oriented Setting. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF formal methods refinement trace semantics, Fault-tolerance, object orientation, incremental design
Displaying result #1 - #61 of 61 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.