Publications

Export 329 results:
Sort by: Author Title [ Type (Asc)] Year
Conference Paper
J. - P. Katoen, “Probabilistic Programming: {A} True Verification Challenge”, in Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings, 2015.
C. Baier, B. Engel, S. Klüppelholz, S. Märcker, H. Tews, and M. Völp, “A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select”, in NASA Formal Methods, 5th Symposium, NFM13, 2013, vol. 7871, p. 307-321.
L. M. Ferrer Fioriti and H. Hermanns, “Probabilistic Termination: Soundness, Completeness, and Compositionality”, in Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015, 2015.
P. R. D'Argenio and M. D. Lee, “Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation”, in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, 2012, vol. 7213, p. 452-466.
J. - P. Katoen, L. Song, and L. Zhang, “Probably Safe or Live”, in Computer Science Logic and Logic in Computer Science (CSL-LICS), 2014.
J. Markovski, “Process theory for supervisory control of stochastic systems with data”, in ETFA, 2012.
J. Markovski, “Process theory for supervisory control with partial observation of events and states”, in CDC, 2012.
J. Markovski, “A process-theoretic state-based framework for live supervision”, in CASE, 2012.
J. Markovski, “Process-theoretic supervisor synthesis framework with data”, in ICCA, 2013.
S. Cranen, B. Luttik, and T. A. C. Willemse, “Proof Graphs for Parameterised Boolean Equation Systems”, in CONCUR 2013 – Concurrency Theory, 2013, vol. 8052, p. 470-484.
V. Cassano, C. G. López Pombo, and T. S. E. Maibaum, “A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules”, in Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, {TABLEAUX} 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, 2015.
V. Raman, N. Piterman, and H. Kress-Gazit, “Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations”, in 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, 2013.
F. Biondi, A. Legay, L. - M. Traonouez, and A. Wasowski, “{QUAIL:} {A} Quantitative Security Analyzer for Imperative Code”, in Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, 2013.PDF icon main.pdf (187.56 KB)
F. Biondi, A. Legay, P. Malacaria, and A. Wasowski, “Quantifying Information Leakage of Randomized Protocols”, in Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings, 2013.PDF icon vmcai2013.pdf (865.61 KB)
C. Dubslaff and C. Baier, “Quantitative Analysis of Communication Scenarios”, in Proc. of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2015.
C. Baier, “Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata”, in Algebraic Informatics, 5th International Conference, CAI13, 2013, vol. 8080, p. 4-5.
C. Palamidessi, “Quantitative Approaches to Information Protection”, in Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings, 2013.
C. Palamidessi, “Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges”, in Principles of Security and Trust - 4th International Conference, (POST) 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, (ETAPS) 2015, London, UK, April 11-18, 2015, Proceedings, 2015.
D. Guck, T. Han, J. - P. Katoen, and M. R. Neuhäußer, “Quantitative Timed Analysis of Interactive Markov Chains”, in 4th International Symposium NASA Formal Methods (NFM), Norfolk, USA, 2012, vol. 7226, p. 8-23.PDF icon 72260008.pdf (256.53 KB)
C. Eisentraut, H. Hermanns, J. Schuster, A. Turrini, and L. Zhang, “The Quest for Minimal Quotients for Probabilistic Automata”, in Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, 2013, vol. 7795, p. 16-31.
N. Rosner, J. H. Siddiqui, N. Aguirre, S. Khurshid, and M. F. Frias, “Ranger: Parallel analysis of alloy models by range partitioning”, in 2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013.
D. Krähmann, J. Schubert, C. Baier, and C. Dubslaff, “Ratio and Weight Quantiles”, in Proc. of the 40th Symposium on Mathematical Foundations of Computer Science (MFCS): Part I, 2015.
P. F. Castro, C. Kilmurray, and N. Piterman, “A Recursive Temporal Logic”, in 17th International Conference on Formal Engineering Methods, 2015.
J. Markovski, “Reliable supervisory coordination of stochastic communicating processes with data”, in SAC, 2013.
L. Bocchi, H. C. Melgratti, and E. Tuosto, “Resolving Non-determinism in Choreographies”, in Programming Languages and Systems - 23rd European Symposium on Programming, {ESOP} 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.

Pages