First European-SouthAmerican School for Embedded Systems

August 21-24, 2007       Universidad Argentina de la Empresa (UADE), Buenos Aires - Argentina organised and funded by ARTIST 

Lecturers

Joseph Sifakis, A framework for component-based construction.


Joseph Sifakis is CNRS researcher and the Director of Verimag Laboratory in Grenoble, France. He studied Electrical Engineering at the Technical University of Athens and Computer Science at the University of Grenoble. He worked on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to the development of the state of the art in verification methods and tools by model-checking for both untimed and timed systems. His current research interests include modeling, design and analysis of real-time systems with a focus on composability and compositionality. (Further information: here). He is a member of the editorial board of several journals, co-founder of the CAV (Computer Aided Verification) conference and a member of the Steering Committee of the EMSOFT (Embedded Software) conference. He is the recipient of the CNRS Silver Medal in 2001. He is the scientific coordinator of the ARTIST2 European Network of Excellence on Embedded Systems Design.

 

Gerhard Fohler, Adaptive real-time systems.


Gerhard Fohler is professor for real-time systems at the Technische Universitaet Kaiserslautern, Germany. He received his Ph.D. from Vienna University of Technology and worked at the University of Massachusetts at Amherst as postdoctoral researcher. Before joining TU Kaiserslautern, he was professor and Malardalen University Sweden.
His research interests are in adaptive real-time systems, in particular combined scheduling schemes, such as offline and online. Recently, he has been involved in applying real-time resource management for media processing and video streaming.
Currently, he is chairman of the Technical Committee on Real-Time Systems of EUROMICRO, member of the executive team of the IEE Professional Network on Embedded Systems and the IEEE Technical Committee on real-time systems. Gerhard Fohler has been active with international conferences and chair and program chair of the leading real-time conferences.

 

Luis Almeida, Networks for embedded control systems.


Luis Almeida is currently a professor of the Electronics, Telecommunications and Informatics Department (DETI) of the Universidade de Aveiro (UA), and Coordinator of the LSE, a research laboratory of the IEETA research unit (Instituto de Engenharia Electrónica e Telemática de Aveiro) at the same university. He belongs to the Scientific Board of IEETA and he is a senior member of the IEEE, Computer Society. Luis Almeida has coordinated the LSE since 2003, being currently interested in real-time communication protocols for embedded systems with an emphasis on mechanisms to support predicatble operational flexibility. He is a co-author of more than 80 refereed publications in international scientific conferences and journals in the area, and co-author of 3 patents and 3 book chapters. He has given several invited talks and short courses about related topics and supervised several PhD students and Post-Doc visits to the LSE. He regularly participates in the organization of scientific events in the Real-Time Systems and Robotics communities.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet