Enrico Tronci
发表
Enrico Tronci,
Daniel Geist,
2003
.
Enrico Tronci,
Silvia Mazzini,
Stefano Puri,
2009
.
Enrico Tronci,
Javier Esparza,
2015
.
Enrico Tronci,
1999,
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
Enrico Tronci,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Enrico Tronci,
Roberta Terruggia,
Andrea Bobbio,
2009,
2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009).
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2015,
IWBBIO.
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2017,
IEEE Transactions on Smart Grid.
Toni Mancini,
Enrico Tronci,
Igor Melatti,
2020,
Fundam. Informaticae.
Enrico Tronci,
Ester Ciancamerla,
Michele Minichino,
2005,
SAFECOMP.
Toni Mancini,
Enrico Tronci,
Brigitte Leeners,
2020,
Fundam. Informaticae.
Toni Mancini,
Enrico Tronci,
Igor Melatti,
2020,
OVERLAY.
Enrico Tronci,
Alberto Finzi,
Simone Fratini,
2011,
RCRA@AI*IA.
Enrico Tronci,
Emad Samuel Malki Ebeid,
Rune Hylsberg Jacobsen,
2015,
2015 Euromicro Conference on Digital System Design.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2017,
Inf. Process. Lett..
Enrico Tronci,
E. Tronci,
2006
.
Enrico Tronci,
Lorenzo Alvisi,
Federico Mari,
2008,
2008 Formal Methods in Computer-Aided Design.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2012,
ICTAC.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2005,
ATVA.
Enrico Tronci,
Michele Cecconi,
2000,
Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
Enrico Tronci,
Marco Gribaudo,
Andrea Bobbio,
2003,
Reliab. Eng. Syst. Saf..
Enrico Tronci,
Lorenzo Alvisi,
Federico Mari,
2009,
SSS.
Enrico Tronci,
Mimmo Parente,
Youssef Driouich,
2018,
2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS).
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2003,
CHARME.
Toni Mancini,
Enrico Tronci,
Alberto Finzi,
2018,
RCRA@FLoC.
Enrico Tronci,
Andrea Maggiolo-Schettini,
Simone Tini,
2004,
Electron. Notes Theor. Comput. Sci..
Enrico Tronci,
1991,
LICS 1991.
Enrico Tronci,
2013
.
Enrico Tronci,
E. Tronci,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Enrico Tronci,
Andrea Maggiolo-Schettini,
Simone Tini,
2004,
ICICS.
Enrico Tronci,
Marco Gribaudo,
Andrea Bobbio,
2002,
SAFECOMP.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2013
.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2017,
IEEE Transactions on Automatic Control.
Enrico Tronci,
Sandro Bologna,
Andrea Bobbio,
2001
.
Enrico Tronci,
Andrea Maggiolo-Schettini,
Simone Tini,
2002,
TOSCA.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2015,
GandALF.
Toni Mancini,
Enrico Tronci,
Federico Mari,
2018,
ISMIS.
Enrico Tronci,
Amedeo Cesta,
Alberto Finzi,
2009,
KI.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2016
.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2001,
Electron. Notes Theor. Comput. Sci..
Enrico Tronci,
Benedetto Intrigila,
Daniele Magazzeni,
2005,
International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).
Enrico Tronci,
Rosario Pugliese,
1996,
FME.
Enrico Tronci,
1998,
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Toni Mancini,
Enrico Tronci,
Emad Ebeid,
2014,
DSD 2014.
Enrico Tronci,
E. Tronci,
1996
.
Enrico Tronci,
Enrico Tronci,
2005,
International Journal on Software Tools for Technology Transfer.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2019,
OVERLAY@AI*IA.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2018,
RCRA@FLoC.
Enrico Tronci,
Adolfo Piperno,
1990,
Int. J. Found. Comput. Sci..
Enrico Tronci,
Ester Ciancamerla,
Michele Minichino,
2003,
SAFECOMP.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2001,
Proceedings Eighth Asia-Pacific Software Engineering Conference.
Enrico Tronci,
Giuseppe Della Penna,
Igor Melatti,
2007,
14th Asia-Pacific Software Engineering Conference (APSEC'07).
Enrico Tronci,
Alberto Finzi,
Federico Mari,
2013,
Mob. Inf. Syst..
Enrico Tronci,
Amedeo Cesta,
Alberto Finzi,
2010,
ECAI.
Enrico Tronci,
Corrado Böhm,
1987,
LICS.
Enrico Tronci,
Andrea Bobbio,
Ester Ciancamerla,
2005
.
Enrico Tronci,
Giuseppe Della Penna,
Igor Melatti,
2004
.
Enrico Tronci,
Claudio Balducelli,
Marco Martinelli,
2004,
KES.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2012,
EMSOFT '12.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2012
.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2014
.
Enrico Tronci,
1999,
14th IEEE International Conference on Automated Software Engineering.
Enrico Tronci,
Benedetto Intrigila,
Daniele Magazzeni,
2013,
Eur. J. Control.
Enrico Tronci,
2014
.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2016,
Microprocess. Microsystems.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2001,
CHARME.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2004,
International Journal on Software Tools for Technology Transfer.
Enrico Tronci,
Stefania Gnesi,
Franco Mazzanti,
1998,
FM-Trends.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2003,
ICTCS.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2004,
FMCAD.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2013,
SPIN.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2003,
HSCC.
Enrico Tronci,
Benedetto Intrigila,
Daniele Magazzeni,
2011,
ICINCO.
Enrico Tronci,
J. van Leeuwen,
Jan van Leeuwen,
2003,
Lecture Notes in Computer Science.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2011,
ICSEA 2011.
Enrico Tronci,
Mimmo Parente,
Youssef Driouich,
2017,
2017 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD).
Enrico Tronci,
Federico Mari,
Igor Melatti,
2011,
TSEM.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2003
.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2015,
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Enrico Tronci,
Benedetto Intrigila,
Daniele Magazzeni,
2011,
ICINCO 2011.
Enrico Tronci,
Mimmo Parente,
Youssef Driouich,
2017,
2017 International Renewable and Sustainable Energy Conference (IRSEC).
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2013,
CAV.
Enrico Tronci,
Benedetto Intrigila,
Igor Melatti,
2005
.
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2018,
2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm).
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2006,
FDL.
Toni Mancini,
Enrico Tronci,
Brigitte Leeners,
2020,
OVERLAY.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2019,
RCRA/RiCeRcA@AI*IA.
Enrico Tronci,
Yuri Yushtein,
Federico Mari,
2012
.
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2014,
2014 IEEE International Conference on Smart Grid Communications (SmartGridComm).
Enrico Tronci,
G. D'Alessandro,
Giovanni Dipoppa,
2001,
Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.
Enrico Tronci,
Ester Ciancamerla,
Michele Minichino,
2003
.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2012
.
Enrico Tronci,
Benedetto Intrigila,
Daniele Magazzeni,
2006,
ICINCO-ICSO.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2013
.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2011,
ArXiv.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2003,
CHARME.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2014,
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2002,
FMCAD.
Enrico Tronci,
Federico Mari,
E. Tronci,
2007,
HSCC.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2012,
ICSEA 2012.
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2015,
2015 Euromicro Conference on Digital System Design.
Enrico Tronci,
1996,
Theor. Comput. Sci..
Enrico Tronci,
1996,
Theor. Comput. Sci..
Enrico Tronci,
Andrea Maggiolo-Schettini,
Simone Tini,
2004,
International Journal of Information Security.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2012,
SPIN.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2010,
CAV.
Enrico Tronci,
1995,
J. Funct. Program..
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Enrico Tronci,
Amedeo Cesta,
Alberto Finzi,
2010,
The Knowledge Engineering Review.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2015,
PDP.
Enrico Tronci,
1997,
Proceedings of the 36th IEEE Conference on Decision and Control.
Enrico Tronci,
Javier Esparza,
2018,
Acta Informatica.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2014,
2014 17th Euromicro Conference on Digital System Design.
Enrico Tronci,
Simone Tini,
Roberto Gorrieri,
2004
.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2006,
International Journal on Software Tools for Technology Transfer.
Enrico Tronci,
Benedetto Intrigila,
Giuseppe Della Penna,
2002,
Acta Informatica.
Enrico Tronci,
Corrado Böhm,
E. Tronci,
1991,
Inf. Comput..
Reconciling interoperability with efficient Verification and Validation within open source simulation environments
pdf
Toni Mancini,
Enrico Tronci,
Stefano Sinisi,
2021,
Simul. Model. Pract. Theory.
Toni Mancini,
Enrico Tronci,
Brigitte Leeners,
2020,
Bioinform..
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2021,
J. Log. Algebraic Methods Program..
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification
pdf
Toni Mancini,
Enrico Tronci,
Igor Melatti,
2021,
IEEE Transactions on Software Engineering.
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2021,
IEEE Transactions on Industrial Electronics.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2021,
Inf..
Enrico Tronci,
Gerben Meynen,
E. Tronci,
2020,
Frontiers in Psychology.
Enrico Tronci,
Adolfo Piperno,
E. Tronci,
1990
.
Enrico Tronci,
Yuri Yushtein,
Federico Mari,
2011
.
Enrico Tronci,
1996,
Proceedings of 35th IEEE Conference on Decision and Control.
Enrico Tronci,
Rosario Pugliese,
1996
.
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2017,
2017 IEEE Power & Energy Society General Meeting.