Publications related to Implementing a State Space Analyzer for Synchronous Java

Immediate Tracing

This semester project report describes a prototype tracing tool that records the behavior of a Java program during its execution. It explains the two methods that were attempted to implement the tool, one using the Java debug interface, which gave poor res ...

2023

Noise analysis techniques of in-core modulation experiments of the European CORTEX project

Andreas Pautz, Vincent Pierre Lamirand, Mathieu Hursin, Carlo Fiorina, Oskari Ville Pakari, Pavel Frajtag, Axel Guy Marie Laureau, Adolfo Rais

This paper deals with the analysis of reactor modulation experiments for code validation in the framework of the Horizon 2020 European project CORTEX. The analysis is based on a statistical based approach on spectral powers and their phase shift angles cal ...

2020

COMPAS Finite Element (FE) Workshop

Aryan Rezaei Rad

The Block Research Group (BRG) at ETH Zurich and the Laboratory for Timber Constructions (IBOIS) gave a collaborative workshop on the Finite Element (FE) analysis using the COMPAS package. ...

2019

Monte Carlo Modeling of Electron Multiplication in Amorphous Silicon Based Microchannel Plates

Christophe Ballif, Jonathan Emanuel Thomet, Janina Christine Isabelle Löffler, Mohamed Belhaj

Amorphous silicon based microchannel plates are being developed to overcome performance limits of conventional microchannel plates. They offer a new flexibility and ease of fabrication. A comprehensive AMCP model is being constructed to analyze the perform ...

IEEE2019

Type II solutions Type II blow up solutions with optimal stability properties for the critical focussing nonlinear wave equation on $\R^{3+1}$

Joachim Krieger, Stefano Francesco Burzio

We show that the finite time type II blow up solutions for the energy critical nonlinear wave equation [ \Box u = -u^5 ] on

\R^{3+1}

constructed in \cite{KST}, \cite{KS1} are stable along a co-dimension one Lipschitz manifold of data perturbations in a ...

2018

Epidemiological projections of the Haiti cholera outbreak after hurricane Matthew and analysis of the impact of vaccination campaigns

Andrea Rinaldo, Enrico Bertuzzo, Flavio Finger, Damiano Pasetto

Epidemiological projections of the Haiti cholera outbreak after hurricane Matthew and analysis of the impact of vaccination campaigns ...

2017

Correct Transformation of High-Level Models into Time-Triggered Implementations

Simon Bliudze

A number of component-based frameworks have been proposed to tackle the complexity of the design of concurrent software and systems and, in particular, to allow modelling and simulation of critical embedded applications. Such design frameworks usually prov ...

2016

Revisiting Taxonomy Induction over Wikipedia

Amit Gupta

Guided by multiple heuristics, a unified taxonomy of entities and categories is distilled from the Wikipedia category network. A comprehensive evaluation, based on the analysis of upward generalization paths, demonstrates that the taxonomy supports general ...

2016

Synthesizing Java Expressions from Free-Form Queries

Viktor Kuncak, Tihomir Gvero

We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces Java code expressions that take the query into account and respect syntax, t ...

Assoc Computing Machinery2015

Classification Framework for Analysis and Modeling of Physically Induced Reliability Violations

David Atienza Alonso

Technology downscaling is expected to amplify a variety of reliability concerns in future digital systems. A good understanding of reliability threats is crucial for the creation of efficient mitigation techniques. This survey performs a systematic classif ...

Assoc Computing Machinery2015

Implementing a State Space Analyzer for Synchronous Java

Graph Chatbot

Chat with Graph Search

Immediate Tracing

Noise analysis techniques of in-core modulation experiments of the European CORTEX project

COMPAS Finite Element (FE) Workshop

Monte Carlo Modeling of Electron Multiplication in Amorphous Silicon Based Microchannel Plates

Type II solutions Type II blow up solutions with optimal stability properties for the critical focussing nonlinear wave equation on $\R^{3+1}$

Epidemiological projections of the Haiti cholera outbreak after hurricane Matthew and analysis of the impact of vaccination campaigns

Correct Transformation of High-Level Models into Time-Triggered Implementations

Revisiting Taxonomy Induction over Wikipedia

Synthesizing Java Expressions from Free-Form Queries

Classification Framework for Analysis and Modeling of Physically Induced Reliability Violations

Immediate Tracing

Correct Transformation of High-Level Models into Time-Triggered Implementations

Epidemiological projections of the Haiti cholera outbreak after hurricane Matthew and analysis of the impact of vaccination campaigns

COMPAS Finite Element (FE) Workshop

Noise analysis techniques of in-core modulation experiments of the European CORTEX project

Monte Carlo Modeling of Electron Multiplication in Amorphous Silicon Based Microchannel Plates

Revisiting Taxonomy Induction over Wikipedia

Classification Framework for Analysis and Modeling of Physically Induced Reliability Violations

Type II solutions Type II blow up solutions with optimal stability properties for the critical focussing nonlinear wave equation on $\R^{3+1}$

Synthesizing Java Expressions from Free-Form Queries