Mirco Giacobbe IST Austria Am Campus 1, A-3400 Klosterneuburg, Austria http: ist.ac.at ~mgiacobbe - .ac - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-08-21 10:59:57 European Joint Conferences on Theory and Practice of Software Thomas Henzinger Institute of Science and Technology Austria		Mirco Giacobbe IST Austria Am Campus 1, A-3400 Klosterneuburg, Austria +http://ist.ac.at/~mgiacobbe/ Add to Reading List Source URL: pub.ist.ac.at Download Document from Source Website File Size: 28,67 KB Share Document on Facebook

	Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in DocID: 1xW24 - View Document
	Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗ DocID: 1xT7G - View Document
	Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria) DocID: 1vpRm - View Document
	Giotto: A Time-Triggered Language for Embedded Programming THOMAS A. HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, CHRISTOPH M. KIRSCH AND DocID: 1uLOQ - View Document
	Quantitative Relaxation of Concurrent Data Structures Thomas A. Henzinger˚ Christoph M. Kirsch` Hannes Payer` DocID: 1uyrl - View Document