Working groups of the department, unite!
Janvarskij
2000 goda
Plenum
http://www.cs.chalmers.se/~ilya/WM2000/
January 12-14, 2000
Smögens Havsbad
Online Proceedings
[bibTeX]
Freefeed-Instead of Forms
Youssef Ali, Lars Hallnäs, Mats Jontell, Nader Nazari and Olof Torgersson
[PS]
The KEY Approach: Integrating Object Oriented Design and Formal Verification
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel and Peter H. Schmitt
[PS]
Evaluating the performance of wait-free snapshots in real-time systems
Björn Allvin, Andreas Ermedahl, Hans Hansson, Marina Papatriantafilou, Håkan Sundell and Philippas Tsigas
[PS]
Transforming out Timing Leaks
Johan Agat
[PS]
Symbolic Reachability Analysis based on SAT solvers
Parosh Aziz Abdulla, Per Bjesse and Niklas Eén
[PS]
The Path Category in ALF and AGDA
Ilya Beylin
[PS]
Type Specialisation, take 2
Dennis Björklund
[PS]
Formal Description of a Dialogue Move Engine
Peter Bohlin
[PS]
A Framework for Propositional Proof Strategies
Koen Claessen and Gunnar Stålmarck
[PS]
A syntactical proof of the marriage lemma
Thierry Coquand
[PS]
SimVis: An interaction Model for Exploring Clinical Data
Göran Falkman
[PS]
MedView-Design and Adaption of an Interactive System for Oral Medicine
Göran Falkman, Lars Hallnäs, Mats Jontell and Olof Torgersson
[PS]
Towards a Scalable Update Avoidance Analysis
Jörgen Gustavsson and Josef Svenningsson
[PS]
A distributed Algorithm in Agda: The Dining Ohilosophers Problem
Qiao Haiyan
[PS]
An evaluation of efficient caching models for distributed persistent stores
Bengt Johansson
[PS]
A preliminary account of primitive HOBS: A calculus for Higher Order Broadcasting
Karol Ostrovsky, K. V. S. Prasad and Walid Taha
[PS]
The Semantics of Verilog Using Transition System Combinators
Gordon J. Pace
[PS]
Towards characterizing bisimilarity of value-passing processes with context-free control*
Pawel Paczkowski
[PS]
Broadcast communication interpreted in ccs
K. V. S. Prasad
[PS]
Program Documentation by Syntacitc Annotations
Aarne Ranta
[PS]
Distributed Algorithms for Frequency Allocation: Tuning Strategies and Trade-offs
Marina Papatriantafilou, David Rutter and Philippas Tsigas
[PS]
Probabilistic Noninterference for Multi-threaded Programs
Andrei Sabelfeld and David Sands
[PS]
Dealing with additional constraints in the k-shortest path problem
Tuomo Takkula
[PS]
RSA Acceleration with Field Programmable Gate Arrays
Alexander Tiountchik and Elena Trichina
[PS]
Fast Restart of Manufacturing Cells using Restart Points
Michael Tittus, Sven-Arne Andréasson, Anders Adlemo and Jan-Erik Frey
[PS]
Gisela3 - A definitional Programming Tool
Olof Torgersson
[PS]
Non-blocking Data Sharing in Multiprocessor Real-Time Systems
Philippas Tsigas and Yi Zhang
[PS]
Tableau method implementation using laziness
Daniel Vallström
[PS]
