Site.News History

Hide minor edits - Show changes to output

March 14, 2021, at 08:56 PM by 141.115.28.6 -
Changed lines 5-6 from:
* 15/02/2021 - Marwa Zeroual started her Phd program under my supervision. The work is a continuous collaboration between IRIT and CEA. The research focuses particularly on
Security Assurance Case for Artificial Intelligence (AI)-Based Systems.
to:
* 15/02/2021 - Marwa Zeroual started her Phd program under my supervision. The work is a continuous collaboration between IRIT and CEA. The research focuses particularly on Security Assurance Case for Artificial Intelligence (AI)-Based Systems.
March 14, 2021, at 08:56 PM by 141.115.28.6 -
March 14, 2021, at 08:55 PM by 141.115.28.6 -
Changed lines 5-7 from:
* 15/02/2021 - Marwa Zeroual started her Phd program under my supervision. The work is a continuous collaboration between IRIT and CEA.
The research focuses particularly on
to:
* 15/02/2021 - Marwa Zeroual started her Phd program under my supervision. The work is a continuous collaboration between IRIT and CEA. The research focuses particularly on
Security Assurance Case for Artificial Intelligence (AI)-Based Systems.
March 14, 2021, at 08:54 PM by 141.115.28.6 -
Changed lines 5-7 from:
* 08/02/2020 - Our paper '''''Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture ''''' has been accepted for publication at Future Generation Computer Systems, Elsevier.

*
01/06/2019 - Megha Quamara started her Phd program under my supervision. The research focuses particularly on the interplay between safety, security and the system architecture and aims at providing methodological and tool support for their study in unison.
to:
* 15/02/2021 - Marwa Zeroual started her Phd program under my supervision. The work is a continuous collaboration between IRIT and CEA.
The
research focuses particularly on


*
10/03/2021 - Our paper '''''Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support ''''' has been accepted for publication at Journal of Systems Architecture, Elsevier.
June 18, 2020, at 07:53 AM by 141.115.28.6 -
Changed line 17 from:
[[Attach:Argument4SecureCPS.pdf| '''Phd position: Security Assurance Cases within System and Security Co-evolution in Cyber-Physical Systems''' ]]
to:
[[Attach:Argument4SecureCPS.pdf| '''Cotutelle IRIT-University of Toulouse and Carleton University : Security Assurance Cases within System and Security Co-evolution in Cyber-Physical Systems''' ]]
June 18, 2020, at 07:51 AM by 141.115.28.6 -
Added lines 19-21:


'''Master'''
June 18, 2020, at 07:51 AM by 141.115.28.6 -
Added lines 14-15:

'''PhD'''
June 18, 2020, at 07:50 AM by 141.115.28.6 -
Added lines 14-16:

[[Attach:Argument4SecureCPS.pdf| '''Phd position: Security Assurance Cases within System and Security Co-evolution in Cyber-Physical Systems''' ]]
June 18, 2020, at 07:48 AM by 141.115.28.6 -
March 01, 2020, at 04:46 AM by 141.115.28.6 -
Changed line 7 from:
* 01/06/2019 - Megha Quamara started his Phd program under my supervision. The research focuses particularly on the interplay between safety, security and the system architecture and aims at providing methodological and tool support for their study in unison.
to:
* 01/06/2019 - Megha Quamara started her Phd program under my supervision. The research focuses particularly on the interplay between safety, security and the system architecture and aims at providing methodological and tool support for their study in unison.
March 01, 2020, at 04:46 AM by 141.115.28.6 -
Changed line 5 from:
* 08/02/2020 - Our paper ''''' ''''' has been accepted for publication at Future Generation Computer Systems, Elsevier.
to:
* 08/02/2020 - Our paper '''''Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture ''''' has been accepted for publication at Future Generation Computer Systems, Elsevier.
March 01, 2020, at 04:45 AM by 141.115.28.6 -
Changed lines 5-7 from:
* 31/03/2018 - Our paper ''''' Engineering Secure Systems: Models, Patterns and Empirical Validation''''' has been accepted for publication at Computers & Security Journal, Elsevier.

* 01/10/2017 - Quentin Rouland
started his Phd program under my supervision. The research focuses particularly on the interplay between safety, security and the system architecture and aims at providing methodological and tool support for their study in unison.
to:
* 08/02/2020 - Our paper ''''' ''''' has been accepted for publication at Future Generation Computer Systems, Elsevier.

*
01/06/2019 - Megha Quamara started his Phd program under my supervision. The research focuses particularly on the interplay between safety, security and the system architecture and aims at providing methodological and tool support for their study in unison.
April 01, 2018, at 01:17 PM by 141.115.28.6 -
Changed line 7 from:
* 01/10/2017 - Quentin Rouland started his Phd program and my supervision. The research focuses particularly on the interplay between safety, security and the system architecture and aims at providing methodological and tool support for their study in unison.
to:
* 01/10/2017 - Quentin Rouland started his Phd program under my supervision. The research focuses particularly on the interplay between safety, security and the system architecture and aims at providing methodological and tool support for their study in unison.
April 01, 2018, at 01:17 PM by 141.115.28.6 -
Added lines 6-9:

* 01/10/2017 - Quentin Rouland started his Phd program and my supervision. The research focuses particularly on the interplay between safety, security and the system architecture and aims at providing methodological and tool support for their study in unison.
April 01, 2018, at 01:13 PM by 141.115.28.6 -
Changed lines 5-10 from:
* 15/03/2017 - Our paper ''''' Tradeoffs between performance and security&dependability using patterns and model-driven engineering''''' has been accepted for publication at FUNDAMENTA INFORMATICAE, IOS Press.

*
18/09/2016 - Our paper '''''Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation''''' has been accepted for publication at Journal of Systems and Software, Elsevier.


* 07/06/2016 - Our paper '''''A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support''''' has been accepted for publication at Future Generation Computer Systems journal,
Elsevier.
to:
* 31/03/2018 - Our paper ''''' Engineering Secure Systems: Models, Patterns and Empirical Validation''''' has been accepted for publication at Computers & Security Journal, Elsevier.
April 25, 2017, at 03:48 PM by 141.115.28.6 -
Deleted lines 6-7:
* 11/12/2016 - Our paper '''''A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support''''' has been accepted for publication at Future Generation Computer Systems journal, Elsevier.
Added lines 9-10:

* 07/06/2016 - Our paper '''''A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support''''' has been accepted for publication at Future Generation Computer Systems journal, Elsevier.
April 25, 2017, at 03:47 PM by 141.115.28.6 -
Changed lines 7-9 from:
* 11/12/2016 - Our paper '''''A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support''''' has been accepted for publication at Future Generation Computer Systems journal.

* 18/09/2016 - Our paper '''''Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation''''' has been accepted for publication at Journal of Systems and Software.
to:
* 11/12/2016 - Our paper '''''A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support''''' has been accepted for publication at Future Generation Computer Systems journal, Elsevier.

* 18/09/2016 - Our paper '''''Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation''''' has been accepted for publication at Journal of Systems and Software, Elsevier.
April 25, 2017, at 03:46 PM by 141.115.28.6 -
Changed lines 5-7 from:
* 11/12/2016 - Our paper '''''A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support''''' has been accepted for publication at Future Generation Computer Systems journal

* 18
/09/16 - Our paper '''''Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation''''' has been accepted for publication at Journal of Systems and Software
to:
* 15/03/2017 - Our paper ''''' Tradeoffs between performance and security&dependability using patterns and model-driven engineering''''' has been accepted for publication at FUNDAMENTA INFORMATICAE, IOS Press.

*
11/12/2016 - Our paper '''''A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support''''' has been accepted for publication at Future Generation Computer Systems journal.

*
18/09/2016 - Our paper '''''Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation''''' has been accepted for publication at Journal of Systems and Software.
March 26, 2017, at 06:10 PM by 141.115.28.6 -
Added line 3:
\\
March 24, 2017, at 08:58 AM by 141.115.28.6 -
Added lines 4-5:
* 11/12/2016 - Our paper '''''A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support''''' has been accepted for publication at Future Generation Computer Systems journal
Changed lines 7-9 from:
* 06/09/16 - Our paper '''''Guiding the selection of security patterns for real-time systems ''''' has been accepted for publication at ICECCS 2016
* 29/02/16 - Our paper '''''A Model Repository Description Language -MRDL''''' has been accepted for publication at ICSR 2016
to:
Changed lines 12-14 from:
'''Master Internship positions'''

*
[[Master1 | Model repository]] [[Attach:ModelRepositry_BH1617.pdf| Model repository]]
to:
[[Attach:SujetMaster_1617_BHamid.pdf| '''Master Internship positions''' ]]

*
[[Master1 | Model repository]]
Changed line 14 from:
* [[Master1 | Model repository]] [[Attach:ModelRepositry_BH1617.pdf| Model repository]]]
to:
* [[Master1 | Model repository]] [[Attach:ModelRepositry_BH1617.pdf| Model repository]]
Changed line 14 from:
* [[Master1 | Model repository]]
to:
* [[Master1 | Model repository]] [[Attach:ModelRepositry_BH1617.pdf| Model repository]]]
Added line 5:
* 06/09/16 - Our paper '''''Guiding the selection of security patterns for real-time systems ''''' has been accepted for publication at ICECCS 2016
Changed line 17 from:
* [[Master3 | Interplay of security and software architecture]]
to:
* [[Master3 | Interplay of security and safety]]
Changed lines 13-15 from:
* [[another page | Model repository]]

* [[Master2 | Interplay of security and software architecture]]
to:
* [[Master1 | Model repository]]

* [[Master2 | Interplay of security and software architecture]]

* [[Master3
| Interplay of security and software architecture]]
Changed line 13 from:
* [[Master1 | Model repository]]
to:
* [[another page | Model repository]]
Changed lines 13-15 from:
* [[another page | Model repository]]

* [[another page | Interplay of security and software architecture]]
to:
* [[Master1 | Model repository]]

* [[Master2 | Interplay of security and software architecture]]
Changed lines 13-15 from:
* [[another page | Model repository]]
to:
* [[another page | Model repository]]

* [[another page | Interplay of security and software architecture
]]
Changed line 11 from:
* ''[[ https://www.irit.fr/-Stages-de-Master-2-| Master Internship positions within IRIT- MACAO Team]]''
to:
'''Master Internship positions'''
Changed line 13 from:
* [[another page | link text]]
to:
* [[another page | Model repository]]
Changed line 13 from:
* [[another page]]
to:
* [[another page | link text]]
Changed line 13 from:
* [[#anchor | link text]]
to:
* [[another page]]
Deleted line 4:
* 14/09/2015- Our paper '''''Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems''''' has been accepted for publication at Innovations in Systems and Software Engineering- Springer, 2015
Added line 4:
* 18/09/16 - Our paper '''''Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation''''' has been accepted for publication at Journal of Systems and Software
Changed lines 6-7 from:
* 09/09/2015 - Our paper '''''Security Concepts as Add-On for Process Models''''' has been accepted at ICECCS 2015
*
01/06/2015 - Our paper '''''Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development''''' has been accepted at TrustCom 2015
to:
* 29/02/16 - Our paper '''''A Model Repository Description Language -MRDL''''' has been accepted for publication at ICSR 2016
Changed lines 12-14 from:
* ''[[ http://www.irit.fr/-Stages-de-Master-2-| Master Internship positions within IRIT- MACAO Team]]''
to:
* ''[[ https://www.irit.fr/-Stages-de-Master-2-| Master Internship positions within IRIT- MACAO Team]]''

* [[#anchor | link text]]
Changed line 4 from:
* Our paper '''''Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems''''' has been accepted for publication at Innovations in Systems and Software Engineering- Springer, 2015
to:
* 14/09/2015- Our paper '''''Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems''''' has been accepted for publication at Innovations in Systems and Software Engineering- Springer, 2015
Changed line 4 from:
*
to:
* Our paper '''''Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems''''' has been accepted for publication at Innovations in Systems and Software Engineering- Springer, 2015
Changed lines 5-6 from:
* 09/09/2015 - Our paper '''Security Concepts as Add-On for Process Models''' has been accepted at ICECCS 2015
* 01/06/2015 - Our paper '''Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development''' has been accepted at TrustCom 2015
to:
* 09/09/2015 - Our paper '''''Security Concepts as Add-On for Process Models''''' has been accepted at ICECCS 2015
* 01/06/2015 - Our paper '''''Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development''''' has been accepted at TrustCom 2015
Changed line 6 from:
* 01/06/2015 - Our paper '''nterplay of Security&Dependability and Resource using Model-driven and Pattern-based Development''' has been accepted at TrustCom 2015
to:
* 01/06/2015 - Our paper '''Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development''' has been accepted at TrustCom 2015
Changed lines 5-6 from:
* 01/10/2011 - Our paper '''Security Concepts as Add-On for Process Models''' has been accepted at ICECCS 2015
to:
* 09/09/2015 - Our paper '''Security Concepts as Add-On for Process Models''' has been accepted at ICECCS 2015
* 01/06/2015 - Our paper '''nterplay of Security&Dependability and Resource using Model-driven and Pattern-based Development''' has been accepted at TrustCom 2015
Changed line 5 from:
* 01/10/2011 - Our paper ''Security Concepts as Add-On for Process Models'' has been accepted at ICECCS 2015
to:
* 01/10/2011 - Our paper '''Security Concepts as Add-On for Process Models''' has been accepted at ICECCS 2015
Changed line 5 from:
* 01/10/2011 - Our paper "Security Concepts as Add-On for Process Models" has been accepted at ICECCS 2015
to:
* 01/10/2011 - Our paper ''Security Concepts as Add-On for Process Models'' has been accepted at ICECCS 2015
Added lines 3-6:

*
* 01/10/2011 - Our paper "Security Concepts as Add-On for Process Models" has been accepted at ICECCS 2015
March 16, 2015, at 11:36 AM by 141.115.28.2 -
Changed line 7 from:
* ''[[ https://www.irit.fr/-Stages-de-Master-2-| Master Internship positions '2013 within IRIT- MACAO Team]]''
to:
* ''[[ https://www.irit.fr/-Stages-de-Master-2-| Master Internship positions within IRIT- MACAO Team]]''
May 21, 2013, at 01:07 PM by 141.115.28.2 -
Deleted lines 3-7:
* ''[[https://www.irit.fr/SD4RCES | S&D4RCES'2011]]: IRIT is one of the organisers of the International workshop on Security and Dependability for Resource Constrained Embedded Systems. It will be held in Naples, Italy, in conjunction with the [[http://www.safecomp.org/| SAFECOMP 2011]] Conference''. Workshop proceedings will be published in the ACM Digital Library in the ICPS series.

* ''[[http://seaa2011.oulu.fi/index.php/dance| DANCE'2011]]: IRIT is one of the organisers of the International workshop on Distributed Architecture modeling for Novel Component based Embedded systems. It will be held in Oulu, Finland, in conjunction with the [[http://seaa2011.oulu.fi/| SEAA '2011]] Conference''. Published within the conference proceedings edited by IEEE.
Changed line 7 from:
* ''[[ https://www.irit.fr/-Stages-de-Master-2-| Master Internship positions '2010 within IRIT- MACAO Team]]''
to:
* ''[[ https://www.irit.fr/-Stages-de-Master-2-| Master Internship positions '2013 within IRIT- MACAO Team]]''
July 28, 2011, at 03:44 PM by 193.205.206.26 -
Changed lines 4-6 from:
* ''[[https://www.irit.fr/SD4RCES | S&D4RCES'2010]]: IRIT is one of the organisers of the International workshop on Security and Dependability for Resource Constrained Embedded Systems. It will be held in Vienna, Austria, in conjunction with the [[http://www.safecomp.org/| SAFECOMP 2010]] Conference''. Workshop proceedings will be published in the ACM Digital Library in the ICPS series.

* ''[[http://www.irit.fr/DANCE2010 | DANCE'2010]]: IRIT is one of the organisers of the International workshop on Distributed Architecture modeling for Novel Component based Embedded systems. It will be held in Tozeur, Tunisia, in conjunction with the [[http://notere2010.redcad.org/eng| ]] Conference''. Published within the conference proceedings edited by IEEE.
to:
* ''[[https://www.irit.fr/SD4RCES | S&D4RCES'2011]]: IRIT is one of the organisers of the International workshop on Security and Dependability for Resource Constrained Embedded Systems. It will be held in Naples, Italy, in conjunction with the [[http://www.safecomp.org/| SAFECOMP 2011]] Conference''. Workshop proceedings will be published in the ACM Digital Library in the ICPS series.

* ''[[http://seaa2011.oulu.fi/index.php/dance| DANCE'2011]]: IRIT is one of the organisers of the International workshop on Distributed Architecture modeling for Novel Component based Embedded systems. It will be held in Oulu, Finland, in conjunction with the [[http://seaa2011.oulu.fi/| SEAA '2011]] Conference''. Published within the conference proceedings edited by IEEE.