Verification of C Programs Using Automated Reasoning
Crocker, D.; Carlton, J.
Page(s): 7-14
Digital Object Identifier 10.1109/SEFM.2007.44 Abstract
| Full Text: PDF (318 KB)
Rights and Permissions
Problem Oriented Software Engineering: A design-theoretic framework for software engineering
Hall, J.G.; Rapanotti, L.; Jackson, M.
Page(s): 15-24
Digital Object Identifier 10.1109/SEFM.2007.29 Abstract
| Full Text: PDF (339 KB)
Rights and Permissions
Formalising Design Patterns in Predicate Logic
Bayley, I.; Hong Zhu
Page(s): 25-36
Digital Object Identifier 10.1109/SEFM.2007.22 Abstract
| Full Text: PDF (692 KB)
Rights and Permissions
Retrenchment and the Atomicity Pattern
Banach, R.; Jeske, C.; Hall, A.; Stepney, S.
Page(s): 37-46
Digital Object Identifier 10.1109/SEFM.2007.34 Abstract
| Full Text: PDF (318 KB)
Rights and Permissions
Verifying the Mondex Case Study
Schmitt, P.H.; Tonin, I.
Page(s): 47-58
Digital Object Identifier 10.1109/SEFM.2007.47 Abstract
| Full Text: PDF (308 KB)
Rights and Permissions
Model-driven architecture for cancer research
Calinescu, R.; Harris, S.; Gibbons, J.; Davies, J.; Toujilov, I.; Nagl, S.B.
Page(s): 59-68
Digital Object Identifier 10.1109/SEFM.2007.26 Abstract
| Full Text: PDF (382 KB)
Rights and Permissions
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar
Saha, I.; Suman Roy; Chakraborty, K.
Page(s): 69-79
Digital Object Identifier 10.1109/SEFM.2007.27 Abstract
| Full Text: PDF (314 KB)
Rights and Permissions
How to Test Program Generators? A Case Study using flex
Sampath, P.; Rajeev, A.C.; Shashidhar, K.C.; Ramesh, S.
Page(s): 80-92
Digital Object Identifier 10.1109/SEFM.2007.24 Abstract
| Full Text: PDF (315 KB)
Rights and Permissions
Proving Termination by Divergence
Babic, D.; Hu, A.J.; Rakamaric, Z.
Page(s): 93-102
Digital Object Identifier 10.1109/SEFM.2007.32 Abstract
| Full Text: PDF (326 KB)
Rights and Permissions
Supporting Proof in a Reactive Development Environment
Jacobs, B.; Muller, P.; Piessens, F.
Page(s): 113-122
Digital Object Identifier 10.1109/SEFM.2007.36 Abstract
| Full Text: PDF (386 KB)
Rights and Permissions
The Role of Abstract Interpretation in Formal Methods
A Dynamic Logic for Deductive Verification of Concurrent Programs
Beckert, B.; Klebanov, V.
Page(s): 141-150
Digital Object Identifier 10.1109/SEFM.2007.1 Abstract
| Full Text: PDF (353 KB)
Rights and Permissions
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers
Castro, P.F.; Maibaum, T.S.E.
Page(s): 151-160
Digital Object Identifier 10.1109/SEFM.2007.7 Abstract
| Full Text: PDF (399 KB)
Rights and Permissions
An Integrated Specification Framework for Embedded Systems
Bujorianu, M.C.; Bujorianu, M.L.
Page(s): 161-172
Digital Object Identifier 10.1109/SEFM.2007.6 Abstract
| Full Text: PDF (5973 KB)
Rights and Permissions
A Thread-tag Based Semantics for Sequence Diagrams
Haitao Dan; Hierons, R.M.; Counsell, S.
Page(s): 173-182
Digital Object Identifier 10.1109/SEFM.2007.3 Abstract
| Full Text: PDF (394 KB)
Rights and Permissions
λ_AOP: An AOP Extended Lambda-Calculus
Alhadidi, D.; Belblidia, N.; Debbabi, M.; Bhattacharya, P.
Page(s): 183-194
Digital Object Identifier 10.1109/SEFM.2007.5 Abstract
| Full Text: PDF (426 KB)
Rights and Permissions
ASN1-light: A Verified Message Encoding for Security Protocols
Grandy, H.; Bertossi, R.; Stenzel, K.; Reif, W.
Page(s): 195-204
Digital Object Identifier 10.1109/SEFM.2007.8 Abstract
| Full Text: PDF (296 KB)
Rights and Permissions
Recovery from DoS Attacks in MIPv6: Modeling and Validation
Manish, K.C.; Gopinath, K.
Page(s): 205-214
Digital Object Identifier 10.1109/SEFM.2007.33 Abstract
| Full Text: PDF (349 KB)
Rights and Permissions
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Aichernig, B.K.; Peischl, B.; Weiglhofer, M.; Wotawa, F.
Page(s): 215-226
Digital Object Identifier 10.1109/SEFM.2007.31 Abstract
| Full Text: PDF (455 KB)
Rights and Permissions
Testing conformance on Stochastic Stream X-Machines
Merayo, M.G.; Nunez, M.
Page(s): 227-236
Digital Object Identifier 10.1109/SEFM.2007.41 Abstract
| Full Text: PDF (344 KB)
Rights and Permissions
Cart
