Rudolf Schlatte

Bilde av Rudolf Schlatte
English version of this page
Telefon +47-22852971
Rom 8466
Brukernavn
Besøksadresse Gaustadalleen 23 B None 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

Publikasjoner

  • Chang Din, Crystal; Schlatte, Rudolf & Chen, Tzu-Chun (2018). Program Verification for Exception Handling on Active Objects Using Futures. Lecture Notes in Computer Science.  ISSN 0302-9743.  10886, s 73- 88 . doi: 10.1007/978-3-319-92970-5_5
  • Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2018). Release the Beasts: When Formal Methods Meet Real World Data. Lecture Notes in Computer Science.  ISSN 0302-9743.  10865, s 107- 121 . doi: 10.1007/978-3-319-90089-6_8
  • Domenech, Jesus; Genaim, Samir; Johnsen, Einar Broch & Schlatte, Rudolf (2017). EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools. Lecture Notes in Computer Science.  ISSN 0302-9743.  10202 LNCS, s 379- 383 . doi: 10.1007/978-3-662-54494-5_22
  • Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özçep, Özgür; Neuenstadt, Christian & Brandt, Sebastian (2017). Querying industrial stream-temporal data: An ontology-based visual approach. Journal of Ambient Intelligence and Smart Environments.  ISSN 1876-1364.  9(1), s 77- 95 . doi: 10.3233/AIS-160415 Fulltekst i vitenarkiv.
  • 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 (2017). OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web Journal.  ISSN 1570-0844.  s 1- 28 Fulltekst i vitenarkiv.
  • Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Ozcep, Ozgur; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian & Horrocks, Ian (2016). Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases. CEUR Workshop Proceedings.  ISSN 1613-0073.  1818, s 34- 39
  • Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Özcep, Özgür & Brandt, Sebastian (2016). A visual query system for stream data access over ontologies. Lecture Notes in Computer Science.  ISSN 0302-9743.  9989, s 161- 166 . doi: 10.1007/978-3-319-47602-5_32
  • Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Ozcep, Ozgur & Brandt, Sebastian (2016). Domain experts surfing on stream sensor data over ontologies. CEUR Workshop Proceedings.  ISSN 1613-0073.  1588, s 11- 20
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2015). Integrating deployment architectures and resource consumption in timed object-oriented models. Journal of Logical and Algebraic Methods in Programming.  ISSN 2352-2216.  84(1), s 67- 91 . doi: 10.1016/j.jlamp.2014.07.001
  • Albert, Elvira; de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Wong, Peter Y. H. (2014). Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Service Oriented Computing and Applications.  ISSN 1863-2386.  8(4), s 323- 339 . doi: 10.1007/s11761-013-0148-0
  • Göri, Georg; Johnsen, Einar Broch; Schlatte, Rudolf & Stolz, Volker (2014). Erlang-style error recovery for concurrent objects with cooperative scheduling. Lecture Notes in Computer Science.  ISSN 0302-9743.  8803(2), s 5- 21 . doi: 10.1007/978-3-662-45231-8_2
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2014). Deployment variability in delta-oriented models. Lecture Notes in Computer Science.  ISSN 0302-9743.  8802, s 304- 319 . doi: 10.1007/978-3-662-45234-9_22
  • Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker & Zavattaro, Gianluigi (2014). Fault Model Design Space for Cooperative Concurrency. Lecture Notes in Computer Science.  ISSN 0302-9743.  8803(2), s 22- 36 . doi: 10.1007/978-3-662-45231-8_3
  • 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 (2013). Scalable End-user Access to Big Data, In Rajendra Akerkar (ed.),  Big Data Computing.  Taylor & Francis.  ISBN 978-1-46-657837-1.  Section II.
  • 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 (2013). Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science.  ISSN 0302-9743.  7955, s 125- 140 . doi: 10.1007/978-3-642-41242-4_11
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2013). Modeling Application-Level Management of Virtualized Resources in ABS. Lecture Notes in Computer Science.  ISSN 0302-9743.  7542, s 89- 108 . doi: 10.1007/978-3-642-35887-6_5
  • Bjørk, Joakim; de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). User-defined Schedulers for Real-Time Concurrent Objects. Innovations in Systems and Software Engineering.  ISSN 1614-5046. . doi: 10.1007/s11334-012-0184-5
  • de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf & Wong, Peter Y. H. (2012). Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. Lecture Notes in Computer Science.  ISSN 0302-9743.  7592, s 91- 106 . doi: 10.1007/978-3-642-33427-6_7
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science.  ISSN 0302-9743.  7253, s 187- 204 . doi: 10.1007/978-3-642-35743-5_12
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science.  ISSN 0302-9743.  7421, s 196- 213 . doi: 10.1007/978-3-642-31762-0_13
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Lecture Notes in Computer Science.  ISSN 0302-9743.  7635, s 71- 86 . doi: 10.1007/978-3-642-34281-3_8
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Johnsen, Einar Broch & Griesmayer, Andreas (2012). Exploiting Model Variability in ABS to Verify Distributed Algorithms. International Journal On Advances in Telecommunications.  ISSN 1942-2601.  5(1&2), s 55- 68 Vis sammendrag
  • Nobakht, Behrooz; de Boer, Frank S.; Jaghoori, Mohammad Mahdi & Schlatte, Rudolf (2012). Programming and deployment of active objects with application-level scheduling, In Sascha Ossowski & Paola Lecca (ed.),  Proceedings of the 27th Annual ACM Symposium on Applied Computing.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-0857-1.  Conference Presentation.  s 1883 - 1888 Vis sammendrag
  • Wong, Peter Y. H.; Albert, Elvira; Muschevici, Radu; Proenca, Jose; Schäfer, Jan & Schlatte, Rudolf (2012). The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. International Journal on Software Tools for Technology Transfer (STTT).  ISSN 1433-2779.  14(5), s 567- 588 . doi: 10.1007/s10009-012-0250-1 Vis sammendrag
  • Albert, Elvira; Genaim, Samir; Gómez-Zamalloa, Miguel; Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Lecture Notes in Computer Science.  ISSN 0302-9743.  6664, s 353- 368
  • Clarke, Dave; Diakov, Nikolay; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina; Schäfer, Jan; Schlatte, Rudolf & Wong, Peter Y. H. (2011). Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. Lecture Notes in Computer Science.  ISSN 0302-9743.  6659, s 417- 457
  • Clarke, Dave; Muschevici, Radu; Proenca, Jose; Schaefer, Ina & Schlatte, Rudolf (2011). Variability Modelling in the ABS Language. Lecture Notes in Computer Science.  ISSN 0302-9743.  6957, s 204- 224 . doi: 10.1007/978-3-642-25271-6_11 Vis sammendrag
  • Johnsen, Einar Broch; Hähnle, Reiner; Schäfer, Jan; Schlatte, Rudolf & Steffen, Martin (2011). ABS: A Core Language for Abstract Behavioral Specification. Lecture Notes in Computer Science.  ISSN 0302-9743.  6957
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Validating Timed Models of Deployment Components with Parametric Concurrency. Lecture Notes in Computer Science.  ISSN 0302-9743.  6528, s 46- 60
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Integrating Aspects of Software Deployment in High-Level Executable Models, In  Norsk Informatikkonferanse NIK 2011.  Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  Kap XX.
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf & Griesmayer, Andreas (2011). Verifying Distributed Algorithms with Executable Creol Models, In  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).  ISBN 978-1-61208-005-5.  article.
  • Schlatte, Rudolf; Johnsen, Einar Broch; Kazemeyni, Fatemeh Sadat & Tapia Tarifa, Silvia Lizeth (2011). Models of Rate Restricted Communication for Concurrent Objects. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  274, s 67- 81 . doi: 10.1016/j.entcs.2011.07.007
  • Bjørk, Joakim; Johnsen, Einar Broch; Owe, Olaf & Schlatte, Rudolf (2010). Lightweight Time Modeling in Timed Creol. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  36, s 67- 81
  • 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 (2010). Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  266, s 33- 48
  • 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 (2010). The Credo Methodology (Extended Version). Lecture Notes in Computer Science.  ISSN 0302-9743.  6286, s 41- 69
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Deployment Components with Parametric Concurrency, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 23 - 25
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Dynamic Resource Reallocation between Deployment Components. Lecture Notes in Computer Science.  ISSN 0302-9743.  6447, s 646- 661
  • Schlatte, Rudolf; Aichernig, Bernhard K.; Griesmayer, Andreas & Kyas, Marcel (2010). Resource Modeling for Timed Creol Models. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  266, s 63- 75 . doi: http://dx.doi.org/10.1016/j.entcs.2010.08.049 Vis sammendrag

Se alle arbeider i Cristin

  • 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 (2016). Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. CEUR Workshop Proceedings.  ISSN 1613-0073.  1818
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf & Griesmayer, Andreas (2010). Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks. Report at the Norwegian Computing Center. NR-rapport nr 1024. Vis sammendrag
  • 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 (2009). Credo methodology - Modeling and analyzing a peer-to-peer system in Credo.

Se alle arbeider i Cristin

Publisert 3. mars 2011 20:32 - Sist endret 9. mai 2016 11:25