Accepted talks
(ordered alphabetically):
- Andreas Abel: Productive infinite objects via copatterns
- Abel Armas-Cervantes, Paolo Baldan and Luciano García-Bañuelos: Behavioral comparison of acyclic business process models
- Kevin Atkinson, Adam Duracz and Walid Taha: Translating a modeling and simulation language to hybrid automata
- Harsh Beohar and Mohammadreza Mousavi: Input-output conformance testing of software product lines
- Peter Brottveit Bock: Formalizing a system for deadlock checking by data race detection in Coq
- Robert Cartwright and Moez Abdel-Gawad: Inheritance is subtyping
- James Chapman, Tarmo Uustalu and Niccolò Veltri: The delay monad and restriction categories
- Crystal Chang Din, Richard Bubel and Olaf Owe: Comparison of runtime assertion checking and theorem proving for concurrent and distributed Systems
- Björn Engelmann: Towards practical verification of dynamically typed programs
- Denis Firsov and Tarmo Uustalu: Certified normalization of context-free grammars
- Alexandru Florin Iosif-Lazar, Ina Schaefer and Andrzej Wasowski: Towards a core language for separate variability modeling
- Georg Göri, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte and Volker Stolz: Extending abstract behavioral specifications with Erlang-style error handling
- Wolfgang Jeltsch: A categorical foundation of functional reactive programming with mutable state
- Lars Michael Kristensen, Yngve Lamo, Wendy MacCaull, Fazle Rabbi and Adrian Rutle: On exploiting progress for memory-efficient verification of diagrammatic workflows
- Florian Mantz and Uwe Wolter: The advantage of using co-span graph transformations for meta-model evolution
- Jari-Matti Mäkelä, Ville Leppänen and Martti Forsell: Synchronization property checking and inference in a lock-step synchronous parallel Replica language
- Håkon Normann: Event structures as psi-calculus
- Cristian Prisacariu: ST-configuration structures
- Ka I Pun, Martin Steffen and Volker Stolz: Lock-polymorphic behaviour inference for deadlock checking
- Jurriaan Rot and Marcello Bonsangue: Structural congruences for bialgebraic Semantics
- Olli Ilari Saarikivi and Keijo Heljanko: LCT-D: proof guided tests for C programs on LLVM
- Faezeh Siavashi, Marina Waldén, Leonidas Tsiopoulos and Jüri Vain: Modelling critical systems with time constraints in Event-B
- Xiaoliang Wang and Yngve Lamo: Verification of graph-based model transformations using Alloy
Last changed November 19, 2013 3:03 EET by local organizers, nwpt13 (at) ioc.ee