Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-50 of 57 << Previous 1 2    Next >>

2024
1 Kobialka, Paul; Schlatte, Rudolf; Bergersen, Gunnar R.; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth.
Simulating User Journeys with Active Objects. Lecture Notes in Computer Science (LNCS) 2024 ;Volume 14360.
UiO Untitled
 
2023
2 Kamburjan, Eduard; Klungre, Vidar Norstein; Tapia Tarifa, Silvia Lizeth; Schlatte, Rudolf; Giese, Martin; Cameron, David B.; Johnsen, Einar Broch.
Emerging Challenges in Compositionality and Correctness for Digital Twins. CEUR Workshop Proceedings 2023 ;Volume 3507. p. -
UiO Untitled
 
3 Stenseth, Nils Christian; Schlatte, Rudolf; Liu, Xiaoli; Pielke, Roger Jr.; Chen, Ben; Bjørnstad, Ottar Nordal; Kusnezov, Dimitri; Gao, George F.; Fraser, Christophe; Whittington, Jason D; Gong, Peng; Guan, Dabo; Johnsen, Einar Broch.
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 of the United States of America 2023 ;Volume 120.(40) p. -
UiO Untitled
 
4 Stenseth, Nils Christian; Schlatte, Rudolf; Liu, Xiaoli; Pielke, Roger; Li, Ruiyun; Chen, Bin; Bjørnstad, Ottar Nordal; Kusnezov, Dimitri; Gao, George F.; Fraser, Christophe; Whittington, Jason D; Bai, Yuqi; Deng, Ke; Gong, Peng; Guan, Dabo; Xiao, Yixiong; Xu, Bing; Johnsen, Einar Broch.
How to avoid a local epidemic becoming a global pandemic. Proceedings of the National Academy of Sciences of the United States of America 2023 ;Volume 120.(10) p. -
UiO Untitled
 
2022
5 Horn, Geir; Schlatte, Rudolf; Johnsen, Einar Broch.
Digital Twins for Autonomic Cloud Application Management. I: Advanced Information Networking and Applications: Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3. Springer 2022 ISBN 978-3-030-99618-5. p. 141-152
UiO Untitled
 
6 Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch.
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. Lecture Notes in Computer Science (LNCS) 2022 ;Volume 13701. p. 188-204
UiO UiB Untitled
 
7 Kamburjan, Eduard; Klungre, Vidar Norstein; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Cameron, David; Johnsen, Einar Broch.
Digital Twin Reconfiguration Using Asset Models. Lecture Notes in Computer Science (LNCS) 2022 ;Volume 13704. p. 71-88
UiO Untitled
 
8 Schlatte, Rudolf.
A Note on Idleness Detection of Actor Systems. Lecture Notes in Computer Science (LNCS) 2022 ;Volume 13360. p. 437-445
UiO Untitled
 
9 Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard; Tapia Tarifa, Silvia Lizeth.
The ABS simulator toolchain. Science of Computer Programming 2022 ;Volume 223.
UiO Untitled
 
2021
10 Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch; Giese, Martin.
Programming and Debugging with Semantically Lifted States (Full Paper). : Springer 2021 (ISBN 978-82-7368-464-6) 21 p. Lecture Notes in Computer Science (LNCS)(12731)
UiO Untitled
 
11 Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth.
Designing Distributed Control with Hybrid Active Objects. I: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV. Springer 2021 ISBN 978-3-030-83722-8. p. 88-108
UiO Untitled
 
12 Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard; Tapia Tarifa, Silvia Lizeth.
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. Lecture Notes in Computer Science (LNCS) 2021 p. -
UiO Untitled
 
2020
13 de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Tveito, Lars.
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. OpenAccess Series in Informatics 2020 ;Volume 86. p. 10:1-10:18
UiO Untitled
 
14 Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Cservenka, Martin Holm; Lanese, Ivan; Mogensen, Torben Æ.; Siljak, Harun; Schultz, Ulrik Pagh; Ulidowski, Irek.
Software and Reversible Systems: A Survey of Recent Activities. I: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer 2020 ISBN 978-3-030-47360-0. p. 41-59
UiO Untitled
 
15 Schlatte, Rudolf.
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer 2020 (ISBN 978-3-030-47360-0) 237 p.
UiO Untitled
 
16 Tveito, Lars; Johnsen, Einar Broch; Schlatte, Rudolf.
Global Reproducibility Through Local Control for Distributed Active Objects. I: Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Springer 2020 ISBN 978-3-030-45233-9. p. 140-160
UiO Untitled
 
2018
17 Chang Din, Crystal; Schlatte, Rudolf; Chen, Tzu-Chun.
Program Verification for Exception Handling on Active Objects Using Futures. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 10886. p. 73-88
UiO Untitled
 
18 Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Release the Beasts: When Formal Methods Meet Real World Data. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 10865. p. 107-121
UiO Untitled
 
2017
19 Domenech, Jesus; Genaim, Samir; Johnsen, Einar Broch; Schlatte, Rudolf.
EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10202 LNCS. p. 379-383
UiO Untitled
 
20 Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özçep, Özgür; Neuenstadt, Christian; Brandt, Sebastian.
Querying industrial stream-temporal data: An ontology-based visual approach. Journal of Ambient Intelligence and Smart Environments 2017 ;Volume 9.(1) p. 77-95
UiO NTNU Untitled
 
21 Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein; Horrocks, Ian.
OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web Journal 2017 p. 1-28
UiO NTNU Untitled
 
2016
22 Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Ozcep, Ozgur; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian; Horrocks, Ian.
Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases. CEUR Workshop Proceedings 2016 ;Volume 1818. p. 34-39
UiO NTNU Untitled
 
23 Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Özcep, Özgür; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian; Horrocks, Ian.
Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. CEUR Workshop Proceedings 2016 ;Volume 1818.
NTNU UiO Untitled
 
24 Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Özcep, Özgür; Brandt, Sebastian.
A visual query system for stream data access over ontologies. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9989. p. 161-166
NTNU UiO Untitled
 
25 Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Ozcep, Ozgur; Brandt, Sebastian.
Domain experts surfing on stream sensor data over ontologies. CEUR Workshop Proceedings 2016 ;Volume 1588. p. 11-20
UiO NTNU Untitled
 
2015
26 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Integrating deployment architectures and resource consumption in timed object-oriented models. Journal of Logical and Algebraic Methods in Programming 2015 ;Volume 84.(1) p. 67-91
UiO Untitled
 
2014
27 Albert, Elvira; de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Wong, Peter Y. H..
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Service Oriented Computing and Applications 2014 ;Volume 8.(4) p. 323-339
UiO Untitled
 
28 Göri, Georg; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker.
Erlang-style error recovery for concurrent objects with cooperative scheduling. Lecture Notes in Computer Science (LNCS) 2014 ;Volume 8803.(2) p. 5-21
UiO Untitled
 
29 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Deployment variability in delta-oriented models. Lecture Notes in Computer Science (LNCS) 2014 ;Volume 8802. p. 304-319
UiO Untitled
 
30 Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker; Zavattaro, Gianluigi.
Fault Model Design Space for Cooperative Concurrency. Lecture Notes in Computer Science (LNCS) 2014 ;Volume 8803.(2) p. 22-36
UiO Untitled
 
2013
31 Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis; Kllapi, Herald; Koubarakis, Manolis; Lenzerini, Maurizio; Moeller, Ralf; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schlatte, Rudolf; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild.
Scalable End-user Access to Big Data. I: Big Data Computing. Taylor & Francis 2013 ISBN 978-1-46-657837-1.
UiO Untitled
 
32 Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin; Haase, Peter; Horrocks, Ian; Kllapi, Herald; Koubarakis, Manolis; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schmidt, Michael; Schlatte, Rudolf; Soylu, Ahmet; Waaler, Arild.
Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science (LNCS) 2013 ;Volume 7955. p. 125-140
UiO Untitled
 
33 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Modeling Application-Level Management of Virtualized Resources in ABS. Lecture Notes in Computer Science (LNCS) 2013 ;Volume 7542. p. 89-108
UiO Untitled
 
2012
34 Bjørk, Joakim; de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
User-defined Schedulers for Real-Time Concurrent Objects. Innovations in Systems and Software Engineering 2012
UiO Untitled
 
35 de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Wong, Peter Y. H..
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7592. p. 91-106
UiO Untitled
 
36 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7253. p. 187-204
UiO Untitled
 
37 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7421. p. 196-213
UiO Untitled
 
38 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7635. p. 71-86
UiO Untitled
 
39 Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Johnsen, Einar Broch; Griesmayer, Andreas.
Exploiting Model Variability in ABS to Verify Distributed Algorithms. International Journal On Advances in Telecommunications 2012 ;Volume 5.(1&2) p. 55-68
NR UiO Untitled
 
40 Nobakht, Behrooz; de Boer, Frank S.; Jaghoori, Mohammad Mahdi; Schlatte, Rudolf.
Programming and deployment of active objects with application-level scheduling. I: Proceedings of the 27th Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM) 2012 ISBN 978-1-4503-0857-1. p. 1883-1888
UiO Untitled
 
41 Wong, Peter Y. H.; Albert, Elvira; Muschevici, Radu; Proenca, Jose; Schäfer, Jan; Schlatte, Rudolf.
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. International Journal on Software Tools for Technology Transfer (STTT) 2012 ;Volume 14.(5) p. 567-588
UiO Untitled
 
2011
42 Albert, Elvira; Genaim, Samir; Gómez-Zamalloa, Miguel; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Lecture Notes in Computer Science (LNCS) 2011 ;Volume 6664. p. 353-368
UiO Untitled
 
43 Clarke, Dave; Diakov, Nikolay; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina; Schäfer, Jan; Schlatte, Rudolf; Wong, Peter Y. H..
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. Lecture Notes in Computer Science (LNCS) 2011 ;Volume 6659. p. 417-457
UiO Untitled
 
44 Clarke, Dave; Muschevici, Radu; Proenca, Jose; Schaefer, Ina; Schlatte, Rudolf.
Variability Modelling in the ABS Language. Lecture Notes in Computer Science (LNCS) 2011 ;Volume 6957. p. 204-224
UiO Untitled
 
45 Johnsen, Einar Broch; Hähnle, Reiner; Schäfer, Jan; Schlatte, Rudolf; Steffen, Martin.
ABS: A Core Language for Abstract Behavioral Specification. Lecture Notes in Computer Science (LNCS) 2011 ;Volume 6957.
UiO Untitled
 
46 Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Validating Timed Models of Deployment Components with Parametric Concurrency. Lecture Notes in Computer Science (LNCS) 2011 ;Volume 6528. p. 46-60
UiO Untitled
 
47 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Integrating Aspects of Software Deployment in High-Level Executable Models. I: Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag 2011 ISBN 978-82-519-2843-4.
UiO Untitled
 
48 Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Griesmayer, Andreas.
Verifying Distributed Algorithms with Executable Creol Models. I: PESARO 2011 The First International Conference on Performance, Safety and Robustness in Complex Systems and Applications, April 17-22, 2011, Budapest, Hungary. International Academy, Research and Industry Association (IARIA) 2011 ISBN 978-1-61208-005-5.
USN NR UiO Untitled
 
49 Schlatte, Rudolf; Johnsen, Einar Broch; Kazemeyni, Fatemeh Sadat; Tapia Tarifa, Silvia Lizeth.
Models of Rate Restricted Communication for Concurrent Objects. Electronical Notes in Theoretical Computer Science 2011 ;Volume 274. p. 67-81
UiO Untitled
 
2010
50 Bjørk, Joakim; Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf.
Lightweight Time Modeling in Timed Creol. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2010 ;Volume 36. p. 67-81
UiO Untitled
 
    Show next list