Publication

Uniform Analysis for Communicating Timed Systems (Extended Technical Report)

Related publications (34)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation

Alain Vachoux

The SystemC AMS extensions support heterogeneous modeling and make use of several Models of Computation (MoCs) that operate on different time scales in the Discrete Event (DE), Discrete Time (DT), and Continuous Time (CT) domains. The simulation of such he ...

IEEE Conference Publications2015

Solvability analysis and numerical approximation of linearized cardiac electromechanics

Alfio Quarteroni, Ricardo Esteban Ruiz Baier

This paper is concerned with the mathematical analysis of a coupled elliptic–parabolic system modeling the interaction between the propagation of electric potential and subsequent deformation of the cardiac tissue. The problem consists in a reaction–diffus ...

World Scientific Publ Co Pte Ltd2015

Sound Compilation of Reals

Viktor Kuncak, Eva Darulova

Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and sp ...

ACM2014

Comparison of HIPIMS sputtered Ag- and Cu-surfaces leading to accelerated bacterial inactivation in the dark

César Pulgarin, Juan Kiwi, Sami Rtimi, Oualid Baghriche

Recently, compact uniform and adhesive films of Ag and Cu have been prepared by DC-magnetron sputtering (DC), pulsed DC magnetron sputtering (DCP) and high power impulse magnetron sputtering (HIPIMS). This study reports the HIPIMS deposition for Ag and Cu ...

Elsevier Science Sa2014

Euclidean Distance Matrices

Reza Parhizkar

Euclidean distance matrices (EDMs) are central players in many diverse fields including psychometrics, NMR spectroscopy, machine learning and sensor networks. However, they are not often exploited in signal processing. In this thesis, we analyze attributes ...

EPFL2013

Analysis of a finite volume method for a cross-diffusion model in population dynamics

Ricardo Esteban Ruiz Baier

The main goal of this paper is to propose a convergent finite volume method for a reaction–diffusion system with cross-diffusion. First, we sketch an existence proof for a class of cross-diffusion systems. Then the standard two-point finite volume fluxes a ...

World Scientific Publishing2011

Model Checking a Networked System Without the Network

Rachid Guerraoui, Maysam Yabandeh

Current approaches to model checking distributed systems reduce the problem to that of model checking centralized systems: global states involving all nodes and communication links are systematically explored. The frequent changes in the network element of ...

2011

Local Model Checking

Rachid Guerraoui, Maysam Yabandeh

2011

Verification of consensus algorithms using satisfiability solving

André Schiper

Consensus is at the heart of fault-tolerant distributed computing systems. Much research has been devoted to developing algorithms for this particular problem. This paper presents a semi-automatic verification approach for asynchronous consensus algorithms ...

Springer Verlag2011

Equivalences and calculi for formal verification of cryptographic protocols

Johannes Borgström

Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptograp ...

EPFL2008