Search results

• Compilation of Parametric Dataflow Applications for Software-Defined-Radio-Dedicated MPSoCs, Dardaillon Mickael, 3, February, 2015
• 5G, the Next Major Wireless Standard, Klaus Doppler, January, 2015
• A Case Study of Toyota Unintended Acceleration and Software Safety, Philip Koopman, 14, November, 2014
• Roadmapping efforts for research, education and innovation in Cyber-Physical Systems (CPS), Martin Torngren, 4, November, 2014
• Probabilistic Model Checking andS trategy Synthesis, Dave Parker, 28, October, 2014
• Formal Analysis of Timing Effects on Closed-loop Properties of Cyber Physical Systems, Arne Hamann, 7, October, 2014
• Technical and Practical Aspects for Locating and Tracking Mobile Users within a Wireless Local Area Network, Joseph Ng, 22, April, 2014
• Antescofo, a dynamic language for real-time musician-computer interaction, Echeveste Jose, 15, April, 2014
• The Internet of (Important) Things, Thomas Watteneye, 8, April, 2014
• Deterministic Ethernet as Reliable Communication Infrastructure for Distributed Dependable Systems, Wilfried Steiner, 21, February, 2014
• Zelus, a synchronous language with Ordinary Differential Equations, Marc Pouzet, 11, February, 2014
• Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties and its Application to Cyber-Physical Systems, Puggelli Alberto , 26, November, 2013
• A Platform Architecture for Sensor Data Processing and Verification in Buildings, Jorge Ortiz, 19, November, 2013
• Specification Mining - New Formalisms, Algorithms and Applications, Wenchao Li, 12, November, 2013
• Model-Based System Engineering: Past, Present and Future, Michael Tiller, 22, October, 2013
• Emergent Middleware Facing the Interoperability Challenge, Valerie Issarny, 15, October, 2013
• Short and Long-Term Research Challenges for Protecting Critical Infrastructure Systems, Alvaro Cardenas, October, 2013
• The ACROSS MPSoC: A New Generation of Multi-Core Processors Designed for Safety-Critical Embedded Systems, Armin Wasicek, 24, September, 2013
• Schedulability and Verification of Real-Time Discrete-Event Systems, Christos Stergiou, 16, September, 2013
• Cyber-Security for Controller Area Network and its Security-Aware Mapping, Chung-Wei Lin, 10, September, 2013
• Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks, Dan Holcomb, 27, August, 2013
• Tradeoff exploration between reliability, power consumption, and execution time for embedded systems, Girault Alain, 14, August, 2012
• Opportunities for Energy Savings in Mobile Devices, Ljung Per, 2, February, 2012
• Quick Deploy: A distributed systems approach to developer productivity, Adam Cataldo, 24, January, 2012
• Predictable Timing of Cyber-Physical Systems - Future Research Challenges, David Broman, 17, January, 2012
• Clock Synchronization, IEEE 1588 and Recent Applications in Cyber-Physical Systems, John Eidson, 14, November, 2011
• From Streaming Models to Hardware Implementations, Arkadeb Ghosal, 7, November, 2011
• The Swarm at the Edge of the Cloud - the New Face of Wireless, Jan Rabaey, 24, October, 2011
• Deploying Formal in a Simulation World, Vigyan Singhal, 17, October, 2011
• Robust Satisfaction of Signal Temporal Logics and Applications, Donze Alexandre, 26, September, 2011
• Timing problems and opportunities for embedded control systems; modeling and co-design, Martin Torngren, 19, September, 2011

Found 31 publications.