Event Listing

11 NOV 2016
@ 10:30 am
Seminar
PRECISE Seminar: Challenges for future IoT gateway/infrastructure platforms and the embedding of new memory technologies
It is well-known that today's computing platforms for the IoT big data server and network router infrastructure is highly energy-consuming. And scaling this to the exascale sizes and Tbps bandwidth handling, which are required for the future, looks implausible with… Read more
19 OCT 2016
@ 2:00 pm
Seminar
PRECISE Seminar: Definitions of Logical Causality for Trace Analysis
Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to the occurrence of a failure, and the causality relation between the failure and a damage. The second issue is especially complex when… Read more
12 OCT 2016
@ 2:00 pm
Seminar
PRECISE Seminar: Overview of GE & GE Research’s "Systems & Synthesis" Lab
I will provide an overview of GE, GE Research, and the "Systems & Synthesis" lab. Our  mission is to develop solutions that accelerate systems & sub-systems development & integration through software synthesis, V&V, and large systems discrete event simulation… Read more
28 SEP 2016
@ 2:00 pm
Seminar
Joint ESE-PRECISE Seminar: Modeling and Co-design of Control Tasks over Wireless Networking Protocols (State of the Art and Challenges)
Wireless networked control systems are the integration of physical processes with wireless networked computing units. The co-design of control policies and network configuration must take into account the joint dynamics of communication protocols/channels and physical devices… Read more
21 SEP 2016
@ 2:00 pm
Seminar
PRECISE Seminar: Resilient Monitoring and Control of Distribution Networks
This talk will focus on the attacker-defender interactions on electricity distribution networks (DNs) that typically have a tree-like topology. Two attack models will be introduced: (i) manipulation of distributed energy resources by a strategic adversary; and (ii) energy… Read more
14 SEP 2016
@ 2:00 pm
Seminar
PRECISE Seminar: Design Automation for Cyber-Physical Systems
Cyber-physical systems (CPS) such as autonomous and semi-autonomous vehicles, smart buildings, and industrial automation systems, are poised to bring immense economic and societal benefits. However, the design of these systems faces tremendous challenges from the rapid… Read more
07 SEP 2016
@ 2:00 pm
Seminar
PRECISE Seminar: Modeling New and Resilient Airspace Operations by Harnessing Open Data in Air Transportation
High-fidelity models of airport and airspace capacity enable researchers to study modernization strategies that optimize capacity yet require volumes of detailed aircraft movement data. These datasets exist in the public and private realms but are highly challenging and… Read more
29 JUL 2016
@ 2:00 pm
Seminar
PRECISE Seminar: Using model checking to improve the quality of complex industrial software
Developing correct parallel and distributed software is a daunting task. The parallelism causes the state-spaced explosion problem: the number of states in the system grows exponentially with the number of parallel components. One of the ways to verify that such a system… Read more
16 MAR 2016
@ 2:00 pm
Seminar
PRECISE Seminar: Who Stole my (Semiconductor) Chip?
For economic reasons, the design and fabrication of semiconductor ICs is increasingly outsourced. This comes at the expense of trust. An untrusted entity, for instance a malicious designer or semiconductor foundry could pirate the design, or worse, maliciously modify it to… Read more
24 FEB 2016
@ 11:00 am
Seminar
PRECISE Seminar: Power Management for Mobile Sensing Applications
Energy-efficiency is a critical concern in continuously-running mobile applications, such as those for health and context monitoring. An attractive approach to saving energy in such applications is to defer the execution of delay-tolerant op- erations until a time when they… Read more