University of Luxembourg

Seminars

The LASSY seminars are usually held at 16h00, room B02, Campus Kirchberg (see access map ).

Overview

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

 

Andrey Berlizev

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

University Faculties Centres Research Studies Students Contact
Copyright © Université du Luxembourg 2010. All rights reserved
About this site   |   sitemap