Publications

Export 17 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is B  [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]
B
D. Figueira, S. Figueira, and C. Areces, “Basic Model Theory of XPath on Data Trees”, in Proceedings of the 17th International Conference on Database Theory, Athens, Greece, 2014.
H. Czemerinski, V. A. Braberman, and S. Uchitel, “Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing”, Software Testing, Verification and Reliability, 2015.
H. Czemerinski, V. A. Braberman, and S. Uchitel, “Behaviour Abstraction Coverage as Black-Box Adequacy Criteria”, in ICST, Luxembourg, 2013.PDF icon Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf (221.23 KB)
R. Bruni, H. C. Melgratti, and U. Montanari, “Behaviour, Interaction and Dynamics”, in Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, 2014.
L. Bocchi and H. C. Melgratti, “On the behaviour of general purpose applications on cloud storages”, Service Oriented Computing and Applications, p. 1-15, 2014.
L. Bocchi and H. C. Melgratti, “On the Behaviour of General-Purpose Applications on Cloud Storages”, in Web Services and Formal Methods - 10th International Workshop, {WS-FM} 2013, Beijing, China, August 2013, Revised Selected Papers, 2013.
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.
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)
P. Sánchez Terraf, “Bisimilarity is not Borel”, Mathematical Structures in Computer Science, In Press.
L. Song, L. Zhang, and J. C. Godskesen, “Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes”, in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 2014.
P. R. D'Argenio, P. Sánchez Terraf, and N. Wolovick, “Bisimulations for non-deterministic labelled Markov processes”, Mathematical Structures in Computer Science, vol. 22, no. 1, p. 43-68, 2012.
L. Song, L. Zhang, and J. C. Godskesen, “Bisimulations Meet PCTL Equivalences for Probabilistic Automata”, Logical Methods in Computer Science, vol. 9, 2013.
N. Rosner, J. Geldenhuys, N. Aguirre, W. Visser, and M. F. Frias, “BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support”, {IEEE} Trans. Software Eng., vol. 41, p. 639–660, 2015.
N. Rosner, et al., “Bounded exhaustive test input generation from hybrid invariants”, in Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014, 2014.
J. Geldenhuys, N. Aguirre, M. F. Frias, and W. Visser, “Bounded Lazy Initialization”, in NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, 2013.
K. Chatzikokolakis, M. E. Andrés, N. E. Bordenabe, and C. Palamidessi, “Broadening the Scope of Differential Privacy Using Metrics”, in The 13th Privacy Enhancing Technologies Symposium, Bloomington, Indiana, United States, 2013.
K. Chatzikokolakis, M. E. Andrés, N. E. Bordenabe, and C. Palamidessi, “Broadening the Scope of Differential Privacy Using Metrics”, in Privacy Enhancing Technologies - 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings, 2013.PDF icon dpmetrics.pdf (764.63 KB)