Date: September 21-23, 2015 Location: Austin, TX, USA Website: http://memocode.irisa.fr/ Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla, “Towards Refinement Types forTime-Dependent Data-Flow Networks,” ACM/IEEE International Conference on Formal...
Date: September 14-16, 2015 Location: Barcelona, Spain Website: https://ecsi.org/category/fdl-year/fdl-2015 Philipp Ittershagen, Kim Gruttner, Wolfgang Nebel, “Mixed-Criticality System Modeling with Dynamic Execution Mode Switching,” 2015 Forum on...
Date: September 8-10, 2015 Location: Ghent, Belgium Website: http://www.itc27.org/ Abinesh Ramakrishnan, Cedric Westphal, Athina Markopoulou, “An Efficient Delivery Scheme forCoded Caching,” The 27th International Teletraffic Congress (ITC 2015): 46-54,...
Date: September 8-11, 2015 Location: Luxembourg Website: http://www.etfa2015.org/ Jiang Wan, Arquimedes Candedo, Mohammad Abdullah Al Faruque, “Model-Based DesignTime-Triggered Real-Time Embedded Systems for Inductrial Automation,” The 20th IEEE Conference...
Date: September 8-11, 2015 Location: Melbourne, FL, USA Website: pppj2015.cs.fit.edu/ Gülfem Savrun-Yeniceri, Michael L. Van de Vanter, Per Larsen, Stefan Brunthaler, Michael Franz “An Efficient and Generic Event-based Profiler Framework for Dynamic...