cps.cse.wustl.edu
News Archive - Cyber-Physical Systems Laboratory
http://cps.cse.wustl.edu/index.php/News_Archive
From Cyber-Physical Systems Laboratory. Schedulability Analysis under Graph Routing in WirelessHART Networks. On mortality prediction received Distinguished Paper Award. Mortality Prediction in ICUs Using a Novel Time-Slicing Cox Regression Method. RT-OpenStack: CPU Resource Management for Real-Time Cloud Computing. Prioritizing Soft Real-Time Network Traffic in Virtualized Hosts Based on Xen. When Thermal Control Meets Sensor Noise: Analysis of Noise-induced Temperature Error. CPSL student Sisu Xi.
archi.snu.ac.kr
Memory & Storage Architecture Lab. at SNU
http://archi.snu.ac.kr/members
How to Find Us. Prof Sang Lyul MIN. Sang Lyul Min is a Professor in the School of Computer Science and Engineering. At Seoul National University. His current research interests are in embedded systems, real-time systems, computer performance evaluations, and storage systems. He received a BS degree from the Department of Computer Engineering, Seoul National University. In 1983; an MS degree from the Department of Computer Engineering, Seoul National University. The University of Washington.
tbrk.org
Timothy Bourke - Urpal: manipulate Uppaal models
http://www.tbrk.org/software/urpal.html
Urpal is your pal for Uppaal. Descriptions of the testing construction can be found in:. Specifically Chapter 7 and Appendix A. Development on Urpal began from the descriptions therein at the suggestion of Frits Vaandrager. The Scaling up Uppaal. Paper of Henrik Ejersbo Jensen, Kim Guldstrand Larsen. Urpal incorporates their construction for handling urgent locations and shared variables. And me, to be presented at EMSOFT 2008. Non-synchronizing (τ) transitions,. Inputs on broadcast channels,. Graphviz {...
saunasevetlio.blogspot.com
Le Sauna de Sév et Lio: janvier 2006
http://saunasevetlio.blogspot.com/2006_01_01_archive.html
Le Sauna de Sév et Lio. Vous êtes sur le blog de Séverine Gedzelman et Lionel Morel. Nous avons ouvert ce blog en Juin 2005, dans la perspective d'une année passé à l'étranger. En Finlande, c'est décidé. Suivez nos aventures en "direct" (ou "léger différé", compte-tenu du décalage horaire). A très bientot! Samedi, nous avons commencé par cuisiner une tartiflette (pour 8) à 10h du matin. Au cas où vous ne sauriez pas la faire, allersur popotte, là. 17h, l'heure a sonné pour revenir à la maison chercher le...
embedded.cs.uni-sb.de
Real-Time and Embedded Systems Lab
http://embedded.cs.uni-sb.de/reineke.php
Real-Time and Embedded Systems Lab. CacheAudit: A Tool for the Static Analysis of Cache Side Channels. Relacs - Automatic Relative Competitive Analysis. Sprattus - A Framework for Rapid Prototyping of Program Analyses. Lecture: Einführung in eingebettete Systeme. Seminar: Resource Sharing in Real-Time Systems. Seminar: Programming Language Implementation. Advanced Lecture: Verification of Real-Time Systems. Advanced Lecture: Static Program Analysis. Seminar: Robustness of Hardware and Software Systems.
proartis-project.eu
EMSOFT paper accepted | PROARTIS Public Website
http://www.proartis-project.eu/news/emsoft-paper-accepted
Probabilistically Analysable Real-Time Systems. Three PROARTIS partners have had a paper accepted at the forthcoming EMSOFT. Ldquo;Limited Preemptive Scheduling of Non-Independent Task Sets” was written by Andrea Baldovin. International Conference on Embedded Software ( EMSOFT2013. Takes place in Montreal, Canada, from September 29. For more details visit www.emsoft.org. PROARTIS paper selected for publication. PROARTIS paper accepted by RTSS. PROARTIS Industrial Workshop (July 3rd 2013).
pop-art.inrialpes.fr
Alain GIRAULT's home page
http://pop-art.inrialpes.fr/~girault
I am a senior researcher (aka "directeur de recherche") at INRIA, the French National Research Institute on Computer Science and Automatic Control. I am the head of the SPADES. Synchronous programming languages (Lustre, Esterel, Signal), in particular automatic parallelization methods for such programs, higher-order data-flow, dynamic reconfiguration and code mobility. I started this research during my PhD at Verimag. Safe design methods for dependable embedded systems. Journal of Embedded Systems. With ...
faculty.neu.edu.cn
Nan Guan, Northeastern University
http://faculty.neu.edu.cn/ise/guannan
I'm a professor in the Institue of Embedded Systems, Northeastern University (NEU), China. I'm also partially affliated with the Embedded Systems Group chaired by Prof. Wang Yi. At Uppsala University, Sweden. My research interests are in real-time embedded sysems, especially real-time scheduling theory and worst-case execution time (WCET) analysis. Email: "nan.guanatit.uu.se" or "guannanatise.neu.edu.cn". EDAA Outstanding Dissertation Award 2014. Best Paper Award: RTSS 2009, DATE 2013. 201507. Paper ...
havelund.com
Klaus Havelund's homepage
http://www.havelund.com/papers.html
According to the Web. Papers Published or Submitted for Publication. K: A Wide Spectrum Language for Modeling, Programming, and Analysis. K Havelund, R. Kumar, C. Delp and B. Clement. 4th International Conference on Model-Driven Engineering and Software Development. 19-21 February 2016 - Rome, Italy. SCITEPRESS. To appear. On short list of candidate papers to win the MODELSWARD 2016 best paper award. K Havelund and R. Kumar. Some Recent Advances in Automated Analysis. E Abraham and K. Havelund. Rule-base...
