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 76 << Forrige 1 2    Neste >>

2019
1 Ahishakiye, Faustin; Stolz, Volker; Jaksic, Svetlana; Lange, Felix Dino; Schmitz, Malte; Thoma, Daniel.
Non-intrusive MC/DC measurement based on traces. IEEE conference proceedings 2019 (ISBN 978-1-7281-3342-3) 7 s.
HVL Untitled
 
2 Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko.
On Distributed Runtime Verification by Aggregate Computing. Electronic Proceedings in Theoretical Computer Science 2019 ;Volum 302. s. 47-61
HVL Untitled
 
3 Liu, Zhiming; Stolz, Volker.
Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems. Bergen, Norway: HVL 2019 566 s.
HVL Untitled
 
4 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 104. s. 254-273
HVL UIS Untitled
 
2018
5 Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet; Stolz, Volker.
Stream-based dynamic data race detection. NIK: Norsk Informatikkonferanse 2018 s. -
HVL Untitled
 
6 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. s. 18-26
HVL Untitled
 
7 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
 
8 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
 
9 Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker.
COEMS. Norsk Informatikkonferanse; 2018-09-18 - 2018-09-20
HVL Untitled
 
10 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
 
11 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
 
12 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
 
13 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
 
14 Mann, Zoltan; Stolz, Volker.
Preface. Communications in Computer and Information Science 2018 ;Volum 824.
HVL Untitled
 
15 Stolz, Volker.
Can we rely on a software-defined society? The role of formal methods.. https://youtu.be/n8v3HO-Lv8A?t=27032 [Internett] 2018-11-28
HVL Untitled
 
16 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
 
17 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
18 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
 
19 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
 
20 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
 
21 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
 
22 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
 
23 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
 
24 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
 
25 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
 
26 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
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
 
2016
27 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
 
28 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
 
29 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
 
30 Kristensen, Lars Michael; Krogstie, Birgit Rognebakke; Stolz, Volker.
Forord til NIK 2016 og UDIT 2016. NIK: Norsk Informatikkonferanse 2016 s. -
HVL NTNU Untitled
 
31 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel Behavioural Metamodelling. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiO Untitled
 
32 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
 
33 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
 
34 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
 
35 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
36 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
37 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
 
38 Kristiansen, Erlend; Stolz, Volker.
Search-based composed refactorings. NIK: Norsk Informatikkonferanse 2014 ;Volum 3. s. -
HVL UiO Untitled
 
39 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
 
40 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
 
41 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
 
42 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
 
43 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
 
44 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
 
45 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
 
46 Xue, Jinyun; Stolz, Volker.
TTSS'13 - Preface. Electronical Notes in Theoretical Computer Science 2014 ;Volum 309. s. 1-2
UiO Untitled
 
2013
47 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
 
48 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science 2013 ;Volum 8161.
UiO Untitled
 
49 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
 
50 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
 
    Vis neste liste