Publications

A Configurable Software Model of a Self-Adaptive Robotic System
Science of Computer Programming 240: 103221, 2025.
Preprint Cite Project DOI Github Artifact
Digital Twin Engineering
Proc. ISOLA 2024. LNCS 15223. Springer 2025.
Preprint Cite DOI
Correct and Complete Symbolic Execution for Free
Proc. IFM 2024. LNCS 15234. Springer 2025.
Preprint Cite DOI
Towards a Proof System for Probabilistic Dynamic Logic
Principles of Verification: Cycling the Probabilistic Landscape. LNCS 15260, Springer 2025.
Preprint Cite DOI Github
Mutation-Based Integration Testing of Knowledge Graph Applications
Proc. ISSRE 2024. IEEE 2024.
Preprint Cite Code Project DOI
Mutation-Based Integration Testing of Knowledge Graph Applications
Semantic Reflection and Digital Twins: A Comprehensive Overview
The Combined Power of Research, Education and Dissemination. LNCS 15240, Springer 2024.
Preprint Cite DOI
Risk-Averse Planning and Plan Assessment for Marine Robots
Proc. IROS 2024. IEEE 2024.
Preprint Cite Code Project
Risk-Averse Planning and Plan Assessment for Marine Robots
Nudging Strategies for User Journeys: Take a Path on the Wild Side
Real-Time and Such. LNCS 15230, Springer 2024.
Preprint Cite Project DOI Github
Nudging Strategies for User Journeys: Take a Path on the Wild Side
Declarative Lifecycle Management in Digital Twins
Proc. 1st International Conference on Engineering Digital Twins (EDTconf 2024). ACM 2024.
Preprint Cite DOI Github
Declarative Lifecycle Management in Digital Twins
Proving Correctness of Parallel Implementations of Transition System Models
ACM Transactions on Programming Languages and Systems (TOPLAS): 46 (3), 2024.
Preprint Cite DOI
Proving Correctness of Parallel Implementations of Transition System Models
Stochastic Games for User Journeys
Proc. FM 2024. LNCS 14934, Springer 2024.
Preprint Cite Project DOI Github Artifact
Stochastic Games for User Journeys
Roger Antonsen fanget publikum med sitt smittende engasjement
Minneord, Aftenposten 06.05.2024, Khrono 08.05.2024.
Khrono Aftenposten
Roger Antonsen fanget publikum med sitt smittende engasjement
GreenhouseDT: An Exemplar for Digital Twins
Proc. SEAMS 2024. IEEE/ACM 2024.
Preprint Cite Code DOI
GreenhouseDT: An Exemplar for Digital Twins
User Journey Games: Automating User-Centric Analysis
Software and Systems Modeling 23: 605-624, 2024.
Preprint Cite Project DOI Github Artifact
User Journey Games: Automating User-Centric Analysis
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
ACM Transactions on Programming Languages and Systems (TOPLAS) 46 (1), 2024.
Preprint Cite DOI
Preface for the Formal Methods in System Design special issue on ‘FASE 2022’
Formal Methods in System Design, 2024
DOI
Preface for the Formal Methods in System Design special issue on ‘FASE 2022’
Active Object Languages: Current Research Trends
LNCS 14360, Springer 2024.
Cite DOI
Active Object Languages: Current Research Trends
Preface for the special issue on 'Fundamental Approaches to Software Engineering (FASE 2022)'
Science of Computer Programming 232, January 2024
DOI
Preface for the special issue on 'Fundamental Approaches to Software Engineering (FASE 2022)'
Simulating User Journeys with Active Objects
Active Object Languages: Current Research Trends. Springer 2024.
Preprint Cite Project DOI
Denotational Semantics for Symbolic Execution
Proc. ICTAC 2023. LNCS 14446 Springer 2023.
Preprint Cite DOI Github Artifact
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. LNCS 14300. Springer 2023.
Preprint Cite Project DOI arXiv.org Artifact
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Reply to Ekström and Ottersen: Real-time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic
Proceedings of the National Academy of Sciences 120, 2023.
Cite DOI
Formal Specification and Testing for Reinforcement Learning
Proc. ICFP 2023. ACM 2023.
Preprint Cite Video DOI Artefact Github
Formal Specification and Testing for Reinforcement Learning
Behavior Trees and State Machines in Robotics Applications
IEEE Transactions on Software Engineering 49 (9), Sept. 2023.
Preprint Cite DOI Github arXiv.org Artifact
Symbolic Semantics for Probabilistic Programs
Proc. QEST 2023. LNCS 14287. Springer 2023.
Preprint Cite DOI Artifact
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
Proc. CONCUR 2023. LIPIcs 2023.
Preprint Cite DOI Github Artifact
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Journal of Systems & Software 203, Sept. 2023.
Preprint Cite DOI Github
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Cite Project Video DOI arXiv.org Github
How to Avoid a Local Epidemic Becoming a Global Pandemic
Proceedings of the National Academy of Sciences 120, 2023.
Cite Dataset DOI Supplementary material
Building User Journey Games from Multi-Party Event Logs
Proc. EdbA 2022. LNBIP 468, Springer 2023.
Preprint Cite Project DOI Github
The ABS Simulator Toolchain
Science of Computer Programming 223, 2022.
Cite DOI
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Proc. ICTAC 2022. LNCS 13572, Springer 2022.
Preprint Cite DOI arXiv.org
Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Preprint Cite DOI
Digital Twin Reconfiguration Using Asset Models
Proc. ISoLA 2022. LNCS 13704, Springer 2022.
Preprint Cite DOI
A Formal Model of Metacontrol in Maude
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Preprint Cite Project DOI
Weighted Games for User Journeys
Proc. SEFM 2022. LNCS 13550, Springer 2022.
Preprint Cite Project DOI Github Artifact
DPL: A Language for GDPR Enforcement
Proc. CSF 2022. © IEEE CS Press 2022.
Preprint Cite DOI PDF
The Logic of Software. A Tasting Menu of Formal Methods
LNCS 13360, Springer 2022.
Cite DOI
The Logic of Software. A Tasting Menu of Formal Methods
Knowledge Structures over Simulation Units
Proc. ANNSIM 2022. IEEE Press 2022.
Preprint Cite DOI
Digital Twins for Autonomic Cloud Application Management
Proc. CCPI 2022. LNNS 451. © Springer 2022.
Preprint Cite Project DOI
Proc. 25th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2022)
LNCS 13241, Springer 2022.
Cite DOI
Proc. 25th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2022)
Smart Journey Mining for Improved Service Quality
Proc. CSS 2021. © IEEE 2021.
Preprint Cite Project DOI
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Proc. COORDINATION 2021. LNCS 12717, Springer 2021.
Preprint Cite DOI
Programming and Debugging with Semantically Lifted States
Proc. ESWC 2021. LNCS 12731, Springer 2021.
Preprint Cite DOI
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
Festschrift Maurizio Gabbrielli, 2020.
Preprint Cite DOI Artefact
Active Objects with Deterministic Behavior
Proc. IFM 2020. LNCS 12546, Springer 2020
Preprint Cite DOI Tech. report
Behavior Trees in Action: A Study of Robotics Applications
Proc. SLE 2020. ACM Press 2020.
Preprint Cite Video DOI arXiv.org
A Formal Model of the Kubernetes Container Framework
Proc. ISoLA 2020. LNCS 12476, Springer 2020.
Preprint Cite DOI Artefact
Designing Distributed Control with Hybrid Active Objects.
Proc. ISoLA 2020. LNCS 12479, Springer 2020
Preprint Cite DOI
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
Proc. ISoLA 2020. LNCS 12476, Springer 2020
Preprint Cite Project DOI
SymPaths: Symbolic Execution Meets Partial Order Reduction
Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.
Preprint Cite DOI Artefact
Behavioral Contracts for Cooperative Scheduling
Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.
Preprint Cite DOI
Lazy Product Discovery in Huge Configuration Spaces
Proc ICSE 2020, ACM Press 2020
Preprint Cite Project Video DOI
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets
Proc. PNSE@Petri Nets 2020
Preprint Cite Project PDF
Global Reproducibility through Local Control for Distributed Active Objects
Proc FASE 2020
Preprint Cite DOI
A configurable and executable model of Spark Streaming on Apache YARN
IJGUC 11 (2): 185 - 195, 2020
Preprint Cite DOI
Godot: All the Benefits of Implicit and Explicit Futures
Proc. ECOOP 2019
Preprint Cite DOI Artefact
Asynchronous Cooperative Contracts for Cooperative Scheduling
Proc. SEFM 2019
Preprint Cite DOI
Translating active objects into colored Petri nets for communication analysis
Science of Computer Programming 181: 1-26, 2019
Preprint Cite Project DOI
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Science of Computer Programming 179: 24-53, 2019
Preprint Cite Project DOI
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Proc. FASE 2019
Preprint Cite DOI
Parallel Cost Analysis
ACM Transactions on Computational Logic 19 (4): 31:1–31:37, 2018
Preprint Cite DOI
Dynamic Software Updates and Context Adaptation for Distributed Active Objects
Festschrift Arnd Poetzsch-Heffter
Preprint Cite DOI
Deployment by Construction for Multicore Architectures
Proc. ISoLa 2018
Preprint Cite Project DOI
Checking Modal Contracts for Virtually Timed Ambients
Proc. ICTAC 2018
Preprint Cite Project DOI
Using Coloured Petri Nets for Resource Analysis of Active Objects
Proc. FACS 2018
Preprint Cite Project DOI
Resource-Aware Virtually Timed Ambients
Proc. IFM 2018
Preprint Cite Project DOI
Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)
Springer LNCS 10886
Cite DOI
Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)
Release the Beasts: When Formal Methods Meet Real World Data
Festschrift Farhad Arbab
Preprint Cite DOI
Modeling and Simulation of Spark Streaming
Proc. AINA 2018
Preprint Cite DOI
Virtually timed ambients: A calculus of nested virtualization
Journal of Logic and Algebraic Methods in Programming 94:109-127, 2018
Preprint Cite Project DOI
A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
Journal of Logic and Algebraic Methods in Programming 95:82-102, 2018.
Preprint Cite DOI
A Calculus of Virtually Timed Ambients
Proc WADT 2016
Preprint Cite Project DOI
Translating Active Objects into Colored Petri Nets for Communication Analysis
Proc. FSEN 2017
Preprint Cite Project DOI
A Survey of Active Object Languages
ACM Computing Surveys 50 (5): 76:1–76:39, 2017
Preprint Cite Project Project DOI
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Proc. FACS 2017
Preprint Cite Project DOI
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Proc. TABLEAUX 2017
Preprint Cite DOI
A formal model of cloud-deployed software and its application to workflow processing
Proc. SoftCOM 2017
Preprint Cite DOI
Proc. 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC 2017)
Springer LNCS 10465
Cite DOI
Proc. 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC 2017)
Proc. 11th International Conference on Tests and Proofs (TAP 2017)
Springer LNCS 10375
Cite DOI
Proc. 11th International Conference on Tests and Proofs (TAP 2017)
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools
Proc. FASE 2017
Preprint Cite DOI
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
Proc. SETTA 2016
Preprint Cite DOI
Modeling Deployment Decisions for Elastic Services with ABS
Proc. IFMCloud 2016
Preprint Cite DOI
Comparing AWS Deployments Using Model-Based Predictions
Proc. ISoLa 2016
Preprint Cite DOI
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
Transactions on Foundations for Mastering Change 1: 130-156 (2016)
Preprint Cite DOI
Proc. 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing (ESOCC 2016)
Cite DOI
Proc. 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing (ESOCC 2016)
Behavioral Types in Programming Languages
Foundations and Trends® in Programming Languages 3 (2-3): 95-230, 2016
Preprint Cite DOI
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
Proc. FASE 2016
Preprint Cite DOI
Meeting Deadlines, Elastically.
Festschrift Kaisa Sere
Preprint Cite DOI
An Operational Semantics of Cache Coherent Multicore Architectures
Proc. SAC 2016
Preprint Cite Project DOI
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Springer LNCS 9660
Cite DOI
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
A Maude Framework for Cache Coherent Multicore Architectures
Proc. WRLA 2016
Preprint Cite Project DOI
Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types
Proc. FACS 2015
Preprint Cite DOI
A formal model of service-oriented dynamic object groups
Science of Computer Programming 115-116: 3-22, 2016
Preprint Cite DOI
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
Proc. ICFEM 2015
Preprint Cite DOI
Parallel Cost Analysis of Distributed Systems
Proc. SAS 2015
Preprint Cite DOI
Preparing HPC Applications for Exascale: Challenges and Recommendations
Proc. NBIS 2015
Preprint Cite DOI
Designing Resource-Aware Cloud Applications
IEEE Computer 48 (6), 2015
Preprint Cite DOI
Advanced Lectures on Formal Methods for Multicore Programming
SFM 2015
Cite Project DOI
Advanced Lectures on Formal Methods for Multicore Programming
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Formal Methods for Multicore Programming (SFM 2015)
Preprint Cite Project DOI
A proof system for adaptable class hierarchies
Journal of Logical and Algebraic Methods in Programming 84 (1): 37-53, 2015
Preprint Cite DOI
Integrating deployment architectures and resource consumption in timed object-oriented models
Journal of Logical and Algebraic Methods in Programming 84 (1): 67-91, 2015
Preprint Cite DOI
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Journal of Service-Oriented Computing and Applications 8 (4):323-339, 2014
Preprint Cite DOI
Deployment Variability in Delta-Oriented Models
Proc. ISoLa 2014
Preprint Cite DOI
Fault Model Design Space for Cooperative Concurrency
Proc. ISoLa 2014
Preprint Cite DOI
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
Proc. ISoLa 2014
Preprint Cite DOI
Verifying traits: an incremental proof system for fine-grained reuse
Formal Aspects of Computing 26 (4): 761-793, 2014
Preprint Cite DOI
Advanced Lectures on Formal Methods for Executable Software Models
Springer LNCS 8483
Cite Project DOI
Advanced Lectures on Formal Methods for Executable Software Models
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
Transactions on Aspect-Oriented Software Development 11: 1-26, 2014
Preprint Cite DOI
Engineering Virtualized Services
Proc NordiCloud 2013
Preprint Cite DOI
Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)
LNCS 7940
Cite DOI
Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)
Behavioural Design of Sensor Network Applications using Activity-Driven States
Proc. SESENA 2013
Preprint Cite DOI
User-defined Schedulers for Real-Time Concurrent Objects
Innovations in Systems and Software Engineering 9 (1):29-43, 2013
Preprint Cite DOI
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study
Proc. SAC 2013
Preprint Cite DOI
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
Proc. ICFEM 2012
Preprint Cite DOI
Tracking Behavioral Constraints during Object-Oriented Software Evolution
Proc. ISoLa 2012
Preprint Cite DOI
A Transformational Proof System for Delta-Oriented Programming
Proc. FMSPLE 2012
Preprint Cite DOI
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
Proc. ESOCC 2012
Preprint Cite DOI
A Type-Safe Model of Adaptive Object Groups
Proc. FOCLASA 2012
Preprint Cite DOI
MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis
Proc. IFM 2012
Preprint Cite DOI
Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects
Journal of Logic and Algebraic Programming 81 (3): 227-256, 2012
Preprint Cite DOI
Formal Modeling and Validation of a Power-Efficient Grouping Protocol for WSNs
Journal of Logic and Algebraic Programming 81 (3): 284-297, 2012
Preprint Cite DOI
Safe Locking for Multi-Threaded Java with Exceptions
Journal of Logic and Algebraic Programming 81 (3): 257-283, 2012
Preprint Cite DOI
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
Proc. FOVEOOS 2011
Preprint Cite DOI
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
Proc. FACS 2011
Preprint Cite DOI
ABS: A Core Language for Abstract Behavioral Specification
Proc. FMCO 2010
Preprint Cite DOI
Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance
Science of Computer Programming 76 (10):915-941, 2011
Preprint Cite DOI
Models of Rate Restricted Communication for Concurrent Objects
Proc. TTSS 2010
Preprint Cite DOI
Verifying Traits: A Proof System for Fine-Grained Reuse
Proc. FTfJP 2011
Preprint Cite DOI
Fault in the Future
Proc. COORDINATION 2011
Preprint Cite DOI
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Proc. SFM 2011
Preprint Cite DOI
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Proc. FM 2011
Preprint Cite DOI
Safe Locking for Multi-Threaded Java
Proc. FSEN 2011
Preprint Cite DOI
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Proc. ICECCS 2011
Preprint Cite DOI
Dynamic Resource Reallocation Between Deployment Components
Proc. ICFEM 2010
Preprint Cite DOI
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Proc. CONCUR 2010
Preprint Cite DOI
Lazy Behavioral Subtyping
Journal of Logic and Algebraic Programming 79 (7): 578-607, 2010
Preprint Cite DOI
Lightweight Time Modeling in Timed Creol
Proc. RTRTS 2010
Preprint Cite DOI
Concurrent Objects a la Carte
Festschrift Willem-Paul de Roever
Preprint Cite DOI
Confluent Term Rewriting for Only-knowing Logics
Proc. STAIRS 2010
Preprint Cite DOI
Validating Timed Models of Deployment Components with Parametric Concurrency
Proc. FOVEOOS 2010
Preprint Cite DOI
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Proc. FMOODS/FORTE 2010
Preprint Cite DOI
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Proc FM 2009
Preprint Cite DOI
The 19th Nordic Workshop on Programming Theory (NWPT 2007)
Journal of Logic and Algebraic Programming 78 (7)
DOI
The 19th Nordic Workshop on Programming Theory (NWPT 2007)
Dynamic Symbolic Execution for Testing Distributed Objects
Proc. TAP 2009
Preprint Cite DOI
Proof Search for the First-Order Connection Calculus in Maude
Proc. WRLA 2008
Preprint Cite DOI
Incremental Reasoning for Multiple Inheritance
Proc. IFM 2009
Preprint Cite DOI
Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07
Theoretical Computer Science 410 (2-3)
DOI
Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07
Minimal Ownership for Active Objects
Proc. APLAS 2008
Preprint Cite DOI
Backwards Type Analysis of Asynchronous Method Calls
Journal of Logic and Algebraic Programming 77 (1-2): 40-59, 2008
Preprint Cite DOI
Testing Concurrent Objects with Application-Specific Schedulers
Proc. ICTAC 2008
Preprint Cite DOI
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Proc. TTSS 2008
Preprint Cite DOI
An Object-Oriented Component Model for Heterogeneous Nets
Proc. FMCO 2007
Preprint Cite DOI
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae 82 (4): 341-359, 2008
Preprint Cite URL
Lazy Behavioral Subtyping
Proc FM 2008
Preprint Cite DOI
A Complete Guide to the Future
Proc. ESOP 2007
Preprint Cite DOI
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Proc. FInCo 2007
An Asynchronous Communication Model for Distributed Concurrent Objects
Software and Systems Modeling 6 (1): 39-58, 2007
Preprint Cite DOI
Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).
LNCS 4468. © Springer 2007
Cite DOI
Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).
Structured Formal Development in Isabelle
Nordic Journal of Computing 13: 2-21, 2006.
Preprint Cite
Creol: A type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science 365 (1-2): 23-66, 2006.
Cite DOI
Runtime Validation of Communication Histories
Proc. ICCP 2006
Preprint Cite
Type-Safe Runtime Class Upgrades in Creol
Proc. FMOODS 2006
Preprint Cite DOI
Inheritance in the Presence of Asynchronous Method Calls
Proc. HICSS 2005
Preprint Cite DOI
Validating Behavioral Component Interfaces in Rewriting Logic
Proc. FSEN 2005
Preprint Cite DOI
Representing Strategies for the Connection Calculus in Rewriting Logic
Proc. FTP 2005
Preprint Cite
A Dynamic Class Construct for Asynchronous Concurrent Objects
Proc. FMOODS 2005
Preprint Cite DOI
Verification of Concurrent Objects with Asynchronous Method Calls
Proc. SwSTE 2005
Preprint Cite DOI
Reasoning about Asynchronous Method Calls and Inheritance
Proc. NIK 2004
Preprint Cite
Toward Reflective Application Testing in Open Environments"
Proc. NIK 2004
Preprint Cite
An Asynchronous Communication Model for Distributed Concurrent Objects
Proc. SEFM 2004
Preprint Cite DOI
Theorem Reuse by Proof Term Transformation"
Proc. TPHOLs 2004
Preprint Cite DOI
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects"
Proc. FMCO 2004
Preprint Cite DOI
A Run-time Environment for Concurrent Objects with Asynchronous Method Calls
Proc. WRLA 2004
Preprint Cite DOI
Object-Oriented Specification and Open Distributed Systems
Festschrift Ole-Johan Dahl
Preprint Cite DOI
Combining Active and Reactive Behavior in Concurrent Systems
Proc. NIK 2003
Preprint Cite
Abstracting Refinements for Transformation"
Nordic Journal of Computing 10: 313-336, 2003
Preprint Cite
Combining Graphical and Formal Development of Open Distributed Systems
Proc. IFM 2002
Preprint Cite DOI
Composition and Refinement for Partial Object Specifications
Proc. FMPPTA 2002
Preprint Cite DOI
A Compositional Formalism for Object Viewpoints
Proc. FMOODS 2002
Preprint Cite
Incremental Fault-Tolerant Design in an Object-Oriented Setting
Proc. APAQS 2001
Preprint Cite DOI
Specification of Distributed Systems with a Combination of Graphical and Formal Languages
Proc. APSEC 2001
Preprint Cite DOI