User journey games: automating user-centric analysis by Kobialka, Paul, Lizeth Tapia Tarifa, S., Bergersen, Gunnar R., Johnsen, Einar Broch

Get full text

Modeling Deployment Decisions for Elastic Services with ABS by Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, S. Lizeth

Get full text

Predicting resource consumption of Kubernetes container systems using resource models by Turin, Gianluca, Borgarelli, Andrea, Donetti, Simone, Damiani, Ferruccio, Johnsen, Einar Broch, Tapia Tarifa, S. Lizeth

Get full text

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System by Bezirgiannis, Nikolaos, de Boer, Frank, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, Silvia Lizeth

Request full text

The ABS simulator toolchain by Schlatte, Rudolf, Broch Johnsen, Einar, Kamburjan, Eduard, Tapia Tarifa, S. Lizeth

Get full text

A Configurable Software Model of a Self-Adaptive Robotic System by Päßler, Juliane, ter Beek, Maurice H., Damiani, Ferruccio, Johnsen, Einar Broch, Tapia Tarifa, S. Lizeth

Get full text

A formal model of data access for multicore architectures with multilevel caches by Bijo, Shiji, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, S. Lizeth

Get full text

Integrating deployment architectures and resource consumption in timed object-oriented models by Johnsen, Einar Broch, Schlatte, Rudolf, Tapia Tarifa, S. Lizeth

Get full text

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS by Albert, Elvira, de Boer, Frank S., Hähnle, Reiner, Johnsen, Einar Broch, Schlatte, Rudolf, Tapia Tarifa, S. Lizeth, Wong, Peter Y. H.

Get full text

User-defined schedulers for real-time concurrent objects by Bjørk, Joakim, de Boer, Frank S., Johnsen, Einar Broch, Schlatte, Rudolf, Tapia Tarifa, S. Lizeth

Get full text

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages by Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, S. Lizeth Tapia

Get full text

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins by Kamburjan, Eduard, Din, Crystal Chang, Schlatte, Rudolf, Tapia Tarifa, Silvia Lizeth, Johnsen, Einar Broch

Request full text

SymPaths: Symbolic Execution Meets Partial Order Reduction by de Boer, Frank, Bonsangue, Marcello, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, Silvia Lizeth, Tveito, Lars

Request full text

Modeling Deployment Decisions for Elastic Services with ABS by Johnsen, Einar Broch, Pun, Ka I, S Lizeth Tapia Tarifa

Get full text

Emerging Challenges in Compositionality and Correctness for Digital Twins by Kamburjan, Eduard, Klungre, Vidar Norstein, Tapia Tarifa, Silvia Lizeth, Schlatte, Rudolf, Giese, Martin, Cameron, David B, Johnsen, Einar Broch

Request full text

Smart Journey Mining for Improved Service Quality by Halvorsrud, Ragnhild, Mannhardt, Felix, Johnsen, Einar Broch, Tapia Tarifa, S. Lizeth

Request full text

A formal model of cloud-deployed software and its application to workflow processing by Johnsen, Einar Broch, Ka I Pun, Tarifa, S. Lizeth Tapia

Request full text

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles by Gustavo Rezende Silva, Päßler, Juliane, Zwanepol, Jeroen, Alberts, Elvin, S Lizeth Tapia Tarifa, Gerostathopoulos, Ilias, Johnsen, Einar Broch, Carlos Hernández Corbato

Get full text

Modular Soundness Checking of Feature Model Evolution Plans by Motzfeldt, Ida Sandberg, Yu, Ingrid Chieh, Din, Crystal Chang, Pun, Violet Ka I, Stolz, Volker

Request full text

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT by Luteberget, Bjørnar Steinnes, Claessen, Koen, Johansen, Christian

Request full text