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

2024
1 Pun, Violet Ka I; Simao, Adenilso; Stolz, Volker.
Preface: Special issue on Theoretical Aspects of Computing. Theoretical Computer Science 2024
HVL Untitled
 
2 Pun, Violet Ka I; Stolz, Volker.
Enforced Dependencies for Active Objects. Lecture Notes in Computer Science (LNCS) 2024 ;Volum 14360.
HVL Untitled
 
2023
3 Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker.
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innovations in Systems and Software Engineering 2023 s. -
HVL Untitled
 
4 Lee, Ming-Chang; Lin, Jia-Chun; Stolz, Volker.
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series. I: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE conference proceedings 2023 ISBN 979-8-3503-2697-0. s. 334-339
NTNU HVL Untitled
 
5 Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker.
Modular Soundness Checking of Feature Model Evolution Plans. Lecture Notes in Computer Science (LNCS) 2023 ;Volum 14446. s. 417-437
HVL UiB UiO Untitled
 
2022
6 Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker.
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13360. s. 1-18
HVL UiB Untitled
 
7 Abusdal, Ole Jørgen; Kamburjan, Eduard; Pun, Violet Ka I; Stolz, Volker.
A Notion of Equivalence for Refactorings with Abstract Execution. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13702. s. 259-280
UiO HVL Untitled
 
8 Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca; Viroli, Mirko.
Distributed runtime verification by past-CTL and the field calculus. Journal of Systems and Software 2022 ;Volum 187. s. -
HVL Untitled
 
9 Carvalho, Gustavo; Stolz, Volker.
Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 2020. Science of Computer Programming 2022 ;Volum 220. s. -
HVL Untitled
 
10 Dang, Thao; Stolz, Volker.
Runtime Verification. Springer Nature 2022 (ISBN 9783031171963) ;Volum 13498.347 s. Lecture Notes in Computer Science (LNCS)
HVL Untitled
 
2021
11 Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker.
MC/DC Test Cases Generation Based on BDDs. I: SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Beijing, China: Springer International Publishing 2021 ISBN 978-3-030-91265-9. s. 178-197
HVL Untitled
 
12 Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I; Stolz, Volker.
Hardware-Assisted Online Data Race Detection. Lecture Notes in Computer Science (LNCS) 2021 ;Volum 13065.
HVL Untitled
 
13 Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko.
Adaptive distributed monitors of spatial properties for cyber–physical systems. Journal of Systems and Software 2021 ;Volum 175. s. 1-24
HVL Untitled
 
2020
14 Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker.
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. I: Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020 Xi’an, China, October 26–27, 2020 Proceedings. Springer 2020 ISBN 978-3-030-65954-7. s. 68-83
HVL Untitled
 
15 Carvalho, Gustavo; Stolz, Volker.
Formal Methods: Foundations and Applications. Springer 2020 (ISBN 978-3-030-63882-5) 229 s. Lecture Notes in Computer Science (LNCS)(12475)
HVL Untitled
 
16 Pun, Ka I; Stolz, Volker; Simao, Adenilso.
Theoretical Aspects of Computing – ICTAC 2020. Springer 2020 (ISBN 978-3-030-64275-4) 317 s. Lecture Notes in Computer Science (LNCS)(12545)
HVL Untitled
 
17 Stolz, Volker; Pun, Ka I; Gheyi, Rohit.
Refactoring and Active Object Languages. Lecture Notes in Computer Science (LNCS) 2020
HVL Untitled
 
18 Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker.
Multi-objective Search for Model-based Testing. I: 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security (QRS 2020). IEEE conference proceedings 2020 ISBN 978-1-7281-8913-0. s. 130-141
HVL Untitled
 
2019
19 Ahishakiye, Faustin; Stolz, Volker; Jaksic, Svetlana; Lange, Felix Dino; Schmitz, Malte; Thoma, Daniel.
Non-intrusive MC/DC measurement based on traces. Guilin, China: Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), IEEE 2019 (ISBN 978-1-7281-3342-3) 7 s.
HVL Untitled
 
20 Ahishakiye, Faustin; Stolz, Volker; Kristensen, Lars Michael.
Generating test cases satisfying MC/DC from BDDs. Tallinn, Estonia: Proceedings of the 31st Nordic Workshop on Programming Theory 2019 2019 (ISBN 978-9949-83-520-1) 3 s.
HVL Untitled
 
21 Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko.
On Distributed Runtime Verification by Aggregate Computing. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2019 ;Volum 302. s. 47-61
HVL Untitled
 
22 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational semantics of a weak memory model with channel synchronization. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 103. s. 1-30
UiO HVL Untitled
 
23 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
 
24 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 ;Volum 11918.
HVL Untitled
 
25 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
26 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 ;Volum 11237. s. 18-26
HVL Untitled
 
27 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 s. -
HVL Untitled
 
28 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 10951 LNCS. s. 258-276
UiO HVL Untitled
 
29 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
 
30 Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker.
COEMS. Norsk Informatikkonferanse; 2018-09-18 - 2018-09-20
HVL Untitled
 
31 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
 
32 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
UiO HVL Untitled
 
33 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
UiB HVL Untitled
 
34 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
 
35 Mann, Zoltan; Stolz, Volker.
Preface. Communications in Computer and Information Science (CCIS) 2018 ;Volum 824.
HVL Untitled
 
36 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
 
37 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 ;Volum 11090. s. 158-180
UIS HVL Untitled
 
38 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 ;Volum 11181. s. 97-113
HVL Untitled
 
2017
39 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
 
40 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
 
41 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
 
42 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
 
43 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
 
44 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
 
45 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
 
46 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
UIS HVL Untitled
 
47 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
48 Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker; Wickert, Anna-Katharina.
Information flow analysis for Go. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9952 LNCS. s. 431-445
UiO HVL Untitled
 
49 Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker.
Safer refactorings. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9952 LNCS. s. 517-531
UiB HVL Untitled
 
50 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
 
    Vis neste liste