Publications

Export 329 results:
Sort by: [ Author (Asc)] Title Type Year
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 
B
N. E. Bordenabe, “Measuring Privacy with Distinguishability Metrics: Definitions, Mechanisms and Application to Location Privacy.”, 2014.
M. Bozga, et al., “State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems”, in 2012 Design, Automation {&} Test in Europe Conference {&} Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, 2012.
L. Bozzelli, H. van Ditmarsch, T. French, J. Hales, and S. Pinchinat, “Refinement Modal Logic”, Information and Computation, 2014.
L. Bozzelli, H. van Ditmarsch, and S. Pinchinat, “The Complexity of One-Agent Refinement Modal Logic”, Theoretical Computer Science, 2014.
V. A. Braberman, N. D'Ippolito, N. Piterman, D. Sykes, and S. Uchitel, “Controller synthesis: from modelling to enactment”, in ICSE, 2013.
V. A. Braberman, D. Garbervetsky, S. Hym, and S. Yovine, “Summary-based inference of quantitative bounds of live heap objects”, Sci. Comput. Program., vol. 92, p. 56–84, 2014.
V. A. Braberman, N. D'Ippolito, J. Kramer, D. Sykes, and S. Uchitel, “{MORPH:} {A} Reference Architecture for Configuration and Behaviour Self-Adaptation”, CoRR, vol. abs/1504.08339, 2015.
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings”, FORMATS, vol. 8053. 2013.
V. A. Braberman, D. Garbervetsky, S. Hym, and S. Yovine, “Summary-based inference of quantitative bounds of live heap objects”, Science of Computer Programming, vol. 92, p. 56–84, 2014.PDF icon 1-s2.0-S0167642313003298-main.pdf (515.25 KB)
B. Braitling, L. M. Ferrer Fioriti, H. Hatefi, R. Wimmer, B. Becker, and H. Hermanns, “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.
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.
T. Brázdil, H. Hermanns, J. Krčál, J. Kret\'ınský, and V. Rehák, “Verification of Open Interactive Markov Chains”, in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, 2012.
T. Brázdil, L. Korenciak, J. Krčál, P. Novotný, and V. Rehák, “Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis”, in QEST 2015, In Press.
F. van Breugel, E. Kashefi, C. Palamidessi, and J. Rutten, Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, vol. 8464. 2014.
R. Bruni, H. C. Melgratti, U. Montanari, and P. Sobocinski, “Connector algebras for C/E and P/T nets interactions”, Logical Methods in Computer Science, vol. 9, no. 16, p. 1–65, 2013.
R. Bruni, H. C. Melgratti, and U. Montanari, “cJoin: Join with communicating transactions”, Mathematical Structures in Computer Science, vol. 25, p. 566–618, 2015.
R. Bruni, H. C. Melgratti, and U. Montanari, “A survey on basic connectors and buffers”, in Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011. Revised Papers, 2012.
R. Bruni, H. C. Melgratti, and U. Montanari, “Behaviour, Interaction and Dynamics”, in Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, 2014.
R. Bruni, H. C. Melgratti, and U. Montanari, “From Hierarchical {BIP} to Petri Calculus”, in From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, 2014.
C. Bruni, G. Chari, I. Stasenko, and S. Ducasse, “Benzo: Reflective Glue for Low-level Programming”, in Proceedings of the International Workshop on Smalltalk Technologies, 2014.
R. Bruni, H. C. Melgratti, and U. Montanari, “A Normal Form for Stateful Connectors”, in Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, 2015.
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.
C. E. Budde, P. R. D'Argenio, and H. Hermanns, “Rare Event Simulation with Fully Automated Importance Splitting”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, M. Beltrán, W. J. Knottenbelt, and J. T. Bradley, Eds. 2015, p. 275–290.
Y. Butkova, H. Hatefi, H. Hermanns, and J. Krčál, “Optimal Continuous Time Markov Decisions”, in ATVA 2015, In Press.
C
F. Carreiro and S. Demri, “Beyond Regularity for Presburger Modal Logics”, in 9th Workshop on Advances in Modal Logics (AiML'12), Copenhagen, Denmark, 2012.PDF icon beyond_regularity_for_presburger_modal_logics.pdf (525.09 KB)

Pages