Volker Stolz

Bilde av Volker Stolz
English version of this page
Telefon +47-22852438
Rom 9461
Treffetider etter avtale
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Institutt for informatikk

Volker Stolz

Førsteamanuensis, Høgskolen i Bergen


Open Master Theses

Academic Interests

  • Formal methods
  • Functional and logic programming
  • Aspect-oriented programming
  • Program analysis and transformation
  • Runtime verification

Events

  • NIK 2016, Norwegian Informatics Conference / Norwegian ICT conference on research and education, November 28.-30. 2016, Bergen, Norway
  • RV'16, Intl. Conf. on Runtime Verification & summer school, September 23.-30. 2016, Madrid, Spain
  • ATPS 2016, 9. Arbeitstagung Programmiersprachen, February 25.-26. 2016, Vienna, Austria

Past Events

Teaching

  • (2015, HiB) DAT153 Mobile and Distributed Applications
  • (2015, HiB) MOD350 Model-driven Software Engineering
  • (2015, UiO) INF5140Model Checking
  • (2014) INF3110 Programmeringsspråk
  • (2013) INF3110 Programmeringsspråk
  • (2012) INF3110 Programmeringsspråk
  • (2012) INF3230 Formell modellering og analyse av kommuniserende systemer
  • (2011) INF3110 Programmeringsspråk
  • (2010) INF3110 Programmeringsspråk
Emneord: programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification

Publikasjoner

  • Fava, Daniel Schnetzer; Stolz, Volker & Valle, Stian (2017). Operational Semantics of a Weak Memory Model inspired by Go, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 50 - 52
  • Jaksic, Svetlana; Leucker, Martin; Li, Dan & Stolz, Volker (2017). COEMS — open traces from the industry. Kalpa Publications in Computing.  ISSN 2515-1762.
  • Wang, Rui; Kristensen, Lars Michael; Meling, Hein & Stolz, Volker (2017). Application of Model-based Testing on a Quorum-based Distributed Storage. CEUR Workshop Proceedings.  ISSN 1613-0073.  1846
  • Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina (2016). Information flow analysis for Go. Lecture Notes in Computer Science.  ISSN 0302-9743.  9952 LNCS, s 431- 445 . doi: 10.1007/978-3-319-47166-2_30 Vis sammendrag
  • Eilertsen, Anna Maria; Bagge, Anya Helene & Stolz, Volker (2016). Safer refactorings. Lecture Notes in Computer Science.  ISSN 0302-9743.  9952 LNCS, s 517- 531 . doi: 10.1007/978-3-319-47166-2_36 Vis sammendrag
  • Macias Gomez de Villar, Fernando; Rutle, Adrian & Stolz, Volker (2016). MultEcore: Combining the best of fixed-level and multilevel metamodelling. CEUR Workshop Proceedings.  ISSN 1613-0073.  1722, s 66- 75 Vis sammendrag
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2016). Effect-Polymorphic Behaviour Inference for Deadlock Checking. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  85(6), s 1234- 1267 . doi: 10.1016/j.jlamp.2016.05.003
  • Rosenberg, Carl Martin; Steffen, Martin & Stolz, Volker (2016). Leveraging DTrace for runtime verification. Lecture Notes in Computer Science.  ISSN 0302-9743.  10012 LNCS, s 318- 332 . doi: 10.1007/978-3-319-46982-9_20
  • Göri, Georg; Johnsen, Einar Broch; Schlatte, Rudolf & Stolz, Volker (2014). Erlang-style error recovery for concurrent objects with cooperative scheduling. Lecture Notes in Computer Science.  ISSN 0302-9743.  8803(2), s 5- 21 . doi: 10.1007/978-3-662-45231-8_2
  • Kristiansen, Erlend & Stolz, Volker (2014). Search-based composed refactorings. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  3
  • Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker & Zavattaro, Gianluigi (2014). Fault Model Design Space for Cooperative Concurrency. Lecture Notes in Computer Science.  ISSN 0302-9743.  8803(2), s 22- 36 . doi: 10.1007/978-3-662-45231-8_3
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2014). Automated transformations from UML behavior models to contracts. Science China Information Sciences.  ISSN 1674-733X.  57(12), s 1- 17 . doi: 10.1007/s11432-014-5159-8
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Behaviour Inference for Deadlock Checking, In Martin Leucker (ed.),  2014 Theoretical Aspects of Software Engineering Conference.  IEEE conference proceedings.  ISBN 978-1-4799-5029-4.  Kap..  s 106 - 113
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Deadlock checking by data race detection. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  83(5-6), s 400- 426 . doi: 10.1016/j.jlamp.2014.07.003
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science.  ISSN 0302-9743.  8702, s 50- 64 . doi: 10.1007/978-3-319-10431-7_5
  • Stolz, Volker & Trancón-y-Widemann, Baltasar (2014). 7. Arbeitstagung Programmiersprachen (ATPS 2014), I: Wilhelm Hasselbring & Nils Christian Ehmke (red.),  Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik.  Bonner Köllen Verlag.  ISBN 978-388579-621-3.  Forord.  s 205 - 206
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2013). Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference : Proceedings.  ISSN 1530-0803.  s 191- 200 . doi: 10.1109/ASWEC.2013.31
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science.  ISSN 0302-9743.  8161 . doi: 10.1007/978-3-642-40213-5_3
  • Steven, Arzt; Falzon, Kevin; Follner, Andreas; Rasthofer, Siegfried; Bodden, Eric & Stolz, Volker (2013). How useful are existing monitoring languages for securing Android apps?. Lecture Notes in Informatics.  ISSN 1617-5468.  215, s 107- 122
  • Bertolini, Cristiano; Schäf, Martin & Stolz, Volker (2012). Towards a Formal Integrated Model of Collaborative Healthcare Workflows. Lecture Notes in Computer Science.  ISSN 0302-9743.  7151, s 57- 74 . doi: 10.1007/978-3-642-32355-3_4
  • Bodden, Eric; Falzon, Kevin; Pun, Ka I & Stolz, Volker (2012). Delta-oriented Monitor Specification. Lecture Notes in Computer Science.  ISSN 0302-9743.  7609, s 162- 177 . doi: 10.1007/978-3-642-34026-0_13 Vis sammendrag
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2012). Interactive Transformations from Object-Oriented Models to Component-Based Models. Lecture Notes in Computer Science.  ISSN 0302-9743.  7253, s 97- 114 . doi: 10.1007/978-3-642-35743-5_7
  • Li, Dan; Li, Xiaoshan & Stolz, Volker (2012). Model Querying with Graphical Notation of QVT Relations. Software engineering notes.  ISSN 0163-5948.  37(4) . doi: http://dx.doi.org/10.1145/2237796.2237808
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by a Behavioral Effect System for Lock Handling. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(3), s 331- 354 . doi: 10.1016/j.jlap.2011.11.001
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection, In Uwe Egbert Wolter & Yngve Lamo (ed.),  24th Nordic Workshop on Programming Theory.  Universitetet i Bergen.  article.
  • Wei, Ke; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2012). rCOS: a formal model-driven engineering method for component-based software. Frontiers of Computer Science.  ISSN 2095-2228.  6(1), s 17- 39
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2011). Interactive Transformations from Object-Oriented Models to Component-Based Models. Conference proceedings (Universitetet i Oslo. Institutt for informatikk).  ISSN 0806-3036.  s 67- 84
  • Li, Dan; Li, Xiaoshan & Stolz, Volker (2011). QVT-based model transformation using XSLT. Software engineering notes.  ISSN 0163-5948.  36(1) . doi: 10.1145/1921532.1921563
  • Li, Dan; Li, Xiaoshan & Stolz, Volker (2011). Saying HelloWorld with QVTR-XSLT --- A Solution to the TTC 2011 Instructive Case. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  74, s 223- 236 . doi: 10.4204/EPTCS.74.20
  • Li, Dan; Li, Xiaoshan & Stolz, Volker (2011). Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  74, s 54- 69 . doi: 10.4204/EPTCS.74.8
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Polymorphic behavioural lock effects for deadlock checking (extended abstract), In Paul Petterson & Seceleanu Cristina (ed.),  Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.  Mälardalen University.  ISBN 9789521224782.  kapittel.
  • Stolz, Volker (2010). The rCOS methodology and modeler, In Michael Hanus & Fabian Reck (ed.),  Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5. Mai 2010 Technical Report 1010.  CAU Kiel, Germany.  ISBN 9999999999.  article.

Se alle arbeider i Cristin

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:19 - Sist endret 28. okt. 2016 15:55