Publications
, “Bisimilarity is not Borel”, Mathematical Structures in Computer Science, In Press.
, “Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU”, in LPAR 2015, In Press.
, “Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage”, in ATVA 2015, In Press.
, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Proceedings PASM 2012. In Press.
, “The Modal Logic of Copy and Remove”, Information and Computation, In Press.
, “Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability”, Information and Computation, In Press.
, “Optimal Continuous Time Markov Decisions”, in ATVA 2015, In Press.
, “Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis”, in QEST 2015, In Press.
, “Recharging Probably Keeps Batteries Alive”, CyPhy 2015. In Press.
, “Abstract interpretation of temporal concurrent constraint programs”, Theory and Practice of Logic Programming, vol. 15, p. 312–357, 2015.
, “Abstraction-Based Computation of Reward Measures for Markov Automata”, in Verification, Model Checking, and Abstract Interpretation - 16th International Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings, 2015.
, “Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing”, Software Testing, Verification and Reliability, 2015.
, “BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support”, {IEEE} Trans. Software Eng., vol. 41, p. 639–660, 2015.
, “Categorical Foundations for Structured Specifications in Z”, Formal Aspects of Computing, vol. 27, p. TBD, 2015.
, “cJoin: Join with communicating transactions”, Mathematical Structures in Computer Science, vol. 25, p. 566–618, 2015.
, “Communicating machines as a dynamic binding mechanism of services”, in Proceedings of the 8th Programming Language Approaches to Concurrency- and Communication-cEntric Software - PLACES 2015, 2015.
, “Compositional Construction of Most General Controllers”, Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2, vol. 52, p. 443–482, 2015.
, “Computing Response Time Distributions Using Iterative Probabilistic Model Checking”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, 2015.
, “Constructing elastic distinguishability metrics for location privacy”, Privacy Enhancing Technologies (PoPETs), vol. 2015, p. 156–170, 2015.
, “A construction and minimization service for continuous probability distributions”, {STTT}, vol. 17, p. 77–90, 2015.
, “On Frequency {LTL} in Probabilistic Systems”, in 26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015, 2015.
, “Geo-indistinguishability: A Principled Approach to Location Privacy”, in Distributed Computing and Internet Technology - 11th International Conference, (ICDCIT) 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings, 2015.
, “A Greedy Approach for the Efficient Repair of Stochastic Models”, in {NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, 2015.
, “The Hanoi Omega-Automata Format”, in Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV), 2015.
