Publications

Export 329 results:
Sort by: Author [ Title (Asc)] 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 
D
S. Abriola, M. E. Descotte, and S. Figueira, “Definability for Downward and Vertical XPath on Data Trees”, in Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valpara{\'ı}so, Chile, September 1-4, 2014. Proceedings, 2014.
D. Garbervetsky and S. Kim, “Developing tools as plug-ins: TOPI 2012 special issue”, Software: Practice and Experience, vol. 44, p. 259–260, 2014.
C. Palamidessi and M. Stronati, “Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems”, in Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012.
E. ElSalamouny, K. Chatzikokolakis, and C. Palamidessi, “A differentially private mechanism of optimal utility for a region of priors”, in Proceedings of the 2nd Conference on Principles of Security and Trust (POST), 2013.PDF icon main.pdf (214.46 KB)
H. Ponce de León, G. Bonigo, and L. Brandán Briones, “Distributed analysis of diagnosability in concurrent systems”, in Proceedings of the 24th International Workshop on Principles of Diagnosis (DX'13), 2013.
S. Giro, P. R. D'Argenio, and L. M. Ferrer Fioriti, “Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms”, Theoretical Computer Science, vol. 538, p. 84-102, 2014.
G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Distribution of Modal Transition Systems”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012, vol. 7436, p. 403-417.PDF icon Distribution_of_Modal_Transition_Systems.pdf (204.25 KB)
P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.
P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in 1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13, 2013.
P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in {\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013}, 2014.
M. M. Moscato, C. G. López Pombo, and M. F. Frias, “Dynamite: A tool for the verification of alloy models based on PVS”, {ACM} Trans. Softw. Eng. Methodol., vol. 23, p. 20, 2014.
E
V. Hashemi, H. Hermanns, and A. Turrini, “On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation”, {ECEASST}, vol. 66, 2013.
P. Ponzio, N. Rosner, N. Aguirre, and M. F. Frias, “Efficient Tight Field Bounds Computation Based on Shape Predicates”, in FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014., 2014.PDF icon sltb.pdf (413.09 KB)
C. Baier, C. Dubslaff, S. Klüppelholz, and L. Leuschner, “Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking”, in Proc. of the 35th Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS), 2014.
C. Baier, M. Daum, C. Dubslaff, J. Klein, and S. Klüppelholz, “Energy-Utility Quantiles”, in Proc. of the 6th NASA Formal Methods Symposium (NFM), 2014.
K. Poyias and E. Tuosto, “Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations”, in ICE, 2012.
K. Chatzikokolakis, S. Knight, C. Palamidessi, and P. Panangaden, “Epistemic Strategies and Games on Concurrent Processes”, ACM Trans. Comput. Log., vol. 13, p. 28, 2012.
A. Hartmanns and H. Hermanns, “Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage”, in ATVA 2015, In Press.
S. Figueira, D. Gorın, and R. Grimson, “On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies”, in 18th Workshop on Logic, Language, Information and Computation, 2011.
J. P. Galeotti, G. Fraser, and A. Arcuri, “Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution”, in Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.PDF icon galeotti-issta-2014-2.pdf (379.45 KB)
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Proceedings PASM 2012. In Press.
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Electr. Notes Theor. Comput. Sci., vol. 296, p. 163-181, 2013.
F
C. Dehnert, N. Jansen, R. Wimmer, E. Ábrahám, and J. - P. Katoen, “Fast Debugging of PRISM Models”, in Int. Symp. on Automated Technology for Verification and Analysis (ATVA'14), 2014.
G. Regis, F. Villar, and N. Ricci, “Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties”, in Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013., 2014.PDF icon WorkflowAnalyser.pdf (245.34 KB)
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings”, FORMATS, vol. 8053. 2013.

Pages