|
|
Norsk
versjon
In order to register data in Cristin, you must be an academic or administrative employee.
|
|
|
|
|
|
|
|
|
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
|