Information Technology Reference
In-Depth Information
References
ADMN11. Asarin, E., Donze, A., Maler, O., Nickovic, D.: Parametric identification
of temporal properties. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS,
vol. 7186, pp. 147-160. Springer, Heidelberg (2012)
CGP99. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)
DFG
+
11. Donze, A., Fanchon, E., Gattepaille, L.M., Maler, O., Tracqui, P.: Robust-
ness analysis and behavior discrimination in enzymatic reaction networks.
PLoS ONE 6(9) (2011)
DFM13. Donze, A., Ferrere, T., Maler, O.: Ecient robust monitoring of signal tem-
poral logic. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044,
pp. 264-279. Springer, Heidelberg (2013)
DM10. Donze, A., Maler, O.: Robust satisfaction of temporal logic over real-valued
signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS,
vol. 6246, pp. 92-106. Springer, Heidelberg (2010)
DMB
+
12. Donze, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., Smolka, S.:
On temporal logic and signal processing. In: Chakraborty, S., Mukund,
M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 92-106. Springer, Heidelberg
(2012)
Don10. Donze, A.: Breach, a toolbox for verification and parameter synthesis of
hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010.
LNCS, vol. 6174, pp. 167-170. Springer, Heidelberg (2010)
FP09. Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications
for continuous-time signals. Theoretical Computer Science 410(42) (2009)
JDDS13. Jin, X., Donze, A., Deshmukh, J., Seshia, S.: Mining requirements from
closed-loop control models. In: HSCC 2013 (2013)
MDMF12. Mobilia, N., Donze, A., Moulis, J.-M., Fanchon, E.: A model of the cellular
iron homeostasis network using semi-formal methods for parameter space
exploration. In: HSB (2012)
MN04.
Maler, O., Nickovic, D.: Monitoring temporal properties of continuous sig-
nals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT
2004. LNCS, vol. 3253, pp. 152-166. Springer, Heidelberg (2004)
MP95.
Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety.
In: Manna, Z., Peled, D.A. (eds.) Pnueli Festschrift. LNCS, vol. 6200,
pp. 279-361. Springer, Heidelberg (2010)
Pnu77.
Pnueli, A.: The temporal logic of programs. In: Proc. 18th Annual Sympo-
sium on Foundations of Computer Science (FOCS), pp. 46-57 (1977)
QS82.
Queille, J.P., Sifakis, J.: Specification and Verification of Concurrent Sys-
tems in CESAR. In: 5th Int. Symp. on Programming (1982)
