|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 35 occurrences of 19 keywords
|
|
|
|
|
Results
Found 54 publication records. Showing 54 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Amedeo Cesta, Simone Fratini, Andrea Orlandini, Alberto Finzi, Enrico Tronci |
Flexible Plan Verification: Feasibility Results.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
Quantized Feedback Control Software Synthesis from System Level Formal Specifications |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
From Boolean Functional Equations to Control Software |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci |
Cost-optimal Strong Planning in Non-deterministic Domains. |
ICINCO |
2011 |
DBLP BibTeX RDF |
|
| 1 | Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
Validation and verification issues in a timeline-based planning system. |
Knowledge Eng. Review |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
Analyzing Flexible Timeline-based Plans. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri |
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. |
CRiSIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
Flexible Timeline-Based Plan Verification. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
Model Checking Nash Equilibria in MAD Distributed Systems. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna |
Disk Based Software Verification via Bounded Model Checking. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Mari, Enrico Tronci |
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
Finite horizon analysis of Markov Chains with the Murphi verifier. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Markov chains, Automatic verification, Probabilistic model checking, Probabilistic verification |
| 1 | Enrico Tronci |
Introductory Paper. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification |
| 1 | Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
A Case Study on Automated Generation of Integration Tests. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
Automatic generation of optimal controllers through model checking techniques. |
ICINCO-ICSO |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci |
Exploiting Hub States in Automatic Verification. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci |
Automatic Analysis of a Safety Critical Tele Control System. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci |
A Model Checking Technique for the Verification of Fuzzy Control Systems. |
CIMCA/IAWTIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Automated analysis of timed security: a case study on web privacy. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Web privacy, Model checking tools, Timed behavior |
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
Automatic Analysis of the NRL Pump. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
Exploiting transition locality in automatic verification of finite-state concurrent systems. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Explicit state space exploration, Model checking, Automatic verification |
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
Automatic Covert Channel Analysis of a Multilevel Secure Component. |
ICICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
Bounded Probabilistic Model Checking with the Muralpha Verifier. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli |
Electric Power System Anomaly Detection Using Neural Networks. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli |
Synchronized regular expressions. |
Acta Inf. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Geist, Enrico Tronci (eds.) |
Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings |
CHARME |
2003 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
Integrating RAM and Disk Based Verification within the Mur-phi Verifier. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci |
Automatic Timeliness Verification of a Public Mobile Network. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli |
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli |
Exploiting Transition Locality in the Disk Based Mur phi Verifier. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino |
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Formal Models of Timing Attacks on Web Privacy. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli |
Synchronized Regular Expressions. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli |
A Probabilistic Approach to Automatic Verification of Concurrent Systems. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
Automatic Verification and Validation, Distributed Systems, Model Checking, Embedded Systems, Formal Methods, Reactive Systems, Concurrent Systems, Probabilistic Verification |
| 1 | Giovanni Dipoppa, G. D'Alessandro, R. Semprini, Enrico Tronci |
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. |
HASE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli |
Exploiting Transition Locality in Automatic Verification. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Tronci |
Automatic Synthesis of Control Software for an Industrial Automation Control System. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
Embedded Control Systems, Model Checking, Formal Methods, Hybrid Systems, Reactive Systems, Discrete Event Systems, Supervisory Control, Manufacturing Systems, Ordered Binary Decision Diagrams, Finite State Systems |
| 1 | Enrico Tronci |
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Methods, Hybrid Systems, Reactive Systems, Control Systems, Discrete Event Systems, Supervisory Control, Manufacturing Systems, Finite State Systems |
| 1 | Enrico Tronci |
Automatic Synthesis of Controllers from Formal Specifications. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
A Symbolic Model Checker for ACTL. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Tronci |
Equational Programming in Lambda-Calculus via SL-Systems. Part 1. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Tronci |
Equational Programming in Lambda-Calculus via SL-Systems. Part 2. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosario Pugliese, Enrico Tronci |
Automatic Verification of a Hydroelectric Power Plant. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Tronci |
Defining Data Structures via Böhm-Out. |
J. Funct. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Tronci |
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Böhm, Enrico Tronci |
About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus |
Inf. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Tronci |
Equational Prgoramming in lambda-calculus |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Piperno, Enrico Tronci |
Regular Systems in lambda-Calculus. |
Int. J. Found. Comput. Sci. |
1990 |
DBLP BibTeX RDF |
|
| 1 | Corrado Böhm, Enrico Tronci |
X-Separability and Left-Invertibility in lambda-calculus |
LICS |
1987 |
DBLP BibTeX RDF |
|
Displaying result #1 - #54 of 54 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")