|
Emanuele De Angelis
|
|
|
|
Emanuele De Angelis
PhD Student
|
Selected publications
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Programs via Iterated Specialization, in the Proceedings of Partial Evaluation and Program Manipulation, ACM-SIGPLAN, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Branching Preserving Specialization for Software Model Checking, in the Proceedings of 22nd International Symposium on Logic-Based Program Synhesis and Transformation (LOPSTR 2012), Albert E. ed., 2012
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Software Model Checking by Program Specialization, in the Proceedings of 27th Italian Conference on Computational Logic (CILC-2012), CEUR-WS, 857, 2012
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Programs via Iterated Specialization, IASI-CNR, R. 12-22, 2012
- Emanuele De Angelis, Pettorossi A., Maurizio Proietti: Synthesizing Concurrent Programs Using Answer Set Programming, Fundamenta Informaticae 120, 205-229, 2012
- Emanuele De Angelis, Pettorossi A., Maurizio Proietti: Using Answer Set Programming Solvers to Synthesize Concurrent Programs, IASI-CNR, R. 12-19, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs using Answer Set Programming, in the Proceedings of International Workshop on Concurrency, Specification and Programming (CS&P 2011), Pultusk, Poland, 28-30 Sept. 2011, 2011
|
|
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
