|
|
Short Paper Session 1 | Short Paper Session 2
Short Papers 1, Tuesday 27th November 2001, 2:00pm - 3:30pm (back to top) (back to Final Program) |
|
Andrew Cook,
Andrew Ireland, Greg Michaelson
Higher Order Function Synthesis Through Proof Planning |
Gilles
Ardourel, Marianne Huchard
AGATE, Access Graph bAsed Tools handling Encapsulation |
Wuwei Shen,
Kevin Compton, James Huggins
A Toolset for Supporting UML Model Checking Based on Abstract State Machines |
Lars-Ake
Fredlund, Dilian Gurov, Thomas Noll
Semi-Automated Verification of Erlang Code |
Alex Blewitt,
Alan Bundy, Ian Stark, Richard Boulton
Automatic verification of Java design patterns |
Raimondas
Lencevicius, Edu Metz, Alexander Ran
Tracing Execution of Software for Design Coverage |
Fei Xie,
Vladimir Levin, James C. Browne
Model Checking for an Executable Subset of UML |
James M.
Bieman, Sudipto Ghosh, Roger T. Alexander
A Technique for Mutation of Java Objects |
K. Suzanne
Barber, Thomas Graser, Jim Holt
Providing Early Feedback in the Development Cycle through Automated Application of Model Checking to Software Architectures |
Paola
Inverardi, Henry Muccini, Patrizio Pelliccione
Checking Architectural Models Consistency using SPIN
|
Apostolos
Zarras, Valerie Issarny
Automating the Performance and Reliability Analysis of Enterprise Information Systems. |
A.S. d'Avila
Garcez, A. Russo, B. Nuseibeh, J. Kramer
An Analysis-Revision Cycle to Evolve Requirements Specifications |
Andrea Zisman,
Alexander Kozlenkov
A Knowldge Base Approach to Consistency Management of UML Specifications |
Ioannis
Parissis, Jerome Vassy
Strategies for Automated Specification Based Testing of Synchronous Software |
Short Papers 2, Wednesday 28th November 2001, 8:30am - 10:00 am (back to top) (back to Final Program) |
|
Iain McLaren, Tony Wicks
Developing Generative Frameworks Using XML |
Yannick Chevalier, Laurent
Vigneron
A Tool for Lazy Verification of Security Protocols |
Bruno Legeard, Fabien Peureux
Generation of functional test sequences from B formal specifications using Constraint Logic Programming with sets - Presentation and industrial case-study |
Tevfik Bultan, Tuba
Yavuz-Kahveci
Action Language Verifier |
Alexander Egyed
Scalable Consistency Checking between UML Diagrams: The IViTA Approach |
Tim Menzies, James D. Kiper
Better reasoning about softgoals |
Guillaume Brat, Michael
Lowry, John Penix, Thomas Pressburger, Phil Oh, Peter Robinson, Johann
Schumann, Jeffrey Van Baalen, Jonathan Whittle
Amphion/NAV: Deductive Synthesis of State Estimation Software |
Martin Erwig
Programs are Abstract Data Types |
Gerald C. Gannod, Sunil Gupta
An Automated Tool for Analyzing Petri Nets using Spin |
Jan Jurjens, Guido Wimmel
Formally testing fail-safety of Electronic Purse Protocols |
Dimitra Giannakopoulou, Klaus
Havelund
Automata-Based Verification of Temporal Properties on Running Programs |
Dieter Hutter, Axel Schairer
Towards an Evolutionary Formal Software Development |
Brad Long, Dan Hoffman, Paul
Strooper
A Concurrency Test Tool for Java Monitors |
L. Andrade, J.L. Fiadeiro, M.
Wermelinger
Enforcing Business Policies through Automated System Reconfiguration |