Publications

(2020). A configurable and executable model of Spark Streaming on Apache YARN. IJGUC 11 (2): 185 - 195, 2020.

Preprint DOI

(2020). Lazy Product Discovery in Huge Configuration Spaces. Proc. ICSE 2020.

Preprint Project Video

(2020). Global Reproducibility through Local Control for Distributed Active Objects. Proc FASE 2020.

Preprint DOI

(2019). Godot: All the Benefits of Implicit and Explicit Futures. Proc. ECOOP 2019.

Preprint DOI Artefact

(2019). Asynchronous Cooperative Contracts for Cooperative Scheduling. Proc. SEFM 2019.

Preprint DOI

(2019). Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming 181: 1-26, 2019.

Preprint DOI

(2019). A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. Science of Computer Programming 179: 24-53, 2019.

Preprint DOI

(2019). Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Proc. FASE 2019.

Preprint DOI

(2018). Dynamic Software Updates and Context Adaptation for Distributed Active Objects. Festschrift Arnd Poetzsch-Heffter.

Preprint DOI

(2018). Deployment by Construction for Multicore Architectures. Proc. ISoLa 2018.

Preprint DOI

(2018). Checking Modal Contracts for Virtually Timed Ambients. Proc. ICTAC 2018.

Preprint DOI

(2018). Using Coloured Petri Nets for Resource Analysis of Active Objects. Proc. FACS 2018.

Preprint DOI

(2018). Resource-Aware Virtually Timed Ambients. Proc. IFM 2018.

Preprint DOI

(2018). Proc. 16th Intl Conference on Software Engineering and Formal Methods (SEFM 2018). Springer LNCS 10886.

DOI

(2018). Release the Beasts: When Formal Methods Meet Real World Data. Festschrift Farhad Arbab.

Preprint DOI

(2018). Modeling and Simulation of Spark Streaming. Proc. AINA 2018.

Preprint DOI

(2018). Virtually timed ambients: A calculus of nested virtualization. Journal of Logic and Algebraic Methods in Programming 94:109-127, 2018.

Preprint DOI

(2018). A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse. Journal of Logic and Algebraic Methods in Programming 95:82-102, 2018..

Preprint DOI

(2017). A Calculus of Virtually Timed Ambients. Proc WADT 2016.

Preprint DOI

(2017). Translating Active Objects into Colored Petri Nets for Communication Analysis. Proc. FSEN 2017.

Preprint DOI

(2017). A Survey of Active Object Languages". ACM Computing Surveys 50 (5): 76:1–76:39, 2017.

Preprint DOI

(2017). A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches". Proc. FACS 2017.

Preprint DOI

(2017). Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. Proc. TABLEAUX 2017.

Preprint DOI

(2017). A formal model of cloud-deployed software and its application to workflow processing. Proc. SoftCOM 2017.

Preprint DOI

(2017). Proc. 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC 2017). Springer LNCS 10465.

DOI

(2017). Proc. 11th International Conference on Tests and Proofs (TAP 2017). Springer LNCS 10375.

DOI

(2017). EasyInterface: A toolkit for rapid development of GUIs for research prototype tools. Proc. FASE 2017.

Preprint DOI

(2016). Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Proc. SETTA 2016.

Preprint DOI

(2016). Modeling Deployment Decisions for Elastic Services with ABS". Proc. IFMCloud 2016.

Preprint DOI

(2016). Comparing AWS Deployments Using Model-Based Predictions. Proc. ISoLa 2016.

Preprint DOI

(2016). 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 DOI

(2016). Proc. 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing (ESOCC 2016). Springer LNCS 9846.

DOI

(2016). Behavioral Types in Programming Languages. Foundations and Trends® in Programming Languages 3 (2-3): 95-230, 2016.

Preprint DOI

(2016). ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Proc. FASE 2016.

Preprint DOI

(2016). Meeting Deadlines, Elastically. . Festschrift Kaisa Sere.

Preprint DOI

(2016). 16 Sac Musepat. Proc. SAC 2016.

Preprint DOI

(2016). Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer LNCS 9660.

DOI

(2016). A Maude Framework for Cache Coherent Multicore Architectures. Proc. WRLA 2016.

Preprint DOI

(2016). Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types". Proc. FACS 2015.

Preprint DOI

(2016). A formal model of service-oriented dynamic object groups. Science of Computer Programming 115-116: 3-22, 2016.

Preprint DOI

(2015). History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Proc. ICFEM 2015.

Preprint DOI

(2015). Parallel Cost Analysis of Distributed Systems. Proc. SAS 2015.

Preprint DOI

(2015). Preparing HPC Applications for Exascale: Challenges and Recommendations. Proc. NBIS 2015.

Preprint DOI

(2015). Designing Resource-Aware Cloud Applications. IEEE Computer 48 (6), 2015.

Preprint DOI

(2015). Advanced Lectures on Formal Methods for Multicore Programming. SFM 2015.

DOI

(2015). Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. Formal Methods for Multicore Programming (SFM 2015).

Preprint DOI

(2015). A proof system for adaptable class hierarchies. Journal of Logical and Algebraic Methods in Programming 84 (1): 37-53, 2015.

Preprint DOI

(2015). 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 DOI

(2014). 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 DOI

(2014). Deployment Variability in Delta-Oriented Models. Proc. ISoLa 2014.

Preprint DOI

(2014). Fault Model Design Space for Cooperative Concurrency. Proc. ISoLa 2014.

Preprint DOI

(2014). Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. Proc. ISoLa 2014.

Preprint DOI

(2014). Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects of Computing 26 (4): 761-793, 2014.

Preprint DOI

(2014). Advanced Lectures on Formal Methods for Executable Software Models. Springer LNCS 8483.

DOI

(2014). 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 DOI

(2013). Engineering Virtualized Services. Proc NordiCloud 2013.

Preprint DOI

(2013). Proc. 10th International Conference on Integrated Formal Methods (IFM 2013). LNCS 7940.

DOI

(2013). Behavioural Design of Sensor Network Applications using Activity-Driven States. Proc. SESENA 2013.

Preprint DOI

(2013). User-defined Schedulers for Real-Time Concurrent Objects. Innovations in Systems and Software Engineering 9 (1):29-43, 2013.

Preprint DOI

(2013). Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. Proc. SAC 2013.

Preprint DOI

(2012). Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Proc. ICFEM 2012.

Preprint DOI

(2012). Tracking Behavioral Constraints during Object-Oriented Software Evolution. Proc. ISoLa 2012.

Preprint DOI

(2012). A Transformational Proof System for Delta-Oriented Programming. Proc. FMSPLE 2012.

Preprint DOI

(2012). Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. Proc. ESOCC 2012.

Preprint DOI

(2012). A Type-Safe Model of Adaptive Object Groups. Proc. FOCLASA 2012.

Preprint DOI

(2012). MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. Proc. IFM 2012.

Preprint DOI

(2012). Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects. Journal of Logic and Algebraic Programming 81 (3): 227-256, 2012.

Preprint DOI

(2012). Formal Modeling and Validation of a Power-Efficient Grouping Protocol for WSNs". Journal of Logic and Algebraic Programming 81 (3): 284-297, 2012.

Preprint DOI

(2012). Safe Locking for Multi-Threaded Java with Exceptions. Journal of Logic and Algebraic Programming 81 (3): 257-283, 2012.

Preprint DOI

(2012). A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Proc. FOVEOOS 2011.

Preprint DOI

(2012). A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Proc. FACS 2011.

Preprint DOI

(2012). ABS: A Core Language for Abstract Behavioral Specification. Proc. FMCO 2010.

Preprint DOI

(2011). Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance. Science of Computer Programming 76 (10):915-941, 2011.

Preprint DOI

(2011). Models of Rate Restricted Communication for Concurrent Objects. Proc. TTSS 2010.

Preprint DOI

(2011). Verifying Traits: A Proof System for Fine-Grained Reuse. Proc. FTfJP 2011.

Preprint DOI

(2011). Fault in the Future. Proc. COORDINATION 2011.

Preprint DOI

(2011). Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. Proc. SFM 2011.

Preprint DOI

(2011). Safe Locking for Multi-Threaded Java. Proc. FSEN 2011.

Preprint DOI

(2011). Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Proc. ICECCS 2011.

Preprint DOI

(2010). Dynamic Resource Reallocation Between Deployment Components. Proc. ICFEM 2010.

Preprint DOI

(2010). Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. Proc. CONCUR 2010.

Preprint DOI

(2010). Lazy Behavioral Subtyping. Journal of Logic and Algebraic Programming 79 (7): 578-607, 2010.

Preprint DOI

(2010). Lightweight Time Modeling in Timed Creol. Proc. RTRTS 2010.

Preprint DOI

(2010). Concurrent Objects a la Carte. Festschrift Willem-Paul de Roever.

Preprint DOI

(2010). Confluent Term Rewriting for Only-knowing Logics. Proc. STAIRS 2010.

Preprint DOI

(2010). Validating Timed Models of Deployment Components with Parametric Concurrency. Proc. FOVEOOS 2010.

Preprint DOI

(2010). Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Proc. FMOODS/FORTE 2010.

Preprint DOI

(2009). Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. Proc. FM 2009.

Preprint DOI

(2009). The 19th Nordic Workshop on Programming Theory (NWPT 2007). Journal of Logic and Algebraic Programming 78 (7).

DOI

(2009). Dynamic Symbolic Execution for Testing Distributed Objects. Proc. TAP 2009.

Preprint DOI

(2009). Proof Search for the First-Order Connection Calculus in Maude. Proc. WRLA 2008.

Preprint DOI

(2009). Incremental Reasoning for Multiple Inheritance. Proc. IFM 2009.

Preprint DOI

(2009). Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07. Theoretical Computer Science 410 (2-3).

DOI

(2008). Minimal Ownership for Active Objects. Proc. APLAS 2008.

Preprint DOI

(2008). Backwards Type Analysis of Asynchronous Method Calls. Journal of Logic and Algebraic Programming 77 (1-2): 40-59, 2008.

Preprint DOI

(2008). Testing Concurrent Objects with Application-Specific Schedulers. Proc. ICTAC 2008.

Preprint DOI

(2008). Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Proc. TTSS 2008.

Preprint DOI

(2008). An Object-Oriented Component Model for Heterogeneous Nets. Proc. FMCO 2007.

Preprint DOI

(2008). Validating Behavioral Component Interfaces in Rewriting Logic. Fundamenta Informaticae 82 (4): 341-359, 2008.

Preprint DOI

(2008). Lazy Behavioral Subtyping. Proc. FM 2008.

Preprint DOI

(2007). A Complete Guide to the Future. Proc. ESOP 2007.

Preprint DOI

(2007). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Proc. FInCo 2007.

(2007). An Asynchronous Communication Model for Distributed Concurrent Objects. Software and Systems Modeling 6 (1): 39-58, 2007.

Preprint DOI

(2007). Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).. LNCS 4468. © Springer 2007.

DOI

(2006). Structured Formal Development in Isabelle. Nordic Journal of Computing 13: 2-21, 2006..

Preprint

(2006). Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science 365 (1-2): 23-66, 2006..

DOI

(2006). Runtime Validation of Communication Histories. Proc. ICCP 2006.

Preprint

(2006). Type-Safe Runtime Class Upgrades in Creol. Proc. FMOODS 2006.

Preprint DOI

(2005). Inheritance in the Presence of Asynchronous Method Calls. Proc. HICSS 2005.

Preprint DOI

(2005). Validating Behavioral Component Interfaces in Rewriting Logic. Proc. FSEN 2005.

Preprint DOI

(2005). Representing Strategies for the Connection Calculus in Rewriting Logic. Proc. FTP 2005.

Preprint

(2005). A Dynamic Class Construct for Asynchronous Concurrent Objects. Proc. FMOODS 2005.

Preprint DOI

(2005). Verification of Concurrent Objects with Asynchronous Method Calls. Proc. SwSTE 2005.

Preprint DOI

(2004). Reasoning about Asynchronous Method Calls and Inheritance. Proc. NIK 2004.

Preprint

(2004). Toward Reflective Application Testing in Open Environments". Proc. NIK 2004.

Preprint

(2004). An Asynchronous Communication Model for Distributed Concurrent Objects. Proc. SEFM 2004.

Preprint DOI

(2004). Theorem Reuse by Proof Term Transformation". Proc. TPHOLs 2004.

Preprint DOI

(2004). A Run-time Environment for Concurrent Objects with Asynchronous Method Calls. Proc. WRLA 2004.

Preprint DOI

(2004). Object-Oriented Specification and Open Distributed Systems. Festschrift Ole-Johan Dahl.

Preprint DOI

(2003). Combining Active and Reactive Behavior in Concurrent Systems". Proc. NIK 2003.

Preprint

(2003). Abstracting Refinements for Transformation". Nordic Journal of Computing 10: 313-336, 2003.

Preprint

(2002). Combining Graphical and Formal Development of Open Distributed Systems. Proc. IFM 2002.

Preprint DOI

(2002). Composition and Refinement for Partial Object Specifications. Proc. FMPPTA 2002.

Preprint DOI

(2002). A Compositional Formalism for Object Viewpoints. Proc. FMOODS 2002.

Preprint

(2001). Incremental Fault-Tolerant Design in an Object-Oriented Setting. Proc. APAQS 2001.

Preprint DOI

(2001). Specification of Distributed Systems with a Combination of Graphical and Formal Languages. Proc. APSEC 2001.

Preprint DOI