Publications

Export 37 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is M  [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]
M
A. V. C. Hulst, M. A. Reniers, and W. J. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic”, {ACM} Trans. Embedded Comput. Syst., vol. 14, p. 10:1–10:21, 2015.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic”, in ACSD, 2013.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in Workshop on Discrete Event Systems, Cachan, France, 2014.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., 2014.
A. van Hulst, M. A. Reniers, and W. J. Fokkink, “Maximally Permissive Controlled System Synthesis for Modal Logic”, in SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněżkou, Czech Republic, January 24-29, 2015. Proceedings, 2015.
F. Biondi, A. Legay, B. F. Nielsen, and A. Wasowski, “Maximizing Entropy over Markov Processes”, in Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, 2013.PDF icon main.pdf (268.88 KB)
J. Bogdoll, A. David, A. Hartmanns, and H. Hermanns, “mctau: Bridging the Gap between Modest and UPPAAL”, in Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings, 2012, vol. 7385, p. 227-233.
M. S. Alvim, K. Chatzikokolakis, C. Palamidessi, and G. Smith, “Measuring Information Leakage using Generalized Gain Functions”, in Proceedings of the Computer Security Foundations Symposium (CSF), 2012, p. 265-279.PDF icon gleakage.pdf (330.44 KB)
N. E. Bordenabe, “Measuring Privacy with Distinguishability Metrics: Definitions, Mechanisms and Application to Location Privacy.”, 2014.
B. Braitling, L. M. Ferrer Fioriti, H. Hatefi, R. Wimmer, B. Becker, and H. Hermanns, “MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata”, in Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014., 2014.
R. Wimmer, N. Jansen, E. Ábrahám, J. - P. Katoen, and B. Becker, “Minimal counterexamples for linear-time probabilistic verification”, Theoretical Computer Science, vol. 549, p. 61 - 100, 2014.
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “The Modal Logic of Copy and Remove”, Information and Computation, In Press.
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “The Modal Logic of Copy and Remove”, Information and Computation, 2015.
C. Areces, P. Fontaine, and S. Merz, “Modal Satisfiability via {SMT} Solving”, in Software, Services, and Systems, vol. 8950, R. De Nicola and R. Hennicker, Eds. 2015, p. 30-45.
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “The Modal Transition System Control Problem”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012.PDF icon the_modal_transition_systems_control_problem.pdf (247.44 KB)
H. Hatefi and H. Hermanns, “Model Checking Algorithms for Markov Automata”, ECEASST, vol. 53, 2012.
C. Baier, E. M. Hahn, B. R. Haverkort, H. Hermanns, and J. - P. Katoen, “Model checking for performability”, Mathematical Structures in Computer Science, vol. 23, p. 751–795, 2013.
J. - P. Katoen, “Model Checking Gigantic Markov Models”, in 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014.
J. - P. Katoen, “Model Checking Meets Probability: A Gentle Introduction”, in Engineering Dependable Software Systems, vol. 34, Amsterdam: , 2013, p. 177–205.
A. Acosta, C. Kilmurray, P. F. Castro, and N. Aguirre, “ Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization”, in 15th Brazilian Symposium on Formal Methods (SBMF 2012), Natal, Brazil, 2012.
E. M. Hahn, “Model Checking Stochastic Hybrid Systems”, 2012.PDF icon phdthesis-EMH.pdf (1.49 MB)
D. Figueira, S. Figueira, and C. Areces, “Model Theory of XPath on Data Trees. Part {I:} Bisimulation and Characterization”, J. Artif. Intell. Res. {(JAIR)}, vol. 53, p. 271–314, 2015.
S. Abriola, M. E. Descotte, and S. Figueira, “Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability”, Information and Computation, In Press.
A. Graf{-}Brill, H. Hermanns, and H. Garavel, “A Model-Based Certification Framework for the EnergyBus Standard”, in Formal Techniques for Distributed Objects, Components, and Systems, 2014.
J. Markovski and J. M. van de Mortel-Fronczak, “Modeling for Safety in a Synthesis-Centric Systems Engineering Framework”, in SAFECOMP Workshops, 2012.

Pages