2012 |
Security Engineering Based on Structured Formal Reasoning |
Authors:
| Carsten Rudolph, Andreas Fuchs (Fraunhofer SIT) |
Publisher:
| RISE Workshop on Redefining and Integrating Security Engineering (RISE'12)
|
Date:
| December 2012
|
| Text: | Springer Link
|
|
Supporting Security Engineering at Design Time with Adequate Tooling
|
Authors:
| Jörn Eichler, Andreas Fuchs, Nico Linke, (Fraunhofer SIT) |
Publisher:
| The 15th IEEE International Conference on Computational Science and Engineering (CSE 2012)
|
Date:
| December 2012
|
| Text: | IEEE Xplore Digital Library |
|
Safety Lifecycle Development Process Modeling for Embedded Systems - Example Railway Domain
|
Authors:
| Brahim Hamid, Jacob Geisel, Adel Ziani, (IRIT), David Gonzalez (Ikerlan) |
Publisher:
| Software Engineering for Resilient Systems (SERENE)
|
Date:
| September 2012 |
| Text: | Springer |
|
A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded SystemsDesign |
Authors:
|
Adel Ziani, Brahim Hamid, Jean-Michel Bruel (IRIT) |
Publisher:
| Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012)
|
Date:
| September 2012 |
| Text: | IEEE
|
|
A Proven Pattern Integration Process
|
| Authors: | Damien Gouteux, Brahim Hamid, Christian Percebois (IRIT)
|
| Publisher: | European Conference on Pattern Language of Programs (EuroPlop 2012)
|
Date:
| July 2012
|
| Text: | BibTeX |
|
Redefining Security Engineering
|
Authors:
| Carsten Rudolph, Andreas Fuchs (Fraunhofer SIT) |
Publisher:
| 5th International Conference on New Technologies, Mobility and Security (NTMS)
|
Date:
| May 2012
|
| Text: | DBLP Universität Trier
|
|
Herausforderungen und Lösungsansätze zur Integration von Safety und
Security aus der Perspektive Formaler Methoden.
|
Authors:
| Andreas Fuchs (Fraunhofer SIT) |
Publisher:
| Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS Workshop) |
Date:
| February 2012
|
| Text: | BibTeX |
|
2011 |
First Experiment on Modeling Safety Life Cycle Process in Railway Systemes
|
| Authors: | Brahim Hamid, Yulin Zhang, Jacob Geisel (IRIT), David Gonzalez (Ikerlan)
|
| Publisher: | International Journal of Dependable and Trustworthy Information Systems Vol. 2 N° 2 (IGI Global)
|
Date:
| November 2011
|
| Text: | Dependable and Trustworty Information Systems
|
|
A Metamodel for Representing Safety LifeCycle Development Process |
Authors:
|
Yulin Zhang, Brahim Hamid, Damien Gouteux (IRIT) |
Publisher:
| ICSEA 2011, The Sixth International Conference on Software Engineering Advances
(ICSEA 2011) |
Date:
| October 2011
|
| Text: | Think Mind
|
|
Analysis of the SYM2 Smart Meter Remote Software Download Using Formal Methods Reasoning |
Authors:
|
Andreas Fuchs (Fraunhofer SIT), Donatus Weber (University of Siegen) |
Publisher:
| Proceedings of
S&D4RCES 2011
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2011) |
Date:
| October 2011
|
| Text: | ACM DL Digital Library |
|
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems |
Editors:
|
Brahim Hamid (IRIT), Carsten Rudolf (Fraunhofer SIT), Antonio Maña (University of Malaga), Simin Nadjm-Tehrani (University Linköping) |
Publisher:
| S&D4RCES 2011
Workshop, in conjunction with SafeComp 2011 |
Date:
| October 2011
|
| Text: | ACM DL Digital Library |
|
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) |
Publisher:
| Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages 2011
(MODELS 2011) |
Date:
| October 2011
|
| Text: | ACM DL Digital Lilbrary |
|
Towards a Unified Meta-Model for Resources-Constrained Embedded Systems
|
Authors:
| Adel Ziani, Brahim Hamid (IRIT, University of Toulouse), Salvador Trujillo (Ikerlan)
|
Publisher:
| IEEE Computer Society |
Date:
| September 2011 |
| Text: | IEEE Xplore
|
|
Vers une Technique de Développement de Patrons de Sécurité et de Fiabilité pour les Systèmes Embarqués Contraints en Ressources |
| Authors: | Brahim Hamid, Nicolas Desnos (IRIT, University of Toulouse), Christophe Jouvray (Trialog) |
| Publisher | Génie Logiciel, GL & IS
|
| Date: | September 2011
|
|
Towards Variability Support for Security and Dependability Patterns |
| Authors: | Brahim Hamid, Nicolas Desnos (IRIT, University of Toulouse), Salvador Trujillo, David Gonzalez (Ikerlan- IK4)
|
| Publisher: | Proceedings of the 3rd International Workshop on
Model-driven Approaches in Software Product Line Engineering and
Software Product Line Conference (SPLC/MAPLE/SCALE 2011) |
| Date: |
August 2011
|
| Text: | ACM DL Digital Library |
|
2010 |
An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES
|
Authors:
| Brahim Hamid, Adel Ziani (IRIT) |
Publisher:
| Proceedings of IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC 2010) |
Date:
| December 2010
|
| Text: | IEEE Xplore |
|
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems |
Editors:
| Brahim Hamid (IRIT), Carsten Rudolph (Fraunhofer SIT), Christoph Ruland (University of Siegen) |
Publisher:
| S&D4RCES 2010 Workshop, in conjunction with (SAFECOMP 2010) |
Date:
| September 2010
|
| Text: | ACM DL Digital Library
|
|
Enforcing Trust in Embedded Systems Using Models
|
Authors:
| Christophe Jouvray, Michel Sall, Antonio Kung (Trialog) |
Publisher:
| Proceedings of
S&D4RCES '10
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010
|
| Text: | ACM DL Digital Library
|
|
Formalization of Smart Metering Requirements |
Authors:
| Andreas Fuchs, Sigrid Gürgens (Fraunhofer SIT), Donatus Weber, Christian Bodenstedt,Christoph Ruland (University of Siegen) |
Publisher:
| Proceedings of
S&D4RCES '10
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010
|
| Text: | ACM DL Digital Library
|
|
Model-Based Security and Dependability Patterns in RCES – the TERESA Approach |
Authors:
| Brahim Hamid, Nicolas Desnos (IRIT, University of Toulouse), Cyril Grepet, Christophe Jouvray (Trialog)
|
Publisher:
| Proceedings of
S&D4RCES '10 Workshop, in the Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010 |
| Text: | ACM DL Digital Library |
|
Towards the Integration of Advanced Engineering Paradigms into RCES:
Raising the Issues for the Safety-Critical Model-Driven Product-Line
Case |
Authors:
| Salvador Trujillo, Antonio Perez, David Gonzalez (Ikerlan- IK4), Brahim Hamid (IRIT, University of Toulouse) |
Publisher:
| Proceedings of
S&D4RCES '10
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010 |
| Text: | ACM DL Digital Library |
|
Security Engineering for Embedded Systems: The SecFutur Vision |
Authors:
|
Sigrid Gürgens,
Carsten Rudolph (Fraunhofer SIT),
Antonio Maña (University of Malaga),
Simin Nadjm-Tehrani(Linköping University) |
Publisher:
| Proceedings of
S&D4RCES '10
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010
|
| Text: | ACM DL Digital Library
|
|
Model-Based Engineering for Dynamic Reconfiguration in
DRTES |
| Authors: | Brahim Hamid, Fatma Krichen (IRIT) |
| Publisher: | 8th Nordic Workshop on Model Driven Software Engineering (NW-MODE 2010) |
| Date: | August 2010
|
| Text: | paper  |
|
Integration of Security and Dependability into Resource Constrained Embedded Systems |
| Authors: | Christian Bodenstedt, Christoph Ruland, Donatus Weber (University of Siegen), Antonio Kung (Trialog) |
Publisher:
| 3rd International Conference on Telecommunications, Electronics and Informatics (ICTEI 2010) |
Date:
| May 2010 |
Text:
| paper |
|