Talks at the Braga IFIP WG1.3 meeting

    Talks at the Braga IFIP WG1.3 meeting (March 23-24, 2007)


    17 abstracts, 11 slides, 3 links to a paper, more than 8 home web pages

    == Friday, March 23rd, 2007
  • 1 - Narciso MARTI-OLIET (with Jose Meseguer, Miguel Palomino) abstract, slides
    Algebraic simulations paper web page
  • 2 - Laure PETRUCCI (observer) (with Kais Klai) abstract and web page
    Modular construction of symbolic observation graph
  • 3 - Pascale LE GALL (observer) (with Marc Aiguier) slides
    A formal definition of complex softwares
  • 4 - Marie-Claude GAUDEL (with Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet) abstract and slides
    Uniform random sampling of traces in very large models paper web page
  • 5 - Stefania GNESI (observer) (with Maurice ter Beek (young researcher), and Franco Mazzanti) abstract and web page
    A model checking approach for designing asynchronous extension of SOAP
  • 6 - Dominique MERY (with Dominique Cansell) abstract and web page
    Generic developments (Correctness by construction)
  • 7 - Luis Soares BARBOSA (local guest) (with José N. Oliveira and Alexandra Silva ) abstract, slides and web page
    Revisiting invariants
  • 8 - Lutz SCHROEDER abstract, slides, paper and web page
    A semantic PSPACE criterion for coalgebraic modal logic
  • 9 - Alexander KURZ (joint work with J. Rosicky) abstract and web page
    A categorical characterisation of next step (rank 1) logic
  • 10 - Markus ROGGENBACH (observer) (with Yoshinao Isobe)
    abstract, slides, Markus's web page and Yoshinao's web page
    CSP-Prover
  • 11 - Michel BIDOIT (with Rolf HENNICKER) abstract, Michel's web page and Rolf's web page
    A formal foundation for contract-based software components

    • == Saturday, March 24rd, 2007
  • 12 - Fabio GADDUCCI (observer) abstract, slides and web page
    (Towards) An institution for graph transformation
  • 13 - Till MOSSAKOWSKI abstract and web page
    Heterogeneous proof scripts
  • 14 - Dirk PATTINSON (with Peter Hancock and Neil Ghani) abstract, slides and web page
    Eating, or: programming with bi-inductive types
  • 15 - Nicoletta SABADINI (observer) (with RFC Walters) abstract, slides and web page
    Compositionality and independence in automata
  • 16 - Robert WALTERS (observer) (with M. Menni and N Sabadini) abstract, slides and web page
    On compositionality for automata: (i) infinite states and (ii) morphisms
  • 17 - Vladimiro SASSONE (observer) (with K. Krukow and M. Nielsen) abstract, slides and web page
    A bayesian model for event-based trust - Elements of a fundation for computational trust
  • 18 - Ugo MONTANARI (with Roberto Bruni, Alberto Lluch Lafuente, Emilio Tuosto) abstract web page
    Style-based reconfigurations of software architectures as term rewriting