Bridging the Gap between Interaction- and Process-Oriented Choreographies
Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.
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
Contract-Based Verification of Hierarchical Systems of Components
Quinton, S., Graf, S.
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
Restricted Broadcast Process Theory
Ghassemi, F., Fokkink, W., Movaghar, 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
Generation of Service Wrapper Protocols from Choreography Specifications
Salaun, G.
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
Widening Operators for Abstract Interpretation
Cortesi, 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
Laws of Object-Orientation with Reference Semantics
Silva, L., Sampaio, A., Zhiming Liu
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
Algebraic View Reconciliation
Hofner, P., Khedri, R., Moller, B.
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
Nullness Analysis in Boolean Form
Spoto, F.
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
Modeling Component Connectors: Synchronisation and Context-Dependency
Izadi, M., Bonsangue, M.M., Clarke, 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
Flash-Efficient LTL Model Checking with Minimal Counterexamples
Edelkamp, S., Sulewski, 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
CRefine: Support for the Circus Refinement Calculus
Oliveira, M., Gurgel, A.C., Castro, C.G.
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 Generalized Model-Based Test Generation Method
Bonifácio, Adilson Luiz, Moura, Arnaldo Vieira, Simão, Adenilso da Silva
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
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations
Franzle, M., Hansen, M.R.
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
Testing Privacy Policies Using Models
Salas, P.P., Krishnan, 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
Object Models with Temporal Constraints
Cimatti, A., Roveri, M., Susi, A., Tonetta, S.
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
Verification-Based Test Case Generation for Full Feasible Branch Coverage
Gladisch, 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
Abstract Interpretation in Code Security
Giacobazzi, R.
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