 | 2004 |
|---|
| 9 |       | Parosh Aziz Abdulla,
Johann Deneux,
Gunnar Stålmarck,
Herman Ågren,
Ove Åkerlund:
Designing Safe, Reliable Systems Using Scade.
ISoLA 2004: 115-129 |
| 8 |  | Parosh Aziz Abdulla,
Johan Deneaux,
Gunnar Stålmarck,
Herman Ågren,
Ove Åkerlund:
Designing Safe, Reliable Systems using Scade.
ISoLA (Preliminary proceedings) 2004: 111-118 |
| 2002 |
|---|
| 7 | | David L. Dill,
Nate James,
Shishpal Rawat,
Gérard Berry,
Limor Fix,
Harry Foster,
Rajeev K. Ranjan,
Gunnar Stålmarck,
Curt Widdoes:
Formal verification methods: getting around the brick wall.
DAC 2002: 576-577 |
| 2000 |
|---|
| 6 | | Mary Sheeran,
Satnam Singh,
Gunnar Stålmarck:
Checking Safety Properties Using Induction and a SAT-Solver.
FMCAD 2000: 108-125 |
| 5 | | Mary Sheeran,
Gunnar Stålmarck:
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic.
Formal Methods in System Design 16(1): 23-58 (2000) |
| 1998 |
|---|
| 4 | | Mary Sheeran,
Gunnar Stålmarck:
A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic.
FMCAD 1998: 82-99 |
| 1996 |
|---|
| 3 | | Gunnar Stålmarck:
Short Resolution Proofs for a Sequence of Tricky Formulas.
Acta Inf. 33(3): 277-280 (1996) |
| 1991 |
|---|
| 2 | | Gunnar Stålmarck:
Normalization Theorems for Full First Order Classical Natural Deduction.
J. Symb. Log. 56(1): 129-149 (1991) |
| 1989 |
|---|
| 1 | | Gunnar Stålmarck:
A Note on the Computational Complexity of the Pure Classical Implication Calculus.
Inf. Process. Lett. 31(6): 277-278 (1989) |
