| Checking safety properties using induction and a SAT-solver M Sheeran, S Singh, G Stålmarck International conference on formal methods in computer-aided design, 127-144, 2000 | 1038 | 2000 |
| A tutorial on Stålmarck's proof procedure for propositional logic M Sheeran, G Stålmarck Formal Methods in System Design 16 (1), 23-58, 2000 | 138 | 2000 |
| Designing safe, reliable systems using scade PA Abdulla, J Deneux, G Stålmarck, H Ågren, O Åkerlund Leveraging Applications of Formal Methods: First International Symposium …, 2006 | 135 | 2006 |
| A tutorial on Stålmarck’s proof procedure for propositional logic M Sheeran, G Stålmarck International Conference on Formal Methods in Computer-Aided Design, 82-99, 1998 | 127 | 1998 |
| Modeling and verifying systems and software in propositional logic G Stålmarck, M Säflund Safety of Computer Control Systems 1990 (Safecomp'90), 31-36, 1990 | 121 | 1990 |
| Normalization theorems for full first order classical natural deduction G Stålmarck The Journal of Symbolic Logic 56 (1), 129-149, 1991 | 106 | 1991 |
| Short resolution proofs for a sequence of tricky formulas G Stålmarck Acta Informatica 33 (3), 277-280, 1996 | 75 | 1996 |
| Formal verification in railways A Borälv, G Stålmarck Industrial-strength formal methods in practice, 329-350, 1999 | 21 | 1999 |
| Integration of formal methods into system safety and reliability analysis O Åkerlund, S Nadjm-Tehrani, G Stålmarck 17th International System Safety Conference 30, 1999 | 18 | 1999 |
| Prover technology in railways A Borälv, G Stålmarck Industrial-Strength Formal Methods, 164, 1998 | 18 | 1998 |
| A note on the computational complexity of the pure classical implication calculus G Stålmarck Information Processing Letters 31 (6), 277-278, 1989 | 12 | 1989 |
| A logical framework for specifying discrete dynamic systems JP Echarti, G Stålmarck Advanced Systems Development Dept., Ellemtel Telecommunication Systems …, 1988 | 8 | 1988 |
| Automated verification in railways A Borälv, G Stålmarck Industrial-Strength Formal Methods in Practice. Springer, 1999 | 5 | 1999 |
| System for Determining Propositional Logic Theorems by Applying Values and Rules to Triplets that are Generated from Boolean Formula (1994) United States Patent G Stålmarck Patent, 0 | 5 | |
| Pilot study of formal analysis of service interaction, validation and verification G Stålmarck, L Ekenberg, S Berg, I Olsson, F Nordberg Telia Research AB, 1996 | 4 | 1996 |
| Stålmarck’s Method and QBF Solving G Stålmarck Proc. Int. Conf. on Computer-Aided Verification, CAV 99, 1999 | 3 | 1999 |
| Checking safety properties using induction and boolean satisfiability M Sheeran, G Stålmarck Appendix to deliverable d20 2, 1999 | 3 | 1999 |
| Formal safety and reliability analysis of embedded aerospace systems at Saab O Åkerlund, G Stålmarck, M Helander Proc. 7 th IEEE Int. Symp. on Software Reliability Engineering (Industrial …, 1996 | 3 | 1996 |
| System for determining propositional logic theorems by applying values and rules to triplets that are generated from boolean formula G Ståalmarck US5276897, 1994 | 3 | 1994 |
| Definition av Delphi G Stålmarck, F Widebäck Logikkonsult NP AB, 1991 | 3 | 1991 |
Mary SheeranChalmers Univeresity of TechnologyVerified email at chalmers.se
