Parlato, Gennaro (2018) Finding rare concurrent programming bugs:: An automatic, symbolic, randomized, and parallelizable approach. Fischer, Bernd and Uustalu, Tarmo (eds.) In Theoretical Aspects of Computing – ICTAC 2018: 5th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings. Springer..

Nguyen, Truc L., Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Concurrent program verification with Lazy sequentialization and interval analysis. In The 5th Edition of The International Conference on Networked sYStems. Springer. pp. 255-271 . (doi:10.1007/978-3-319-59647-1_20).

NGUYEN, TRUC L, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation: (Competition contribution). Legay, Axel and Margaria, Tiziana (eds.) In Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P. vol. 10206, Springer. 4 pp . (doi:10.1007/978-3-662-54580-5_26).

Enea, Constantin, Habermehl, Peter, Inverso, Omar and Parlato, Gennaro (2017) On the path-width of integer linear programming. Information and Computation, 257-271. (doi:10.1016/j.ic.2016.07.010).

Nguyen Lam, Truc, Schrammel, Peter, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Parallel bug-finding in concurrent programs via reduced interleaving instances. Rosu, Grigore, Di Penta, Massimiliano and Nguyen, Tien N. (eds.) In ASE '17: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. IEEE. pp. 753-764 .

Uzun, Emre, Parlato, Gennaro, Atluri, Vijayalakshmi, Ferrara, Anna Lisa, Vaidya, Jaideep, Sural, Shamik and Lorenzi, David (2017) Preventing unauthorized data flows. Livraga, G. and Zhu, S. (eds.) In Data and Applications Security and Privacy XXXI. DBSec 2017. vol. 10359, Springer. pp. 41-62 . (doi:10.1007/978-3-319-61176-1_3).

Tomasco, Ermenegildo, Nguyen, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Using shared memory abstractions to design eager sequentializations for weak memory models. In SEFM 2017: Software Engineering and Formal Methods. vol. 10469, Springer. pp. 185-202 . (doi:10.1007/978-3-319-66197-1_12).

Tomasco, Ermenegildo, Nguyen Lam, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) Embedding weak memory models within eager sequentialization Southampton, GB. University of Southampton 29pp.

Tomasco, Ermenegildo, Nguyen Lam, Truc, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions. Piskac, Ruzica and Talupur, Muralidhar (eds.) In FMCAD '16 Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design. FMCAD Inc. pp. 193-200 .

Nguyen Lam, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) Lazy sequentialization for the safety verification of unbounded concurrent programs. 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Chiba, Japan. 16 - 18 Oct 2016. 16 pp . (doi:10.1007/978-3-319-46520-3_12).

Tomasco, Ermenegildo, Nguyen, Truc, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) MU-CSeq 0.4: individual memory location unwindings: (competition contribution). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2016) Scope-Bounded Pushdown Languages. International Journal of Foundations of Computer Science, 27 (2), 215-233. (doi:10.1142/S0129054116400074).

Tomasco, Ermenegildo, Nguyen Lam, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) Separating computation from communication: a design approach for concurrent program verification Southampton, GB. University of Southampton 31pp.

Inverso, Omar, Nguyen, Truc, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) Lazy-CSeq 1.0: (Competition Contribution) Southampton. University of Southampton

Inverso, Omar, Nguyen Lam, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-Threaded C-Programs. 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015).

Tomasco, Ermenegildo, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) MU-CSeq 0.3: Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), London, United Kingdom. 10 - 14 Apr 2015. 3 pp .

Parlato, Gennaro (2015) On Sequentializing Concurrent Programs -- Bounded Model Checking. UPMARC Summer School on Multicore Computing 2015, Uppsala, Sweden.

Parlato, Gennaro (2015) On sequentializing concurrent programs. UPMARC Summer School on Multicore Computing 2015, Uppsala, Sweden.

Nguyen, Truc, Inverso, Omar, Tomasco, Ermenegildo, La Torre, Salvatore, Fischer, Bernd and Parlato, Gennaro (2015) Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C with unboundedly many Context Switches: (Competition Contribution) University of Southampton

Lam Nguyen, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) Unbounded Lazy-CSeq: a lazy sequentialization tool for C programs with unbounded context switches (competition contribution). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), London, United Kingdom. 10 - 14 Apr 2015. 3 pp .

Tomasco, Ermenegildo, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) Verifying concurrent programs by memory unwinding. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), London, United Kingdom. 10 - 14 Apr 2015. 15 pp .

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2014) A unifying approach for multistack pushdown automata. In 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014). vol. 8634, 18 pp . (doi:10.1007/978-3-662-44522-8_32).

Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Bounded model checking of multi-threaded c programs via lazy sequentialization. Biere, A. and Bloem, R. (eds.) In Computer Aided Verification. CAV 2014. vol. 8559, Springer. pp. 585-602 . (doi:10.1007/978-3-319-08867-9_39).

Atig, Mohamed Faouzi, Bouajjani, Ahmed and Parlato, Gennaro (2014) Context-bounded analysis of tso systems (Lecture Notes in Computer Science, 8415), vol. 8415, Springer

Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Lazy-CSeq 0.6c: An improved lazy sequentialization tool for C (competition contribution) Southampton, GB. University of Southampton 3pp.

Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Lazy-CSeq: a lazy sequentialization tool for C. 20th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 04 - 12 Apr 2014. pp. 398-401 . (doi:10.1007/978-3-642-54862-8_29).

Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Lazy-CSeq: a lazy sequentialization tool for c (competition contribution). Tools and Algorithms for the Construction and Analysis of Systems - TACAS (SV-COMP).

Tomasco, Ermenegildo, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) MU-CSeq: sequentialization of c programs by shared memory unwindings (competition contribution). TACAS (SV-COMP).

Enea, Constantin, Habermehl, Peter, Inverso, Omar and Parlato, Gennaro (2014) On the Path-Width of Integer Linear Programming. Peron, Adriano and Piazza, Carla (eds.) In Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification. vol. 161, pp. 74-87 . (doi:10.4204/EPTCS.161.9).

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2014) Scope-bounded pushdown languages. In 18th International Conference on Developments in Language Theory (DLT 2014). vol. 8633, 12 pp . (doi:10.1007/978-3-319-09698-8_11).

Uzun, Emre, Atluri, Vijayalakshmi, Vaidya, Jaideep, Sural, Shamik, Ferrara, Anna Lisa, Parlato, Gennaro and Madhusudan, P. (2014) Security analysis for temporal role based access control. Journal of Computer Security. (doi:10.3233/JCS-140510).

Ferrara, Anna Lisa, Madhusudan, P., Lam Nguyen, Truc and Parlato, Gennaro (2014) VAC - verifier of administrative role-based access control policies. In 26th International Conference on Computer Aided Verification (CAV 2014). vol. 8559, 8 pp . (doi:10.1007/978-3-319-08867-9_12).

Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: A Sequentialization Tool for C - (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. pp. 616-618 .

Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: a concurrency pre-processor for sequential c verification tools (tool demonstration). 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Inverso, Omar, La Torre, Salvatore, Tomasco, Ermenegildo and Parlato, Gennaro (2013) Looking at Computations from a Different Angle University of Southampton (Submitted)

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2013) On Multi-stack Visibly Pushdown Languages. 20 pp .

Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2013) Policy analysis for self-administrated role-based access control. TACAS 2013: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy. 16 - 24 Mar 2013. 15 pp .

Garg, Pranav, Madhusudan, P. and Parlato, Gennaro (2013) Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. 20th Static Analysis Symposium.

Uzun, Emre, Atluri, Vijayalakshmi, Sural, Shamik, Vaidya, Jaideep, Gennaro, Parlato, Ferrara, Anna Lisa and Madhusudan, Parthasarathy (2012) Analyzing temporal role based access control models. In SACMAT '12 Proceedings of the 17th ACM symposium on Access Control Models and Technologies. ACM Press. 177 -186 . (doi:10.1145/2295136.2295169).

La Torre, Salvatore and Gennaro, Parlato (2012) Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width. 32nd Foundations of Software Technology and Theoretical Computer Science Conference (FSTTCS), Hyderabad, India. 15 - 17 Dec 2012. pp. 173-184 .

Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2012) Security Analysis of Role-based Access Control through Program Verification. 25th IEEE Computer Security Foundations Symposium (CSF). pp. 113-125 .

La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2012) Sequentializing parameterized programs. 4th International Workshop on Foundations of Interface Technologies. 21 pp .

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2011) A tabu search heuristic based on k-diamonds for the weighted feedback vertex set problem. Network Optimization: 5th International Conference, (INOC), Hamburg, Germany. 12 - 15 Jun 2001. (In Press)

Madhusudan, P., Parlato, Gennaro and Qiu, Xiaokang (2011) Decidable logics combining heap structures and data. POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, United States. 26 - 28 Jan 2011. pp. 611-622 . (doi:10.1145/1925844.1926455).

Atig, Mohamed Faouzi, Bouajjani, Ahmed and Parlato, Gennaro (2011) Getting rid of store-buffers in TSO analysis. 23rd International Conference on Computer Aided Verification (CAV 2011), Snowbird, United States. 13 - 19 Jul 2011. pp. 99-115 . (doi:10.1007/978-3-642-22110-1_9).

Bouajjani, Ahmed, Emmi, Michael and Parlato, Gennaro (2011) On sequentializing concurrent programs. SAS, Venice, Italy. 13 - 15 Sep 2011. (In Press)

Madhusudan, P. and Parlato, Gennaro (2011) The tree width of auxiliary storage. POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, United States. 26 - 28 Jan 2011. pp. 283-294 . (doi:10.1145/1925844.1926419).

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2010) Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV, Edinburgh,, United Kingdom. 14 - 18 Jul 2010. pp. 629-644 .

La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2010) The Language Theory of Bounded Context-Switching. LATIN, Oaxaca, Mexico. 18 - 22 Apr 2010. pp. 96-107 .

Torre, Salvatore La, Madhusudan, Parthasarathy and Parlato, Gennaro (2009) Analyzing recursive programs using a fixed-point calculus. PLDI '09. Proceedings of the 2009 ACM SIGPLAN conference on Programming Language Design and Implementation, Dublin, Ireland. 14 - 20 Jun 2009. pp. 211-222 . (doi:10.1145/1543135.1542500).

Ferrante, Alessandro, Parlato, Gennaro, Sorrentino, Francesco Sorrentino and Ventre, Carmine (2009) Fast payment schemes for truthful mechanisms with verification. Theoretical Computer Science, 410 (8-10), 886-899.

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2009) Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV, Grenoble, France. 25 Jun - 01 Jul 2009. pp. 477-492 .

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2008) An Infinite Automaton Characterization of Double Exponential Time. CSL, Bertinoro, Italy. 15 - 18 Sep 2008. pp. 33-48 .

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2008) Context-Bounded Analysis of Concurrent Queue Systems. TACAS, Budapest, Hungary. 29 Mar - 05 Apr 2008. pp. 299-314 .

Torre, Salvatore La, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2008) Verification of scope-dependent hierarchical state machines. Inf. Comput., 206 (9-10), 1161-1177.

Torre, Salvatore La, Madhusudan, Parthasarathy and Parlato, Gennaro (2007) A Robust Class of Context-Sensitive Languages. LICS, Wroclaw, Poland. 09 - 11 Jul 2007. pp. 161-170 .

Torre, Salvatore La and Parlato, Gennaro (2007) On the Complexity of LtlModel-Checking of Recursive State Machines. ICALP, Wroclaw, Poland. 08 - 12 Jul 2007. pp. 937-948 .

La Torre, Salvatore, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2007) Verification of Succinct Hierarchical State Machines. Conference on Language and Automata Theory and Applications (LATA).

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2005) A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds. Inf. Process. Lett., 94 (1), 29-35.

Ferrante, Alessandro, Parlato, Gennaro, Sorrentino, Francesco and Ventre, Carmine (2005) Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. WAOA. pp. 147-160 .

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2004) Minimum Weighted Feedback Vertex Set on Diamonds. CTW. pp. 81-85 . (In Press)

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2004) Minimum Weighted Feedback Vertex Set on Diamonds. Electronic Notes in Discrete Mathematics, 17, 87-91. (doi:10.1016/j.endm.2004.09.001).

Torre, Salvatore La, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2003) Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP, June 30 - July 4, 2003. 29 Jun - 03 Jul 2003. pp. 776-789 .