Items where Subject is "Methodology > Other"

Dinca, Ionut (2011) Multi-Objective Test Suite Optimization for Event-B Models. In: ICIEIS'11, Springer CCIS Series vol. 251 , 11-14 November 2011, Malaysia. (In Press)

Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Towards Search-based Testing for Event-B Models. In: 4th International Workshop on Search-Based Software Testing, 21 Mar 2011, Berlin. (In Press)

Mazzara, Manuel and Marraffa, Antonio and Biselli , Luca and Chiarabini, Luca (2011) Polidoxa: a Sinergic Approach of a Social Network and a Search Engine to Offer Trustworthy News. In: INTRUSO 2011.

Olszewska, Marta and Sere, Kaisa (2010) Specification Metrics for Event-B Developments. In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany.

Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France.

Russo Jr, Aryldo G (2009) Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East. [DEPLOY Associate Item] (Submitted)

Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen (2009) Counterexamples in Probabilistic LTL Model Checking for Markov Chains. In: Concur.

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive]

Mazzara, Manuel and Dragoni, Nicola A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way. WSFM 2009 .

Mazzara, Manuel Deriving Specifications of Dependable Systems: toward a Method. EWDC 2009 .

Mazzara, Manuel Different Perspectives for Reasoning about Problems and Faults. Technical Report. University of Newcastle upon Tyne.

Yilmaz, Emre and Hoang, Thai Son Rabin's Choice Coordination Development (qualitative reasoning). [Rodin Archive]