2011 |
ACM/IEEE 14th International Conference on Model Driven Engineering Languages
|
| Conference: | MODELS 2011
|
| Date, Place: | 16-21 October 2011, Wellington, New Zealand |
| Presentation: | Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches |
| Authors: | Brahim Hamid (IRIT), Sigrid Gürgens (Fraunhofer SIT), Christophe Jouvray (Trialog), Nicolas Desnos (IRIT) |
|
The Sixth International Conference on Software Engineering Advances
|
| Conference: | ICSEA 2011 |
| Date, Place: | 23-29 October 2011, Barcelona, Spain |
| Presentation: | A Metamodel for Representing Safety LifeCycle Development Process |
| Authors: | Yulin Zhang, Brahim Hamid, Damien Gouteux (IRIT) |
|
International Workshop on Security and Dependability for Resource Constrained Embedded Systems |
| Conference: | S&D4RECS 2011, in conjunction with the 30th International Conference on Computer Safety, Reliability and Security Conference (SAFECOMP 2011) |
| Date, Place: | 22 September 2011, Naples, Italy |
| Presentation: | Analysis of the SYM2 Smart Meter Remote Software Download Using Formal Methods Reasoning
|
| Authors: | Andreas Fuchs (Fraunhofer SIT), Donatus Weber (University of Siegen) |
|
Modelisation Vertrauen, Datenschutz, Sicherheit und Innovation
|
| Conference: | Journées Neptune 2011 |
| Date, Place: | 17-18 May 2011, Paris, France |
| Presentation: | Modélisation à base de patrons de sécurité et de
sûreté pour les systèmes embarqués contraints en ressources –
l’approche TERESA |
| Authors: | Brahim Hamid, Nicolas Desnos (IRIT)
|
Presentation:
|
Illustration et utilisation de l'approche TERESA dans l'industrie |
Author:
| Christophe Jouvray (Trialog) |
|
IT-Sicherheit - Vertrauen, Datenschutz, Sicherheit und Innovation
|
| Conference: | EICT conference
|
| Date, Place: | 10 February 2011, Berlin, Germany
|
| Presentation: | Sicherheit für die Verwaltung eingebetteter Systeme |
| Authors: | Jan Pelzl (escrypt)
|
|
2010 |
IEEE International Conference on Embedded and Ubiquitous Computing |
| Conference: | EUC 2010 |
| Date, Place: | 11-13 December 2010, Hong Kong, China |
| Presentation: | An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES |
| Authors: | Brahim Hamid, Adel Ziani (IRIT)
|
|
S&D4RCES: International Workshop on Security and Dependability for
Resource Constrained Embedded Systems - S&D RCES by Design |
![]() Conference: | S&D4RCES, in conjunction with SAFECOMP 2010 |
| Date, Place: | 14 September 2010, Vienna, Austria
|
Workshop:
| S&D4RCES Agenda  and Information Sheet |
| Presentation: | Enforcing Trust in Embedded Systems Using Models |
| Authors: | Christophe Jouvray, Michel Sall, Antonio Kung (Trialog)
|
| Presentation: | Formalization of Smart Metering Requirements |
| Authors: | Andreas Fuchs, Sigrid Güergens (Fraunhofer SIT), Donatus Weber, Christian Bodenstedt, Christoph Ruland (University of Siegen)
|
| Presentation: | Security Engineering for Embedded Systems: The SecFuture Vision |
| Authors: | Sigrid Güergens, Carsten Rudolph (Franunhofer SIT), Antonio Maña (University of Malaga), Simin Nadjm-Tehrani (Linköping University) |
Presentation:
| Model-Based Security and Dependability Patterns in RCES: The TERESA Approach |
| Authors: | Brahim Hamid (IRIT), Cyril Grepet (Trialog) |
| Presentation: | Towards the Integration of Advanced Engineering Paradigms into RCES: Raising the Issues for the Model-Driven Product-Line Case |
| Authors: | David Gonzalez, Antonio Pérez, Salvador Trujillo (Ikerlan IK4)
|
|
8th Nordic Workshop on Model Driven Software Engineering |
| Conference: | NW-MODE 2010 |
| Date, Place: | 23-26 August 2010, Copenhagen, Denmark
|
| Presentation: | Model-Based Engineering for Dynamic Reconfiguration in DRTES |
| Authors: | Brahim Hamid, Fatma Krichen (IRIT)
|
|
3rd International Conference on Telecommunications, Electronics and
Informatics |
| Conference: | ICTEI 2010 |
| Date, Place: | 20-23 May 2010, Chisnau Moldova
|
Presentation:
| Integration of Security and Dependability into Resource Constrained
Embedded Systems |
Authors:
| Christian Bodenstedt, Christoph Ruland, Donatus Weber (University of
Siegen), Antonio Kung (Trialog) |
|