Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Böhm, Corrado; Tronci, Enrico |
X-Separability and Left-Invertibility in lambda-calculus |
1987 |
Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
|
|
320-328 |
Böhm, Corrado; Tronci, Enrico |
X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) |
1987 |
Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea |
|
|
|
|
|
|
Tronci, Enrico |
On Computing Optimal Controllers for Finite State Systems |
1997 |
CDC '97: Proceedings of the 36th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
|
|
|
Tronci, Enrico |
Optimal Finite State Supervisory Control |
1996 |
CDC '96: Proceedings of the 35th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
10.1109/CDC.1996.572981 |
|
|
Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico |
A Model Checking Technique for the Verification of Fuzzy Control Systems |
2005 |
CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) |
IEEE Computer Society |
0-7695-2504-0-01 |
|
10.1109/CIMCA.2005.1631319 |
|
536-542 |
Brizzolari, Francesco; Melatti, Igor; Tronci, Enrico; Della Penna, Giuseppe |
Disk Based Software Verification via Bounded Model Checking |
2007 |
APSEC '07: Proceedings of the 14th Asia-Pacific Software Engineering Conference |
IEEE Computer Society |
0-7695-3057-5 |
|
10.1109/APSEC.2007.43 |
|
358-365 |
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso |
Interoperability mapping from XML schemas to ER diagrams |
2006 |
Data Knowl. Eng. |
Elsevier Science Publishers B. V. |
0169-023x |
|
10.1016/j.datak.2005.08.002 |
59 |
166-188 |
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Automated Generation of Optimal Controllers through Model Checking Techniques |
2006 |
Icinco-Icso |
INSTICC Press |
972-8865-59-7 |
|
10.1007/978-3-540-79142-3 |
|
26-33 |
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh |
Parallel and distributed model checking in Eddy |
2009 |
Int. J. Softw. Tools Technol. Transf. |
Springer-Verlag |
1433-2779 |
|
10.1007/s10009-008-0094-x |
11 |
13-25 |
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh |
Parallel and Distributed Model Checking in Eddy |
2006 |
Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 – April 1, 2006, Proceedings |
Springer - Verlag |
0302-9743 |
978-3-540-33102-5 |
10.1007/11691617_7 |
|
108-125 |