Accepted contributed talks, in no particular order
- Stefan Ratschan and Jan-Georg Smaus: Finding errors of hybrid systems by optimising an abstraction-based quality estimate
- Florian Stenger and Janis Voigtländer: Parametricity for Haskell with imprecise error semantics
- Dag Hovland: A type system for usage of software components
- Stephen Fenech, Gordon Pace and Gerardo Schneider: Detection of conflicts in electronic contracts
- Romain Demangeon: Type systems for the termination of mobile processes
- Peter Ölveczky and Daniela Lepri: Towards model checking bounded response in real-time Maude
- Markus Degen, Peter Thiemann and Stefan Wehr: Contract monitoring and call-by-name evaluation
- Timo Nummenmaa: A method for modelling probabilistic object behaviour for simulations of formal specifications
- István Knoll, Anders P. Ravn and Arne Skou: A semantics for a real-time actor language
- Felix Schernhammer and Bernhard Gramlich: On operational termination of deterministic conditional rewrite systems
- Morten Dahl and Hans Hüttel: Type inference for a correspondence certifying type system
- Peter A. Jonsson and Johan Nordlander: On building a supercompiler for GHC
- Johan Dovland, Einar Broch Johnsen, Olaf Owe and Martin Steffen: Lazy behavioral subtyping
- Lennart Beringer: Relational bytecode correlations
- Damas Gruska: Quantification of information flow for value-passing process algebra
- Marcel Kyas, Andries Stam, Martin Steffen and Arild Torjusen: A specification-driven interpreter for testing asynchronous Creol component
- Pavel Grigorenko: Higher-order attribute semantics of flat declarative languages
- Sukriti Bhattacharya and Agostino Cortesi: Property-driven program slicing
- Peter Sørensen and Jan Madsen: Consistency check for component-based design of embedded systems using SAT-solving
- Cristian Prisacariu: Extending Kleene algebra with synchrony: completeness and decidability
- Maksym Bortin, Christoph Lüth and Dennis Walter: A certifiable formal semantics of C
- Willard Thór Rafnsson and Hans Hüttel: Secrecy in mobile ad-hoc networks
- Claus Thrane, Uffe Sørensen and Kim G. Larsen: Slicing for Uppaal
- Neva Slani and Francisco Martins: Secure open networks
- Claus Thrane, Uli Fahrenberg and Kim G. Larsen: Quantitative simulations of weighted transition systems
- Abubakar Hassan, Ian Mackie and Shinya Sato: Translating interaction nets to C
- Rivo Roo and Juhan Ernits: Model-based testing of a web-based positioning application
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter: Automatic definition of model transformations at the instance level
- Nan Guan, Wang Yi, Zonghua Gu, Ge Yu: Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter: A category-theoretical approach to the formalisation of version control in MDE
Last changed November 16, 2008 0:26 EET by local organizers, nwpt08(at)cs.ioc.ee
