|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
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
|