Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover
Guo, B., Subramaniam, M.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Extracting Conditional Confidentiality Policies
Tschantz, M.C., Wing, J.M.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Cheap and Small Counterexamples
Hansen, H., Geldenhuys, J.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Extending Stream X-Machines to Specify and Test Systems with Timeouts
Merayo, M.G., Hierons, R.M., Nunez, M.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems
Schaefer, I., Poetzsch-Heffter, A.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Static Analysis of the Determinism of Multithreaded Programs
Ferrara, P.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Checking Interface Interaction Protocols Using Aspect-Oriented Programming
Truong, A.-H., Trinh, T.-B., Van Hung, D., Nguyen, V.-H., Trang, N., Hung, P.D.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Behaviour Directed Testing of Auto-code Generators
Sampath, P., Rajeev, A.C., Ramesh, S., Shashidhar, K.C.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Behavioral Compatibility of Active Components
Hammal, Y.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes
Balakrishnan, G., Ganai, M.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Modelling Rational User Behaviour as Games between an Angel and a Demon
Rukienas, R., Curzon, P., Blandford, A.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs
Xavier, K.S., Hanazumi, S., de Melo, A.C.V.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Ontology-Based Automatic Model Transformations
Geihs, K., Baer, P., Reichle, R., Wollenhaupt, J.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Formal Methods and Innovation Economy: Facing New Challenges
Petrenko, A.K., Petrenko, O.L.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Tagging Make Local Testing of Message-Passing Systems Feasible
Bhateja, P., Mukund, M.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Specialized Aspect Languages Preserving Classes of Properties
Djoko, S.D., Douence, R., Fradet, P.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Tools for CSP
Roggenbach, M.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Preservation of Proof Pbligations for Hybrid Verification Methods
Barthe, G., Kunz, C., Pichardie, D., Samborski-Forlese, J.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Speci?cation-Based Testing for Software Product Lines
Kahsai, T., Roggenbach, M., Schlingloff, B.-H.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding