|
Date
|
Speaker
|
Title
|
|
09/12/2009
|
Patrick Heymans
|
Models, Automations and Analyses of Software Product Lines: An Overview of Recent Work by PReCISE
slides
|
|
02/12/2009
|
Paul Istoan
|
Software Product Lines for creating Service Oriented Applications
slides
|
|
18/11/2009
|
Gabriel Sandulescu
|
Replication versus Redundancy in Contact‐aware Opportunistic Routing
slides
|
|
04/11/2009
|
Jacques Klein
|
Aspect Model Unweaving
slides
|
|
21/10/2009
|
Gilles Perrouin
|
Towards Flexible Model-Driven Engineering
slides
|
|
24/06/2009
|
Yves Le Traon
|
MDE and reliability: Barriers to Systematic Model Transformation Testing.
slides
|
|
17/06/2009
|
Nuno Amalio
|
Suspicion-driven formal analysis of security requirements.
slides
|
|
01/04/2009
|
Roman Ledyayev
|
Developing techniques for increasing dependability of service-oriented systems.
slides
|
|
12/11/2008
|
|
|
Fábio Fabris,
Guilherme de Maio Nogueira
and Marcos da Silveira
|
|
RESIST Prototype: Connecting Medical Care.
slides
|
|
29/10/2008
|
|
CORA: CORRECT Analysis Models.
slides
|
|
15/10/2008
|
Pascal Bauler and Nicolas Biri
|
Service Oriented Architectures for Small and Medium Organisations.
slides
|
|
02/07/2008
|
Gabriel Sandulescu
|
Opportunistic DTN Routing with Window-aware Adaptive Replication.
slides
|
|
30/04/2008
|
Benoît Ries
|
Sesame - a model-driven approach for flexible test selection of industrial applications: a process and a tool.
slides
|
|
19/03/2008
|
Jacques Klein
|
Weaving behavior into Metamodels with Kermeta.
slides
|
|
05/03/2008
|
Qin Ma
|
Join calculus and algebraic pattern matching.
slides
|
|
19/02/2008
|
Liliana Cucu
|
Some ideas and open problems in real-time stochastisc scheduling.
slides
|
|
30/01/2008
|
Yves Le Traon
|
Security testing : a key challenge for software engineering.
slides
|
|
23/01/2008
|
Cecilia Manzino
|
Application Layer Services' Description in RESIST Architecture.
slides
|
|
12/12/2007
|
Cédric Pruski
|
Understanding and Supporting Ontology Evolution by Observing the WWW Conference.
slides
|
|
28/11/2007
|
Federico Wiecko
|
Coala2Java: A front-end compiler to translate Coala programs to Java customized for the CAA-DRIP framework.
slides
|
|
07/11/2007
|
Dante Zanarini
|
A formal semantics of UML2 classes and protocol state machines for the specification-based testing of embedded systems.
slides
|
|
24/10/2007
|
Barbara Gallina
|
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.
slides
|
|
10/10/2007
|
Pierre Kelsen
|
Declarative Executable Language based on OCL for Specifying the Behavior of Platform Independent Models.
slides
|
|
20/09/2007
|
Jean-Marc Jézéquel
|
Software Product Lines with Model Driven Engineering.
slides
|
|
20/09/2007
|
Patrick Heymans
|
Formal modelling and verification of software product lines: PReCISE's past and future work.
slides
|
|
05/09/2007
|
Hernan Vanzetto
|
Service Oriented Architecture in RESIST project: TAPAS and Web Services approaches.
slides
|
|
27/06/2007
|
Roger Kries
|
How to integrate intelligent tutoring in existing learning environments?
slides
|
|
13/06/2007
|
Denis Zampunieris
|
e-Learning and Proactive Computing
|
|
30/05/2007
|
Jörg Kienzle
|
Dependability Driven Requirements Elicitation with Use Cases.
slides
|
|
16/05/2007
|
Hernan Vanzetto
|
Service Oriented Architecture in RESIST project: TAPAS approach.
slides
|
|
18/04/2007
|
Enrique Alba
|
Ant Colony Optimization for Model Checking
|
|
28/03/2007
|
Nicolas Boizot
|
Introduction to observers in control loops, presentation of high-gain construction.
slides
|
|
21/02/2007
|
Jacques Klein
|
Behavioural Aspects and Weaving.
slides
|
|
07/02/2007
|
Marcos Da Silveira
|
RESIST project: objectives and state of art.
slides
|
|
24/01/2007
|
Muhammad Farooq Khan
|
Testing and Verification of Automation Protocols in Profinet
|
|
20/12/2006
|
Florencia Balbastro
|
On the integration of mobility in a Fault-tolerant e-Health WIS.
slides
|
|
06/12/2006
|
Aleksandra Tesanovic
|
Delivering sense and simplicity in consumer products: a dependability perspective
|
|
27/11/2006
|
Olga Nabuco
|
Ontologies : methods, languages, and applications.
slides
|
|
08/11/2006
|
Simin Nadjm Tehrani
|
Safety-critical systems and component assemblies.
slides
|
|
18/10/2006
|
Elke Pulvermueller
|
Towards Verification of Component-based Systems.
slides
|
|
27/09/2006
|
Maximiliano Cristia
|
GTL: a semi-formally developed secure Linux.
slides
|
|
28/06/2006
|
Benoît Ries
|
Introduction to Software Testing.
slides
|
|
07/06/2006
|
Alfredo Capozucca
|
Implementation of fault-tolerant application using the CAA-DRIP framework.
slides
|
|
24/05/2006
|
Patrick Heymans and Jean Chrisophe Trigaux
|
Formalizing Feature Diagrams.
slides
|
|
17/05/2006
|
Jürgen Sachau
|
Systems and Control Engineering : from complex towards reliable and safe design
|
|
10/05/2006
|
Andreea Monnat
|
How to Write a Requirements Document for Software Product Lines.
slides
|
|
26/04/2006
|
Henri Muccini
|
Architecting Fault Tolerant systems: state of the art and ongoing work with CAAs (second part).
slides
|
|
19/04/2006
|
Henri Muccini
|
Architecting Fault Tolerant systems: state of the art and ongoing work with CAAs (first part).
slides
|
|
29/03/2006
|
Gilles Perrouin
|
Architecting Software Systems using Model Transformation and Architectural Frameworks.
slides
|
|
15/03/2006
|
Pierre Kelsen
|
A Declarative Executable Model for Object Based Systems.
slides
|
|
22/02/2006
|
Cédric Pruski
|
Semantic Web.
slides
|
|
08/02/2006
|
Barbara Gallina
|
E-business processes modelling and exchange.
slides
|
|
25/01/2006
|
Andreea Monnat, Alain Gerard and Roger Kries
|
e-learning.
Monnat slides
,
Kries slides
|
|
24/01/2006
|
Alfonso Pierantonio
|
An approach to Model Transformations and its applications.
slides
|
|
16/01/2006
|
Nicolas Guelfi
|
Lassy seminars introduction.
slides
|
