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
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.
C. Baier, J. Klein, and S. Klüppelholz, “Synthesis of Reo Connectors for Strategies and Controllers”, Fundamenta Informaticae, vol. 130, p. 1–20, 2014.
C. Baier, et al., “Locks: Picking key methods for a scalable quantitative analysis”, Journal of Computer and System Sciences, vol. 81, p. 258–287, 2015.
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.
M. Bartoletti, A. Scalas, E. Tuosto, and R. Zunino, “Honesty by Typing”, in FMOODS/FORTE, Florence, Italy, 2013.
D. Basile, P. Degano, G. Ferrari, and E. Tuosto, “Relating two automata-based models of orchestration and choreography”. 2016.
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.
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 Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.
V. S. Bengolea, N. Aguirre, D. Marinov, and M. F. Frias, “Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites”, in International Conference on Tests and Proofs TAP 2012, vol. 7305, 2012, p. 19 - 34.PDF icon testsuite-reduction.pdf (262.31 KB)
V. S. Bengolea, N. Aguirre, D. Marinov, and M. F. Frias, “RepOK-based reduction of bounded exhaustive testing”, Softw. Test., Verif. Reliab., vol. 24, p. 629–655, 2014.
F. van den Berg, J. Hooman, A. Hartmanns, B. R. Haverkort, and A. Remke, “Computing Response Time Distributions Using Iterative Probabilistic Model Checking”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, 2015.
N. Bertrand, et al., “Stochastic Timed Automata”, Logical Methods in Computer Science (LMCS), vol. 10, p. 1–73, 2014.
K. Bhargavan, C. Fournet, R. Corin, and E. Zalinescu, “Verified Cryptographic Implementations for TLS”, ACM Trans. Inf. Syst. Secur., vol. 15, p. 3, 2012.
F. Biondi, A. Legay, B. F. Nielsen, P. Malacaria, and A. Wasowski, “Information Leakage of Non-Terminating Processes”, in FSTTCS, 2014.
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, 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)
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)
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.
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.
F. S. de Boer, M. Bravetti, I. Grabe, M. D. Lee, M. Steffen, and G. Zavattaro, “A Petri Net Based Analysis of Deadlocks for Active Objects and Futures”, in Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, vol. 7684, C. S. Păsăreanu and G. Salaün, Eds. 2013, p. 110-127.
J. Bogdoll, A. Hartmanns, and H. Hermanns, “Simulation and Statistical Model Checking for Modestly Nondeterministic Models”, in Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012, vol. 7201, p. 249-252.
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.
N. E. Bordenabe, K. Chatzikokolakis, and C. Palamidessi, “Optimal Geo-Indistinguishable Mechanisms for Location Privacy”, in CCS - 21st ACM Conference on Computer and Communications Security, Scottsdale, Arizona, United States, 2014.

Pages