Dario Carotenuto

According to our database, Dario Carotenuto authored at least 3 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Ordered multi-stack visibly pushdown automata.

Dario Carotenuto, Aniello Murano, Adriano Peron

Theor. Comput. Sci., 2016

2007

The eureka tool for software model checking.

Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2-Visibly Pushdown Automata.

Dario Carotenuto, Aniello Murano, Adriano Peron

Proceedings of the Developments in Language Theory, 11th International Conference, 2007