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-41 of 41

2018
1 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
 
2 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
3 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
 
4 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
NTNU UiO Untitled
 
5 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
NTNU UiO Untitled
 
2016
6 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
NTNU UiO Untitled
 
7 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
 
8 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
 
9 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
NTNU UiO Untitled
 
2015
10 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
11 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
 
12 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
 
13 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
 
14 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
15 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
 
16 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
 
17 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
18 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
 
19 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
 
20 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
 
21 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
 
22 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
 
23 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
 
24 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
 
25 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
26 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
 
27 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
 
28 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
 
29 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
 
30 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
 
31 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
 
32 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
 
33 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
34 Bjørk, Joakim; Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf.
Lightweight Time Modeling in Timed Creol. Electronic Proceedings in Theoretical Computer Science 2010 ;Volume 36. p. 67-81
UiO Untitled
 
35 Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Cristel; Blechmann, Tobias; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Yi, Wang.
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electronical Notes in Theoretical Computer Science 2010 ;Volume 266. p. 33-48
NR UiO Untitled
 
36 Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim; Klüppelholz, Sascha; Stam, Andries; Baier, Christel; Blechmann, Tobias; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Yi, Wang.
The Credo Methodology (Extended Version). Lecture Notes in Computer Science (LNCS) 2010 ;Volume 6286. p. 41-69
NR UiO Untitled
 
37 Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Deployment Components with Parametric Concurrency. I: Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. Turku Finland: TUCS 2010 ISBN 978-952-12-2478-2. p. 23-25
UiO Untitled
 
38 Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Dynamic Resource Reallocation between Deployment Components. Lecture Notes in Computer Science (LNCS) 2010 ;Volume 6447. p. 646-661
UiO Untitled
 
39 Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Griesmayer, Andreas.
Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks. Norway: Norsk Regnesentral 2010 (ISBN 978-82-539-0534-1) 23 p. Report at the Norwegian Computing Center(NR-rapport nr 1024)
USN NR UiO Untitled
 
40 Schlatte, Rudolf; Aichernig, Bernhard K.; Griesmayer, Andreas; Kyas, Marcel.
Resource Modeling for Timed Creol Models. Electronical Notes in Theoretical Computer Science 2010 ;Volume 266. p. 63-75
Untitled
 
2009
41 Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias; Boer, de Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Wang, Yi; Grabe, Immo; Boer, Frank de; Broch Johnsen, Einar; Klüppelholz, Sascha; Kyas, Marcel; Yi, Wang.
Credo methodology - Modeling and analyzing a peer-to-peer system in Credo. The 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09); 2009-08-17 - 2009-08-17
NR UiO Untitled