Publications

Export 19 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is T  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S [T] U V W X Y Z   [Show ALL]
T
C. Areces, R. Fervari, and G. Hoffmann, “Tableaux for Relation-Changing Modal Logics”, in Frontiers of Combining Systems, 2013.PDF icon frocos13.pdf (369.18 KB)
B. C. Parrino, J. P. Galeotti, D. Garbervetsky, and M. F. Frias, “TacoFlow: optimizing SAT program verification using dataflow analysis”, Software & Systems Modeling, p. 1–19, 2014.
B. C. Parrino, J. P. Galeotti, D. Garbervetsky, and M. F. Frias, “TacoFlow: optimizing {SAT} program verification using dataflow analysis”, Software and System Modeling, vol. 14, p. 45–63, 2015.
R. Corin and F. Manzano, “Taint Analysis of Security Code in the KLEE Symbolic Execution Engine”, in 2012 International Conference on Information and Communications Security (ICICS), Hong Kong, 2012.PDF icon 76180264 (1).pdf (252.37 KB)
J. - P. Katoen and D. Peled, “Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems”, in Programming Languages and Systems, ESOP 2013, 2013, vol. 7792, p. 411-430.
C. E. Budde, P. R. D'Argenio, P. Sánchez Terraf, and N. Wolovick, “A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems”, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, {ROCKS} 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures, vol. 8453, A. Remke and M. Stoelinga, Eds. 2014, p. 67–86.
F. Sher and J. - P. Katoen, “Tight Game Abstractions of Probabilistic Automata”, in Concurrency Theory (CONCUR), 2014.
F. Arnold, H. Hermanns, R. Pulungan, and M. Stoelinga, “Time-Dependent Analysis of Attacks”, in Principles of Security and Trust - Third International Conference, {POST} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings, 2014.
D. Cousineau, D. Doligez, L. Lamport, S. Merz, D. Ricketts, and H. Vanzetto, “TLA+ Proofs”, in 18th Intl. Symp. Formal Methods (FM 2012), Paris, France, 2012.
S. Sardiña and N. D'Ippolito, “Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis”, in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015.
J. Markovski, “Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data”, in ACSD, 2013.
J. Markovski, “Towards Supervisory Control of Generally-Distributed Discrete-Event Systems”, in EPEW, 2013.
P. F. Castro, C. Kilmurray, and N. Piterman, “Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics”, in 32nd Symposium on Theoretical Aspects of Computer Science, 2015.
C. Baier, C. Dubslaff, and S. Klüppelholz, “Trade-off Analysis Meets Probabilistic Model Checking”, in Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS), 2014.
M. D. Lee, D. Gebler, and P. R. D'Argenio, “Tree rules in probabilistic transition system specifications with negative and quantitative premises”, Electronic Proceedings in Theoretical Computer Science, vol. 89, p. 115 - 130, 2012.
M. Veeningen, M. Brusò, J. den Hartog, and N. Zannone, “TRIPLEX: verifying data minimisation in communication systems”, in ACM Conference on Computer and Communications Security , 2013.
M. Veeningen, M. Brusò, J. den Hartog, and N. Zannone, “TRIPLEX: Verifying Data Minimisation in Communication Systems”, in CCS, 2013.
Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers”, TGC, vol. 8191. 2013.
F. Arnold, D. Gebler, D. Guck, and H. Hatefi, “A Tutorial on Interactive Markov Chains”, in {ROCKS}, 2012.