Publication

Implementing a State Space Analyzer for Synchronous Java

Related publications (59)

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.

Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis

Dirk Thilo Beyer, Grégory Théoduloz

In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concerned with precision, e.g., the removal of spurious counterexamples; for this p ...

Springer2007

Queryll: Java Database Queries through Bytecode Rewriting

Willy Zwaenepoel, Christopher Ming-Yee Iu

When interfacing Java with other systems such as databases, programmers must often program in special interface languages like SQL. Code written in these languages often needs to be embedded in strings where they cannot be error-checked at compile-time, or ...

2006

Software Engineering - the Implementation Phase

Claude Petitpierre

This book provides the conceptual foundation for the design and development of complex distributed and real-time applications. It summarizes a large spectrum of concepts; but by concentrating on Java and presenting mainly the programmatic aspects and basic ...

EPFL Press2006

Model checking for Synchronous Java

Claude Petitpierre, Duy Vo Duc

In this paper, we present a model-checking toolset for a synchronous version of the Java language (Synchronous Java or in short sJava). The toolset includes a set of extensions to the Bandera and Bogor model-checking frameworks. It inherits thus a large nu ...

International Society for Computers and Their Applications2006

Analysis and visualization of cell movement in the developing zebrafish brain

Andrew Charles Oates

Detailed reconstruction of the spatiotemporal history of embryonic cells is key to understanding tissue formation processes but is often complicated by the large number of cells involved, particularly so in vertebrates. Through a combination of high-resolu ...

2006

Towards CPU Load Prediction for Java Bytecode

Andrea Camesi

This paper studies the use of bytecode instruction counting (BIC) to estimate the CPU load due to the execution of Java programs in different environments. BIC is the basis of the J-RAF2 framework to monitor and control the resource consumption of Java cod ...

2005

Tracking People in Meetings with Particles

Daniel Gatica-Perez, Jean-Marc Odobez, Guillaume Lathoud, Silèye Oumar Ba, Kevin Smith

Automatic meeting analysis is an emerging research field. In this paper, we present stochastic algorithms for tracking people in multi-sensor meeting rooms, for a number of relevant tasks, including tracking multiple people, tracking head pose towards anal ...

2005

Generation of object-oriented programs from CO-OPN specifications

Stanislav Chachkov

The execution of formal specifications is important for verification, validation and animation purposes. This thesis describes transformation of CO-OPN specifications in executable code. The original goal of this transformation was validation by prototypin ...

EPFL2004

Tracking People in Meetings with Particles

Daniel Gatica-Perez, Jean-Marc Odobez, Guillaume Lathoud, Silèye Oumar Ba, Kevin Smith

IDIAP2004

Modelling a Secure, Mobile, and Transactional System with CO-OPN

Stanislav Chachkov

Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new application domains include dynamicity, mobility, security, and localization depe ...

2003