{"id":68,"date":"2016-09-22T11:49:08","date_gmt":"2016-09-22T09:49:08","guid":{"rendered":"https:\/\/project.inria.fr\/caserm\/?page_id=68"},"modified":"2019-10-10T07:33:19","modified_gmt":"2019-10-10T05:33:19","slug":"seminars","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/caserm\/seminars\/","title":{"rendered":"Seminars"},"content":{"rendered":"<h4>Upcoming seminars<\/h4>\n<ul>\n<li>November 4, 2019<br \/>\nTitle: <strong>Design and Analysis of Reconfigurable Multi-view Embedded Systems<br \/>\n<\/strong>End of CASERM Workshop<br \/>\n<a href=\"https:\/\/project.inria.fr\/caserm\/workshop-on-the-design-and-analysis-of-reconfigurable-multi-view-embedded-systems\/\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>November 12, 2019 \u2014 by <a href=\"https:\/\/people.epfl.ch\/jean-yves.leboudec?lang=fr\">Jean-Yves le Boudec<\/a> from EPFL<br \/>\nTitle:<strong> Network Calculus<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/upcoming\/#2019-11-12\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>November 15, 2019 \u2014 by Christophe Pr\u00e9vot from INRIA Grenoble \u2013 Rh\u00f4ne-Alpes<br \/>\nTitle:<strong> Analyses pour l\u2019ordonnan\u00e7abilit\u00e9 et la flexibilit\u00e9 de syst\u00e8mes temps-r\u00e9el<\/strong><br \/>\nPhD Thesis<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/upcoming\/#2019-11-15\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<\/ul>\n<h4>Past seminars<\/h4>\n<ul>\n<li>June 25, 2019 &#8212; by Borislav Nikolic from TU Braunschweig.<br \/>\nTitle:<strong> <span class=\"title\"> Slot-Based Transmission Protocol for Real-Time NoCs \u2013 SBT-NoC<\/span><\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2019-06-25\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>April 12, 2019 &#8212; by <a href=\"http:\/\/hili.fr\"> Dr. Nicolas Hili <\/a> from IRT Saint-Exup\u00e9ry, Toulouse.<br \/>\nTitle:<strong> <span class=\"title\"> Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures<\/span><\/strong><br \/>\nSeminar organized by SPADES (Alain Girault)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2019-04-12\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>April 2, 2019 &#8212; by <a href=\"https:\/\/ptolemy.berkeley.edu\/~eal\/\">Prof. Edward A. Lee<\/a> from UC Berkeley<br \/>\nTitle:<strong> <span class=\"title\">A Personal View of Real-Time Computing<\/span><\/strong><br \/>\nSeminar organized by SPADES (Alain Girault)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/upcoming\/#2019-04-02\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>December 18, 2018 \u2014 by <a href=\"http:\/\/www-verimag.imag.fr\/~graf\/\">Susanne Graf<\/a> from Verimag<br \/>\nTitle:<strong> <span class=\"title\">Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory<\/span><\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2018-12-18\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>November 13, 2018 &#8212; by <a href=\"http:\/\/www-verimag.imag.fr\/~riegl\/\">Lionel Rieg<\/a> from Verimag<br \/>\nTitle:<strong> Extending a Verified OS Kernel for Real-Time<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2018-11-13\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>September 28, 2018 &#8212; by <a href=\"http:\/\/www.bliudze.me\/simon\/\">Simon Bliudze<\/a> from INRIA Lille &#8211; Nord Europe<br \/>\nTitle:<strong> Correctness by Construction: Design of Component-Based Systems Using BIP<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2018-09-27\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>March 20, 2018 &#8212; by <a href=\"http:\/\/www-verimag.imag.fr\/~tdang\/\">Thao Dang<\/a> from Verimag<br \/>\nTitle:<strong> Scheduling of Embedded Controllers Under Timing Contracts<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2018-03-20\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>March 5, 2018 &#8212; by <a href=\"http:\/\/www.di.unito.it\/~bini\/\">Enrico Bini<\/a> from Universit\u00e0 di Torino<br \/>\nTitle:<strong> Adaptive Fair Scheduler (AFS): Fairness with Disturbances<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2018-03-05\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>February 6, 2018 \u2014 by Miguel Romero Rodriguez from INSA Lyon<br \/>\nTitle:<strong> Discrete Event System Approaches for Hybrid Control of HVDC<\/strong><br \/>\nSeminar organized by SPADES and POLARIS (Alain Girault and Bruno Gaujal)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2018-02-06-1\">More&#8230;<\/a><\/li>\n<li>February 6, 2018 \u2014 by Mahya Rahimi from INSA Lyon<br \/>\nTitle:<strong> A Formal Contribution to Multi-Resource Scheduling Problems<\/strong><br \/>\nSeminar organized by SPADES and POLARIS (Alain Girault and Bruno Gaujal)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2018-02-06\">More&#8230;<\/a><\/li>\n<li>December 13, 2017 &#8212; by <a href=\"https:\/\/retis.sssup.it\/~p.pazzaglia\/\">Paolo Pazzaglia<\/a> from Scuola Superiore Sant&#8217;Anna &#8211; Pisa<br \/>\nTitle:<strong> Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-12-13\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>October 3, 2017 \u2014 by <a href=\"https:\/\/www-users.cs.york.ac.uk\/%7Erobdavis\/\">Rob Davis<\/a> from the University of York<br \/>\nTitle:<strong> Experiences in Start-up Companies: Transferring Real-Time Systems Research into Commercial Products<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/upcoming\/#2017-10-03\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>September 28, 2017 \u2014 by Stephan Plassart from INRIA Grenoble &#8211; Rh\u00f4ne-Alpes<br \/>\nTitle:<strong> Online Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks<\/strong><br \/>\nSeminar organized by POLARIS<br \/>\n<a href=\"https:\/\/team.inria.fr\/polaris\/mc-events\/on-line-speed-scaling-minimizing-expected-energy-consumption-for-real-time-tasks-by-stephan-plassart-polaris\/?mc_id=70\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>June 20, 2017 \u2014 by <a href=\"http:\/\/homepages.inf.ed.ac.uk\/bbodin\/\">Bruno Bodin<\/a> from the University of Edinburgh<br \/>\nTitle:<strong> Performance Evaluation using Dataflow Modeling<\/strong><br \/>\nSeminar organized by SPADES (Alain Girault)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-06-20\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>May 16, 2017 \u2014 by Florian Greff from Thales Research &amp; Technology and LORIA<br \/>\nTitle:<strong> Software-Defined Real-Time Mesh Networking : Protocol and Experimentation Method<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-05-26\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>April 11, 2017 \u2014 by <a href=\"http:\/\/retis.sssup.it\/%7Ea.biondi\/index.html\">Alessandro Biondi<\/a> from Scuola Superiore Sant\u2019Anna in Pisa<br \/>\nTitle: <strong>Lightweight Real-Time Synchronization on Symmetric and<br \/>\nAsymmetric Multiprocessors<\/strong><br \/>\nSeminar organized by SPADES (Sophie Quinton)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-04-11\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>March 27, 2017 \u2014 by <a href=\"http:\/\/www.rtsys.informatik.uni-kiel.de\/en\/team\/rvh\">Reinhard van Hanxleden<\/a> from Kiel University<br \/>\nTitle:<strong> A Sequentially Constructive Circuit Semantics for Esterel<\/strong><br \/>\nSeminar organized by SPADES (Alain Girault)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-03-27\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>March 21, 2017 \u2014 by <a href=\"https:\/\/members.loria.fr\/DMaxim\">Dorin Maxim<\/a> from LORIA<br \/>\nTitle:<strong> Probabilistic Analysis of Real-Time Systems<\/strong><br \/>\nSeminar organized by SPADES (Gregor Goessler)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-03-21\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">February 14, 2017 \u2014 by <a href=\"http:\/\/scholar.harvard.edu\/cristescu\/home\">Ioana Cristescu<\/a> from Harvard Medical School<br \/>\nTitle:<strong> Rigid families for the reversible pi-calculus<\/strong><br \/>\nSeminar organized by SPADES (Gregor Goessler)<br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-02-14-2\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">February 14, 2017 &#8212; by Martin Vassor from EPFL<br \/>\nTitle:<strong> Stable Causal Log and Reversible Computation<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-02-14\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">January 24, 2017 &#8212; by <a href=\"https:\/\/team.inria.fr\/polaris\/members\/bruno-gaujal\/\">Bruno Gaujal<\/a> from INRIA Grenoble &#8211; Rh\u00f4ne-Alpes<br \/>\nTitle:<strong> Neuro-Dynamic Programming<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-01-24\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">January 10, 2017 &#8212; by Dmitry Burlyaev from Atrenta<br \/>\nTitle:<strong> Hardware Security, Formal and Statistical Approaches<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2017-01-10\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">December 13, 2016 &#8212; by <a href=\"https:\/\/team.inria.fr\/spades\/jean-bernard-stefani\/\">Jean-Bernard Stefani<\/a> from INRIA Grenoble &#8211; Rh\u00f4ne-Alpes<br \/>\nTitle:<strong> Location Graphs: Encapsulation and Sharing in Dynamic Software Structures<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2016-12-13\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">December 7, 2016 \u2014 by <a href=\"https:\/\/www.cis.upenn.edu\/~sokolsky\/\">Oleg Sokolsky<\/a> from University of Pennsylvania<br \/>\nTitle:<strong> <b>Platform-Specific Code Generation from Platform-Independent Timed Models<\/b><\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2016-12-07-2\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">November 29, 2016 &#8212; by <a href=\"https:\/\/pages.lip6.fr\/Gilles.Muller\/\">Gilles Muller<\/a> from LIP6 in Paris<br \/>\nTitle:<strong> Safe Multicore Scheduling in a Linux Cluster Environment<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2016-11-29\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<\/ul>\n<hr \/>\n","protected":false},"excerpt":{"rendered":"<p>Upcoming seminars November 4, 2019 Title: Design and Analysis of Reconfigurable Multi-view Embedded Systems End of CASERM Workshop More&#8230; November 12, 2019 \u2014 by Jean-Yves le Boudec from EPFL Title: Network Calculus Seminar organized by SPADES (Sophie Quinton) More&#8230; November 15, 2019 \u2014 by Christophe Pr\u00e9vot from INRIA Grenoble \u2013\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/caserm\/seminars\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":472,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-68","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/caserm\/wp-json\/wp\/v2\/pages\/68","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/caserm\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/caserm\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/caserm\/wp-json\/wp\/v2\/users\/472"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/caserm\/wp-json\/wp\/v2\/comments?post=68"}],"version-history":[{"count":58,"href":"https:\/\/project.inria.fr\/caserm\/wp-json\/wp\/v2\/pages\/68\/revisions"}],"predecessor-version":[{"id":342,"href":"https:\/\/project.inria.fr\/caserm\/wp-json\/wp\/v2\/pages\/68\/revisions\/342"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/caserm\/wp-json\/wp\/v2\/media?parent=68"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}