Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-50 av 71 << Forrige 1 2    Neste >>

2018
1 Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sánchez, César; Schneider, Gerardo; Stolz, Volker.
COST Action IC1402 Runtime Verification Beyond Monitoring. Lecture Notes in Computer Science 2018 ;Volum 11237.
HVL Untitled
 
2 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational Semantics of a Weak Memory Model with Channel Synchronization. Oslo: Faculty of mathematics and natural sciences, University of Oslo 2018 (ISBN 978-82-7368-442-4) 40 s.
UiO Untitled
 
3 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science 2018 ;Volum 10951 LNCS. s. 258-276
HVL UiO Untitled
 
4 Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet; Stolz, Volker.
Stream-based dynamic data race detection. NIK: Norsk Informatikkonferanse 2018 s. -
HVL Untitled
 
5 Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker.
COEMS. Norsk Informatikkonferanse; 2018-09-18 - 2018-09-20
HVL Untitled
 
6 Jaksic, Svetlana; Schmitz, Malte; Stolz, Volker; Thoma, Daniel.
Static analysis for dynamic data race detection with TeSSLa. Nordic Workshop on Programming Theory; 2018-10-24 - 2018-10-26
HVL UiO Untitled
 
7 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
A tool for the convergence of multilevel modelling approaches. CEUR Workshop Proceedings 2018 ;Volum 2245. Suppl. MULTI - 5th Internat s. 633-642
HVL UiO Untitled
 
8 Macías, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto; Wolter, Uwe Egbert.
An Approach to Flexible Multilevel Modelling. Enterprise Modelling and Information Systems Architectures - An International Journal 2018 ;Volum 13. s. 1-34
HVL UiB Untitled
 
9 Mann, Zoltan Adam; Stolz, Volker.
Advances in Service-Oriented and Cloud Computing. Springer 2018 (ISBN 978-3-319-79089-3) 194 s. Communications in Computer and Information Science(824)
HVL UiO Untitled
 
10 Mann, Zoltan; Stolz, Volker.
Preface. Communications in Computer and Information Science 2018 ;Volum 824.
HVL Untitled
 
11 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Lecture Notes in Computer Science 2018 ;Volum 11090. s. 158-180
HVL UIS Untitled
 
12 Wang, Rui; Kristensen, Lars Michael; Stolz, Volker.
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. Lecture Notes in Computer Science 2018 ;Volum 11181. s. 97-113
HVL Untitled
 
2017
13 Braz, Larissa; Gheyi, Rohit; Stolz, Volker; Ribeiro, Márcio.
Analyzing Changes on Configurable Systems with #ifdefs. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. -
HVL UiO Untitled
 
14 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian.
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines. Oslo: Faculty of mathematics and natural sciences, University of Oslo 2017 (ISBN 978-82-7368-431-8) 19 s.
UiO Untitled
 
15 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian.
Operational Semantics of a Weak Memory Model inspired by Go. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 50-52
UiO Untitled
 
16 Jaksic, Svetlana; Leucker, Martin; Li, Dan; Stolz, Volker.
COEMS — open traces from the industry. Kalpa Publications in Computing 2017 ;Volum 3. s. 96-105
HVL Untitled
 
17 Kristensen, Lars Michael; Wang, Rui; Stolz, Volker; Meling, Hein.
Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 22-24
HVL UIS Untitled
 
18 Kyriakos, Kritikos; Zoltán Ádám, Mann; Claus, Pahl; Stolz, Volker.
Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017. Universitetet i Oslo 2017 (ISBN 978-82-7368-436-3) 138 s.
UiO Untitled
 
19 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Coordination and Amalgamation of Multilevel Coupled Model Transformations. Nordic Workshop on Programming Theory; 2017-11-01 - 2017-11-03
HVL Untitled
 
20 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel modelling with multecore a contribution to the MULTI 2017 challenge. CEUR Workshop Proceedings 2017 ;Volum 2019. s. 269-273
HVL UiO Untitled
 
21 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
Application of Model-based Testing on a Quorum-based Distributed Storage. CEUR Workshop Proceedings 2017 ;Volum 1846. s. 177-196
HVL UIS Untitled
 
2016
22 Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker; Wickert, Anna-Katharina.
Information flow analysis for Go. Lecture Notes in Computer Science 2016 ;Volum 9952 LNCS. s. 431-445
HVL UiO Untitled
 
23 Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker.
Safer refactorings. Lecture Notes in Computer Science 2016 ;Volum 9952 LNCS. s. 517-531
HVL UiB Untitled
 
24 Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker.
Safer Refactorings with Assertions. Seminar on Advanced Techniques & Tools for Software Evolution (SATToSE 2016); 2016-07-11 - 2016-07-13
HVL UiB Untitled
 
25 Kristensen, Lars Michael; Krogstie, Birgit Rognebakke; Stolz, Volker.
Forord til NIK 2016 og UDIT 2016. NIK: Norsk Informatikkonferanse 2016 s. -
HVL NTNU Untitled
 
26 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel Behavioural Metamodelling. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiO Untitled
 
27 Macías, Fernando; Scheffel, Torben; Schmitz, Malte; Wang, Rui; Leuker, Martin; Rutle, Adrian; Stolz, Volker.
Integration of Runtime Verification into Metamodeling. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiO Untitled
 
28 Macias Gomez de Villar, Fernando; Rutle, Adrian; Stolz, Volker.
MultEcore: Combining the best of fixed-level and multilevel metamodelling. CEUR Workshop Proceedings 2016 ;Volum 1722. s. 66-75
HVL UiO Untitled
 
29 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Effect-Polymorphic Behaviour Inference for Deadlock Checking. Journal of Logical and Algebraic Methods in Programming 2016 ;Volum 85.(6) s. 1234-1267
HVL UiO Untitled
 
30 Rosenberg, Carl Martin; Steffen, Martin; Stolz, Volker.
Leveraging DTrace for runtime verification. Lecture Notes in Computer Science 2016 ;Volum 10012 LNCS. s. 318-332
HVL UiO Untitled
 
2015
31 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
A Property Specification Language for Runtime Verification of Executable Models. Nordic Workshop on Programming Theory; 2015-10-21 - 2015-10-23
HVL Untitled
 
2014
32 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
 
33 Kristiansen, Erlend; Stolz, Volker.
Search-based composed refactorings. NIK: Norsk Informatikkonferanse 2014 ;Volum 3. s. -
HVL UiO Untitled
 
34 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
 
35 Li, Dan; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker.
Automated transformations from UML behavior models to contracts. Science China Information Sciences 2014 ;Volum 57.(12) s. 1-17
UiO Untitled
 
36 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Behaviour Inference for Deadlock Checking. I: 2014 Theoretical Aspects of Software Engineering Conference. IEEE conference proceedings 2014 ISBN 978-1-4799-5029-4. s. 106-113
UiO Untitled
 
37 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock checking by data race detection. Journal of Logical and Algebraic Methods in Programming 2014 ;Volum 83.(5-6) s. 400-426
UiO Untitled
 
38 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science 2014 ;Volum 8702. s. 50-64
UiO Untitled
 
39 Schmid, Klaus; Stolz, Volker; Trancón y Widemann, Baltasar.
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014. CEUR Workshop Proceedings 2014 ;Volum 1129.
UiO Untitled
 
40 Stolz, Volker; Trancón-y-Widemann, Baltasar.
7. Arbeitstagung Programmiersprachen (ATPS 2014). I: Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik. Bonner Köllen Verlag 2014 ISBN 978-388579-621-3. s. 205-206
UiO Untitled
 
41 Xue, Jinyun; Stolz, Volker.
TTSS'13 - Preface. Electronical Notes in Theoretical Computer Science 2014 ;Volum 309. s. 1-2
UiO Untitled
 
2013
42 Li, Dan; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker.
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference : Proceedings 2013 s. 191-200
UiO Untitled
 
43 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science 2013 ;Volum 8161.
UiO Untitled
 
44 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Lock-Polymorphic Behaviour Inference for Deadlock Checking. Universitetet i Oslo 2013 (ISBN 82-7368-398-2) 35 s.
UiO Untitled
 
45 Steven, Arzt; Falzon, Kevin; Follner, Andreas; Rasthofer, Siegfried; Bodden, Eric; Stolz, Volker.
How useful are existing monitoring languages for securing Android apps?. Lecture Notes in Informatics 2013 ;Volum 215. s. 107-122
UiO Untitled
 
2012
46 Bertolini, Cristiano; Schäf, Martin; Stolz, Volker.
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. Lecture Notes in Computer Science 2012 ;Volum 7151. s. 57-74
UiO Untitled
 
47 Bodden, Eric; Falzon, Kevin; Pun, Ka I; Stolz, Volker.
Delta-oriented Monitor Specification. Lecture Notes in Computer Science 2012 ;Volum 7609. s. 162-177
UiO Untitled
 
48 Li, Dan; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker.
Interactive Transformations from Object-Oriented Models to Component-Based Models. Lecture Notes in Computer Science 2012 ;Volum 7253. s. 97-114
UiO Untitled
 
49 Li, Dan; Li, Xiaoshan; Stolz, Volker.
Model Querying with Graphical Notation of QVT Relations. Software engineering notes 2012 ;Volum 37.(4)
UiO Untitled
 
50 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Behaviour Inference for Deadlock Checking. : Universitet i Oslo Report 416 2012 (ISBN 82-7368-379-6") 36 s.
UiO Untitled
 
    Vis neste liste