際際滷shows by User: lmontrieux / http://www.slideshare.net/images/logo.gif 際際滷shows by User: lmontrieux / Mon, 16 May 2016 16:52:09 GMT 際際滷Share feed for 際際滷shows by User: lmontrieux Reusable Self-Adaptation through Bidirectional Programming /slideshow/reusable-selfadaptation-through-bidirectional-programming/62065508 tvygdwsbqawnzwp4mekb-signature-e34a6be30ff4ccc45431eee6de039ec8ee0d82c43768ecff742dadbe16850301-poli-160516165209
In this talk I show how bidirectional programming provides maintainable synchronization between configuration files and abstract configurations. The correctness of the synchronization is guaranteed by construction.]]>
In this talk I show how bidirectional programming provides maintainable synchronization between configuration files and abstract configurations. The correctness of the synchronization is guaranteed by construction.]]> Mon, 16 May 2016 16:52:09 GMT /slideshow/reusable-selfadaptation-through-bidirectional-programming/62065508 lmontrieux@slideshare.net(lmontrieux) Reusable Self-Adaptation through Bidirectional Programming lmontrieux In this talk I show how bidirectional programming provides maintainable synchronization between configuration files and abstract configurations. The correctness of the synchronization is guaranteed by construction. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/tvygdwsbqawnzwp4mekb-signature-e34a6be30ff4ccc45431eee6de039ec8ee0d82c43768ecff742dadbe16850301-poli-160516165209-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> In this talk I show how bidirectional programming provides maintainable synchronization between configuration files and abstract configurations. The correctness of the synchronization is guaranteed by construction.
Reusable Self-Adaptation through Bidirectional Programming from Lionel Montrieux
]]> 315 4 https://cdn.slidesharecdn.com/ss_thumbnails/tvygdwsbqawnzwp4mekb-signature-e34a6be30ff4ccc45431eee6de039ec8ee0d82c43768ecff742dadbe16850301-poli-160516165209-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Self-Adaptive Cloud Infrastructures with Bidirectional Programming /slideshow/selfadaptive-cloud-infrastructures-with-bidirectional-programming/59756618 2016-03-19-awase-lmontrieux-160319061239
In this talk, I discuss ongoing work on using bidirectional programming in self-adaptive systems, and cloud infrastructures in particular. Bidirectional programming allows for clear separation of concerns for self-adaptation, leading to simpler, faster, and more reusable analysis and planning components.]]>
In this talk, I discuss ongoing work on using bidirectional programming in self-adaptive systems, and cloud infrastructures in particular. Bidirectional programming allows for clear separation of concerns for self-adaptation, leading to simpler, faster, and more reusable analysis and planning components.]]> Sat, 19 Mar 2016 06:12:38 GMT /slideshow/selfadaptive-cloud-infrastructures-with-bidirectional-programming/59756618 lmontrieux@slideshare.net(lmontrieux) Self-Adaptive Cloud Infrastructures with Bidirectional Programming lmontrieux In this talk, I discuss ongoing work on using bidirectional programming in self-adaptive systems, and cloud infrastructures in particular. Bidirectional programming allows for clear separation of concerns for self-adaptation, leading to simpler, faster, and more reusable analysis and planning components. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/2016-03-19-awase-lmontrieux-160319061239-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> In this talk, I discuss ongoing work on using bidirectional programming in self-adaptive systems, and cloud infrastructures in particular. Bidirectional programming allows for clear separation of concerns for self-adaptation, leading to simpler, faster, and more reusable analysis and planning components.
Self-Adaptive Cloud Infrastructures with Bidirectional Programming from Lionel Montrieux
]]> 217 5 https://cdn.slidesharecdn.com/ss_thumbnails/2016-03-19-awase-lmontrieux-160319061239-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Self-Adaptive Federated Authorisation Infrastructures /slideshow/selfadaptive-federated-authorisation-infrastructures/57304088 2016-01-12-ipl-seminar-lmontrieux-160121010647
際際滷s from a talk given at our weekly lab seminar at NII, Tokyo. The talk is mostly based on Christopher Bailey et al's paper on "Self-Adaptive Federated Authorization Infrastructures", as well as related work I was involved with.]]>
際際滷s from a talk given at our weekly lab seminar at NII, Tokyo. The talk is mostly based on Christopher Bailey et al's paper on "Self-Adaptive Federated Authorization Infrastructures", as well as related work I was involved with.]]> Thu, 21 Jan 2016 01:06:47 GMT /slideshow/selfadaptive-federated-authorisation-infrastructures/57304088 lmontrieux@slideshare.net(lmontrieux) Self-Adaptive Federated Authorisation Infrastructures lmontrieux 際際滷s from a talk given at our weekly lab seminar at NII, Tokyo. The talk is mostly based on Christopher Bailey et al's paper on "Self-Adaptive Federated Authorization Infrastructures", as well as related work I was involved with. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/2016-01-12-ipl-seminar-lmontrieux-160121010647-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 際際滷s from a talk given at our weekly lab seminar at NII, Tokyo. The talk is mostly based on Christopher Bailey et al&#39;s paper on &quot;Self-Adaptive Federated Authorization Infrastructures&quot;, as well as related work I was involved with.
Self-Adaptive Federated Authorisation Infrastructures from Lionel Montrieux
]]> 549 6 https://cdn.slidesharecdn.com/ss_thumbnails/2016-01-12-ipl-seminar-lmontrieux-160121010647-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Bidirectional Programming for Self-adaptive Software /slideshow/bidirectional-programming-for-selfadaptive-software/53355086 2015-09-08-shonan-lmontrieux-150930043823-lva1-app6891
Talk given at the 2015 Shonan meeting on Engineering Adaptive Software Systems (EASSY), 6-10 Sept. 2015. I present new ideas on how bidirectional programs can be used to efficiently and reliably implement self-adaptive software systems.]]>
Talk given at the 2015 Shonan meeting on Engineering Adaptive Software Systems (EASSY), 6-10 Sept. 2015. I present new ideas on how bidirectional programs can be used to efficiently and reliably implement self-adaptive software systems.]]> Wed, 30 Sep 2015 04:38:23 GMT /slideshow/bidirectional-programming-for-selfadaptive-software/53355086 lmontrieux@slideshare.net(lmontrieux) Bidirectional Programming for Self-adaptive Software lmontrieux Talk given at the 2015 Shonan meeting on Engineering Adaptive Software Systems (EASSY), 6-10 Sept. 2015. I present new ideas on how bidirectional programs can be used to efficiently and reliably implement self-adaptive software systems. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/2015-09-08-shonan-lmontrieux-150930043823-lva1-app6891-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Talk given at the 2015 Shonan meeting on Engineering Adaptive Software Systems (EASSY), 6-10 Sept. 2015. I present new ideas on how bidirectional programs can be used to efficiently and reliably implement self-adaptive software systems.
Bidirectional Programming for Self-adaptive Software from Lionel Montrieux
]]> 258 5 https://cdn.slidesharecdn.com/ss_thumbnails/2015-09-08-shonan-lmontrieux-150930043823-lva1-app6891-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 rbacDSL - slides from Code Generation 2014 /slideshow/rbacdsl-code-generation-2014/33325688 lmontrieux-cg2014-140409101247-phpapp02
My slides from my talk at Code Generation 2014 in Cambridge, UK. rbacDSL is a text-based DSL for writing, verifying and correcting RBAC authorisation policies. It produces standard XACML policies that can be used with any XACML evaluation engine.]]>
My slides from my talk at Code Generation 2014 in Cambridge, UK. rbacDSL is a text-based DSL for writing, verifying and correcting RBAC authorisation policies. It produces standard XACML policies that can be used with any XACML evaluation engine.]]> Wed, 09 Apr 2014 10:12:47 GMT /slideshow/rbacdsl-code-generation-2014/33325688 lmontrieux@slideshare.net(lmontrieux) rbacDSL - slides from Code Generation 2014 lmontrieux My slides from my talk at Code Generation 2014 in Cambridge, UK. rbacDSL is a text-based DSL for writing, verifying and correcting RBAC authorisation policies. It produces standard XACML policies that can be used with any XACML evaluation engine. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/lmontrieux-cg2014-140409101247-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> My slides from my talk at Code Generation 2014 in Cambridge, UK. rbacDSL is a text-based DSL for writing, verifying and correcting RBAC authorisation policies. It produces standard XACML policies that can be used with any XACML evaluation engine.
rbacDSL - slides from Code Generation 2014 from Lionel Montrieux
]]> 725 2 https://cdn.slidesharecdn.com/ss_thumbnails/lmontrieux-cg2014-140409101247-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Model-Based Analysis of Role-Based Access Control /slideshow/lmontrieux-ukent/27750265 lmontrieux-ukent-131030145123-phpapp02
A talk I gave at University of Kent in Canterburry on the 30th of October 2013, as part of their security group seminars.]]>
A talk I gave at University of Kent in Canterburry on the 30th of October 2013, as part of their security group seminars.]]> Wed, 30 Oct 2013 14:51:23 GMT /slideshow/lmontrieux-ukent/27750265 lmontrieux@slideshare.net(lmontrieux) Model-Based Analysis of Role-Based Access Control lmontrieux A talk I gave at University of Kent in Canterburry on the 30th of October 2013, as part of their security group seminars. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/lmontrieux-ukent-131030145123-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> A talk I gave at University of Kent in Canterburry on the 30th of October 2013, as part of their security group seminars.
Model-Based Analysis of Role-Based Access Control from Lionel Montrieux
]]> 1626 7 https://cdn.slidesharecdn.com/ss_thumbnails/lmontrieux-ukent-131030145123-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 rbacUML at CodeGeneration 2012 /lmontrieux/rbacuml-at-codegeneration-2012 lmontrieux-cg2012-120328145257-phpapp02
]]>
]]> Wed, 28 Mar 2012 14:52:55 GMT /lmontrieux/rbacuml-at-codegeneration-2012 lmontrieux@slideshare.net(lmontrieux) rbacUML at CodeGeneration 2012 lmontrieux <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/lmontrieux-cg2012-120328145257-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br>
rbacUML at CodeGeneration 2012 from Lionel Montrieux
]]> 321 3 https://cdn.slidesharecdn.com/ss_thumbnails/lmontrieux-cg2012-120328145257-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Open University CRC Students conference 2010 /slideshow/open-university-crc-students-conference-2010/4429647 montrieux-crc2010-slides-100607095036-phpapp01
]]>
]]> Mon, 07 Jun 2010 09:50:26 GMT /slideshow/open-university-crc-students-conference-2010/4429647 lmontrieux@slideshare.net(lmontrieux) Open University CRC Students conference 2010 lmontrieux <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/montrieux-crc2010-slides-100607095036-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br>
Open University CRC Students conference 2010 from Lionel Montrieux
]]> 395 2 https://cdn.slidesharecdn.com/ss_thumbnails/montrieux-crc2010-slides-100607095036-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Security Analysis for Evolvable Software /slideshow/security-analysis-for-evolvable-systems/3804635 pacetalk-100421105847-phpapp01
A 10 minutes talk about my PhD research, given at The Open University in front of about 15 students from all faculties. No technical details here, as I focused on the big picture to describe to non-computing people which problem I'm trying to solve.]]>
A 10 minutes talk about my PhD research, given at The Open University in front of about 15 students from all faculties. No technical details here, as I focused on the big picture to describe to non-computing people which problem I'm trying to solve.]]> Wed, 21 Apr 2010 10:58:43 GMT /slideshow/security-analysis-for-evolvable-systems/3804635 lmontrieux@slideshare.net(lmontrieux) Security Analysis for Evolvable Software lmontrieux A 10 minutes talk about my PhD research, given at The Open University in front of about 15 students from all faculties. No technical details here, as I focused on the big picture to describe to non-computing people which problem I'm trying to solve. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/pacetalk-100421105847-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> A 10 minutes talk about my PhD research, given at The Open University in front of about 15 students from all faculties. No technical details here, as I focused on the big picture to describe to non-computing people which problem I&#39;m trying to solve.
Security Analysis for Evolvable Software from Lionel Montrieux
]]> 429 2 https://cdn.slidesharecdn.com/ss_thumbnails/pacetalk-100421105847-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-lmontrieux-48x48.jpg?cb=1583186637 https://lionelmontrieux.com/about https://cdn.slidesharecdn.com/ss_thumbnails/tvygdwsbqawnzwp4mekb-signature-e34a6be30ff4ccc45431eee6de039ec8ee0d82c43768ecff742dadbe16850301-poli-160516165209-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/reusable-selfadaptation-through-bidirectional-programming/62065508 Reusable Self-Adaptati... https://cdn.slidesharecdn.com/ss_thumbnails/2016-03-19-awase-lmontrieux-160319061239-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/selfadaptive-cloud-infrastructures-with-bidirectional-programming/59756618 Self-Adaptive Cloud In... https://cdn.slidesharecdn.com/ss_thumbnails/2016-01-12-ipl-seminar-lmontrieux-160121010647-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/selfadaptive-federated-authorisation-infrastructures/57304088 Self-Adaptive Federate...