# Publications

Export 329 results:
Sort by: Author Title [ Type] Year
Conference Paper
, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, 2014. (696.41 KB)
, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, 2014.
, “Controller synthesis for MDPs and Frequency LTL \backslash$setminus$ GU”, in LPAR 2015, In Press.
, “Cost Preserving Bisimulations for Probabilistic Automata”, in CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8052, p. 349-363.
, “Dealing with Zero Density Using Piecewise Phase-Type Approximation”, in Computer Performance Engineering - 11th European Workshop, {EPEW} 2014, Florence, Italy, September 11-12, 2014. Proceedings, 2014.
, “Deciding Bisimilarities on Distributions”, in Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8054, p. 72-88.
, “Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time”, in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, 2012, vol. 18, p. 435-447.
, “Definability for Downward and Vertical XPath on Data Trees”, in Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valpara{\'ı}so, Chile, September 1-4, 2014. Proceedings, 2014.
, “Definability for Downward and Vertical XPath on Data Trees”, in 21th Workshop on Logic, Language, Information and Computation, 2014.
, “Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems”, in Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012.
, “A differentially private mechanism of optimal utility for a region of priors”, in Proceedings of the 2nd Conference on Principles of Security and Trust (POST), 2013. (214.46 KB)
, “Distributed analysis of diagnosability in concurrent systems”, in Proceedings of the 24th International Workshop on Principles of Diagnosis (DX'13), 2013.
, “Distribution of Modal Transition Systems”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012, vol. 7436, p. 403-417. (204.25 KB)
, “The DynAlloy Visualizer”, in 1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13, 2013.
, “The DynAlloy Visualizer”, in {\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013}, 2014.
, “The DynAlloy Visualizer”, in Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.
, “Efficient Tight Field Bounds Computation Based on Shape Predicates”, in FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014., 2014. (413.09 KB)
, “Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking”, in Proc. of the 35th Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS), 2014.
, “Energy-Utility Quantiles”, in Proc. of the 6th NASA Formal Methods Symposium (NFM), 2014.
, “Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage”, in ATVA 2015, In Press.
, “On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies”, in 18th Workshop on Logic, Language, Information and Computation, 2011.
, “Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution”, in Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014. (379.45 KB)
, “Fast Debugging of PRISM Models”, in Int. Symp. on Automated Technology for Verification and Analysis (ATVA'14), 2014.