Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-41 av 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 2018 ;Volum 10886. s. 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 2018 ;Volum 10865. s. 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 2017 ;Volum 10202 LNCS. s. 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 ;Volum 9.(1) s. 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 s. 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 ;Volum 1818. s. 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 ;Volum 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 2016 ;Volum 9989. s. 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 ;Volum 1588. s. 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 ;Volum 84.(1) s. 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 ;Volum 8.(4) s. 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 2014 ;Volum 8803.(2) s. 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 2014 ;Volum 8802. s. 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 2014 ;Volum 8803.(2) s. 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 2013 ;Volum 7955. s. 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 2013 ;Volum 7542. s. 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 2012 ;Volum 7592. s. 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 2012 ;Volum 7253. s. 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 2012 ;Volum 7421. s. 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 2012 ;Volum 7635. s. 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 ;Volum 5.(1&2) s. 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. s. 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 ;Volum 14.(5) s. 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 2011 ;Volum 6664. s. 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 2011 ;Volum 6659. s. 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 2011 ;Volum 6957. s. 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 2011 ;Volum 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 2011 ;Volum 6528. s. 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 ;Volum 274. s. 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 ;Volum 36. s. 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 ;Volum 266. s. 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 2010 ;Volum 6286. s. 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. s. 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 2010 ;Volum 6447. s. 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 s. 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 ;Volum 266. s. 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