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-50 of 77 << Previous 1 2    Next >>

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 p.
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 ;Volume 302. p. 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 p.
HVL Untitled
 
4 Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker.
Visualization and abstractions for execution paths in model-based software testing. Lecture Notes in Computer Science (LNCS) 2019 ;Volume 11918.
HVL Untitled
 
5 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 ;Volume 104. p. 254-273
HVL UIS Untitled
 
2018
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 (LNCS) 2018 ;Volume 11237. p. 18-26
HVL Untitled
 
7 Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet; Stolz, Volker.
Stream-based dynamic data race detection. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 p. -
HVL Untitled
 
8 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 10951 LNCS. p. 258-276
HVL UiO Untitled
 
9 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 p.
UiO Untitled
 
10 Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker.
COEMS. Norsk Informatikkonferanse; 2018-09-18 - 2018-09-20
HVL Untitled
 
11 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
 
12 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
A tool for the convergence of multilevel modelling approaches. CEUR Workshop Proceedings 2018 ;Volume 2245. Suppl. MULTI - 5th Internat p. 633-642
HVL UiO Untitled
 
13 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 ;Volume 13. p. 1-34
HVL UiB Untitled
 
14 Mann, Zoltan Adam; Stolz, Volker.
Advances in Service-Oriented and Cloud Computing. Springer 2018 (ISBN 978-3-319-79089-3) 194 p. Communications in Computer and Information Science(824)
HVL UiO Untitled
 
15 Mann, Zoltan; Stolz, Volker.
Preface. Communications in Computer and Information Science 2018 ;Volume 824.
HVL Untitled
 
16 Stolz, Volker.
Can we rely on a software-defined society? The role of formal methods.. https://youtu.be/n8v3HO-Lv8A?t=27032 [Internet] 2018-11-28
HVL Untitled
 
17 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 (LNCS) 2018 ;Volume 11090. p. 158-180
HVL UIS Untitled
 
18 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 (LNCS) 2018 ;Volume 11181. p. 97-113
HVL Untitled
 
2017
19 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. p. -
HVL UiO Untitled
 
20 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 p.
UiO Untitled
 
21 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. p. 50-52
UiO Untitled
 
22 Jaksic, Svetlana; Leucker, Martin; Li, Dan; Stolz, Volker.
COEMS — open traces from the industry. Kalpa Publications in Computing 2017 ;Volume 3. p. 96-105
HVL Untitled
 
23 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 p.
UiO Untitled
 
24 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
 
25 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel modelling with multecore a contribution to the MULTI 2017 challenge. CEUR Workshop Proceedings 2017 ;Volume 2019. p. 269-273
HVL UiO Untitled
 
26 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
Application of Model-based Testing on a Quorum-based Distributed Storage. CEUR Workshop Proceedings 2017 ;Volume 1846. p. 177-196
HVL UIS Untitled
 
27 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. p. 22-24
HVL UIS Untitled
 
2016
28 Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker; Wickert, Anna-Katharina.
Information flow analysis for Go. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9952 LNCS. p. 431-445
HVL UiO Untitled
 
29 Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker.
Safer refactorings. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9952 LNCS. p. 517-531
HVL UiB Untitled
 
30 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
 
31 Kristensen, Lars Michael; Krogstie, Birgit Rognebakke; Stolz, Volker.
Forord til NIK 2016 og UDIT 2016. NIKT: Norsk IKT-konferanse for forskning og utdanning 2016 p. -
HVL NTNU Untitled
 
32 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel Behavioural Metamodelling. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiO Untitled
 
33 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
 
34 Macias Gomez de Villar, Fernando; Rutle, Adrian; Stolz, Volker.
MultEcore: Combining the best of fixed-level and multilevel metamodelling. CEUR Workshop Proceedings 2016 ;Volume 1722. p. 66-75
HVL UiO Untitled
 
35 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Effect-Polymorphic Behaviour Inference for Deadlock Checking. Journal of Logical and Algebraic Methods in Programming 2016 ;Volume 85.(6) p. 1234-1267
HVL UiO Untitled
 
36 Rosenberg, Carl Martin; Steffen, Martin; Stolz, Volker.
Leveraging DTrace for runtime verification. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 10012 LNCS. p. 318-332
HVL UiO Untitled
 
2015
37 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
38 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
 
39 Kristiansen, Erlend; Stolz, Volker.
Search-based composed refactorings. NIKT: Norsk IKT-konferanse for forskning og utdanning 2014 ;Volume 3. p. -
HVL UiO Untitled
 
40 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
 
41 Li, Dan; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker.
Automated transformations from UML behavior models to contracts. Science China Information Sciences 2014 ;Volume 57.(12) p. 1-17
UiO Untitled
 
42 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. p. 106-113
UiO Untitled
 
43 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock checking by data race detection. Journal of Logical and Algebraic Methods in Programming 2014 ;Volume 83.(5-6) p. 400-426
UiO Untitled
 
44 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science (LNCS) 2014 ;Volume 8702. p. 50-64
UiO Untitled
 
45 Schmid, Klaus; Stolz, Volker; Trancón y Widemann, Baltasar.
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014. CEUR Workshop Proceedings 2014 ;Volume 1129.
UiO Untitled
 
46 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. p. 205-206
UiO Untitled
 
47 Xue, Jinyun; Stolz, Volker.
TTSS'13 - Preface. Electronical Notes in Theoretical Computer Science 2014 ;Volume 309. p. 1-2
UiO Untitled
 
2013
48 Li, Dan; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker.
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference : Proceedings 2013 p. 191-200
UiO Untitled
 
49 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science (LNCS) 2013 ;Volume 8161.
UiO Untitled
 
50 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Lock-Polymorphic Behaviour Inference for Deadlock Checking. Universitetet i Oslo 2013 (ISBN 82-7368-398-2) 35 p.
UiO Untitled
 
    Show next list