Gianfranco Ciardo

发表

Gianfranco Ciardo, Ekkart Kindler, E. Kindler, 2014, Lecture Notes in Computer Science.
Gianfranco Ciardo, Alma Riska, Evgenia Smirni, 2000, WOSP '00.
Gianfranco Ciardo, Alma Riska, Evgenia Smirni, 2003, PERV.
Gianfranco Ciardo, Qi Zhang, Evgenia Smirni, 2003, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..
Gianfranco Ciardo, Marco Beccuti, Stefano Lonardi, 2013, PLoS Comput. Biol..
Gianfranco Ciardo, Guangzhi Li, 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).
Gianfranco Ciardo, G. Ciardo, 1993, Performance evaluation (Print).
Gianfranco Ciardo, Robert M. Marmorstein, Andrew S. Miner, 2002, Proceedings International Conference on Dependable Systems and Networks.
Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, 2000, INFORMS J. Comput..
Pietro Piazzolla, Gianfranco Ciardo, Andrew S. Miner, 2015, ASMTA.
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu, 2003, TACAS.
Gianfranco Ciardo, G. Ciardo, Gianfranco Ciardo, 1994, Application and Theory of Petri Nets.
Gianfranco Ciardo, Robert Zijal, G. Ciardo, 1996, Proceedings of MASCOTS '96 - 4th International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.
Gianfranco Ciardo, Ming-Ying Chung, Andy Jinqing Yu, 2006, ATVA.
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu, 2001, TACAS.
Kishor S. Trivedi, Gianfranco Ciardo, Joanne Bechta Dugan, 1985, PNPM.
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin, 2011, ATVA.
Kishor S. Trivedi, Gianfranco Ciardo, Allen P. Nikora, 2011 .
Gianfranco Ciardo, G. Ciardo, Gianfranco Ciardo, 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner, 2007, Formal Methods Syst. Des..
Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.
Gianfranco Ciardo, Roberto Segala, R. Segala, 2012, Perform. Evaluation.
Gianfranco Ciardo, Yang Zhao, 2011, Innovations in Systems and Software Engineering.
Gianfranco Ciardo, Radu Siminiceanu, 2006, International Journal on Software Tools for Technology Transfer.
Fabrice Kordon, Gianfranco Ciardo, Jirí Srba, 2019, TACAS.
Boudewijn R. Haverkort, Gianfranco Ciardo, Reinhard German, 2002, IEEE Trans. Software Eng..
Gianfranco Ciardo, Ming-Ying Chung, Ming-Ying Chung, 2011, J. Log. Comput..
Bruno Sericola, Kishor S. Trivedi, Gianfranco Ciardo, 1990, IEEE Trans. Computers.
Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner, 2000, SIGMETRICS '00.
Gianfranco Ciardo, Marco Beccuti, Stefano Lonardi, 2015, WABI.
Gianfranco Ciardo, Andrew S. Miner, G. Ciardo, 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).
Gianfranco Ciardo, Andrew S. Miner, 2005, PERV.
Gianfranco Ciardo, Andrew S. Miner, Maryam Hajighasemi, 2014 .
Gianfranco Ciardo, Gianfranco Ciardo, 2000 .
Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1993, MASCOTS.
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin, 2012, Trans. Petri Nets Other Model. Concurr..
Gianfranco Ciardo, Weizhen Mao, Alma Riska, 2004, Perform. Evaluation.
Gianfranco Ciardo, Evgenia Smirni, G. Ciardo, 1999, Perform. Evaluation.
Gianfranco Ciardo, R. L. Jones, Andrew S. Miner, 2006, Perform. Evaluation.
Kishor S. Trivedi, Gianfranco Ciardo, G. Ciardo, 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
Gianfranco Ciardo, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Gianfranco Ciardo, Yang Zhao, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.
Gianfranco Ciardo, Radu Siminiceanu, Radu I. Siminiceanu, 2002, FMCAD.
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu, 2006, International Journal on Software Tools for Technology Transfer.
Gianfranco Ciardo, Andrew S. Miner, Gianfranco Ciardo, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Gianfranco Ciardo, 2001 .
Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1996 .
Gianfranco Ciardo, Joanne Bechta Dugan, 1989, IEEE Trans. Software Eng..
Gianfranco Ciardo, Alma Riska, Evgenia Smirni, 2004, IEEE Transactions on Reliability.
Gianfranco Ciardo, Radu I. Siminiceanu, Ming-Ying Chung, 2007 .
Gianfranco Ciardo, Reinhard German, Christoph Lindemann, 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu, 2009, International Journal on Software Tools for Technology Transfer.
Gianfranco Ciardo, Ludmila Cherkasova, G. Ciardo, 2000, Proceedings Ninth International Conference on Computer Communications and Networks (Cat.No.00EX440).
Gianfranco Ciardo, Radu Siminiceanu, 2005, Electron. Notes Theor. Comput. Sci..
Gianfranco Ciardo, Alma Riska, Evgenia Smirni, 2001, Perform. Evaluation.
Gianfranco Ciardo, Xiaoqing Jin, Yousra Lembachar, 2014, Trans. Petri Nets Other Model. Concurr..
Gianfranco Ciardo, Ming-Ying Chung, Ming-Ying Chung, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Gianfranco Ciardo, Christoph Lindemann, 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.
Kishor S. Trivedi, Antonio Puliafito, Gianfranco Ciardo, 1995, SIGMETRICS '95/PERFORMANCE '95.
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu, 2007, ICATPN.
Gianfranco Ciardo, Radu Siminiceanu, 2006 .
Gianfranco Ciardo, Reinhard German, Christoph Lindemann, 1994, IEEE Trans. Software Eng..
Gianfranco Ciardo, Andrew S. Miner, G. Ciardo, 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin, 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1991, Perform. Evaluation.
Gianfranco Ciardo, Stefano Lonardi, Hamid Mirebrahim, 2015, Bioinform..
Gianfranco Ciardo, Emmanuel Paviot-Adet, Min Wan, 2009, Petri Nets.
Gianfranco Ciardo, Malcolm Mumme, 2013, Int. J. Found. Comput. Sci..
Gianfranco Ciardo, Chuan Jiang, Andrew S. Miner, 2019, TACAS.
Gianfranco Ciardo, Ludmila Cherkasova, 2001, HPCN Europe.
Kishor S. Trivedi, Gianfranco Ciardo, Gianfranco Ciardo, 1993, Perform. Evaluation.
Gianfranco Ciardo, Gianfranco Balbo, G. Ciardo, 2019, Carl Adam Petri: Ideas, Personality, Impact.
Gianfranco Ciardo, Andrew S. Miner, G. Ciardo, 1997, Computer Performance Evaluation.
Gianfranco Ciardo, Ludmila Cherkasova, Tomas Rokicki, 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.
Wei Sun, Gianfranco Ciardo, Alma Riska, 2002, Proceedings 22nd International Conference on Distributed Computing Systems.
David M. Nicol, Gianfranco Ciardo, Joshua Gluckman, 1995, INFORMS J. Comput..
Kishor S. Trivedi, Gianfranco Ciardo, Sanjaya Kumar, 1989, INFORMS J. Comput..
Gianfranco Ciardo, Ming-Ying Chung, Ming-Ying Chung, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Yugang Niu, Gianfranco Ciardo, Hong Zheng, 2011, Int. J. Syst. Sci..
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu, 2000, ICATPN.
Atri Rudra, Gianfranco Ciardo, Stefano Lonardi, 2013, WABI.
Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1992, J. Parallel Distributed Comput..
David M. Nicol, Kishor S. Trivedi, Gianfranco Ciardo, 1999, IEEE Trans. Software Eng..
Gianfranco Ciardo, Christian R. Shelton, C. Shelton, 2014, J. Artif. Intell. Res..
Gianfranco Ciardo, G. Barbara Demo, Antonio Di Leva, 1985, Computer-Aided Database Design: the DATAID approach.
Gianfranco Ciardo, Benjamin Smith, Benjamin Smith, 2018, 2018 18th International Conference on Application of Concurrency to System Design (ACSD).
William H. Sanders, Giovanni Chiola, Dan C. Marinescu, 1989, PNPM.
Gianfranco Ciardo, Christoph Lindemann, 1994, IEEE Trans. Computers.
Gianfranco Ciardo, Malcolm Mumme, 2011, RP.
Gianfranco Ciardo, Chuan Jiang, 2018, TACAS.
Marek Chrobak, Gianfranco Ciardo, Hind Alhakami, 2014, SPIRE.
David M. Nicol, Gianfranco Ciardo, D. Nicol, 1997, J. Parallel Distributed Comput..
Gianfranco Ciardo, Ludmila Cherkasova, Tomas Rokicki, 1995, SIGMETRICS '95/PERFORMANCE '95.
Gianfranco Ciardo, R. L. Jones, Andrew S. Miner, 2003, Computer Performance Evaluation / TOOLS.
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.
Gianfranco Ciardo, Susanna Donatelli, Elvio Gilberto Amparore, 2019, TACAS.
Gianfranco Ciardo, Günter Hommel, Reinhard German, 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.
David M. Nicol, Kishor S. Trivedi, Gianfranco Ciardo, 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.
Kishor S. Trivedi, Gianfranco Ciardo, Rivalino Matias, 2008, ISAS.
Gianfranco Ciardo, Jonathan Ezekiel, Gerald Lüttgen, 2007, CAV.
Gianfranco Ciardo, Susanna Donatelli, Elvio G. Amparore, 2019, International Journal on Software Tools for Technology Transfer.
Gianfranco Ciardo, Radu Siminiceanu, 2003, CAV.
Gianfranco Ciardo, G. Ciardo, 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.
Gianfranco Ciardo, Ming-Ying Chung, G. Ciardo, 2007 .
Gianfranco Ciardo, G. Ciardo, Gianfranco Ciardo, 2000 .
Gianfranco Ciardo, Rob Jones, 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.
Gianfranco Ciardo, Andrew S. Miner, G. Ciardo, 2000 .
Gianfranco Ciardo, M.-Y. Chung, 2004 .
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu, 2007, TACAS.
Kishor S. Trivedi, Gianfranco Ciardo, Sachin Garg, 1994 .
Kishor S. Trivedi, Gianfranco Ciardo, G. Ciardo, 1993, MASCOTS.
Gianfranco Ciardo, Xiaoqing Jin, Yousra Lembachar, 2013, PNSE+ModPE.
Wei Sun, Gianfranco Ciardo, Qi Zhang, 2005, IEEE Transactions on Parallel and Distributed Systems.
Gianfranco Ciardo, Andrew S. Miner, G. Ciardo, 1999, ICATPN.
Gianfranco Ciardo, Guangzhi Li, G. Ciardo, 1998 .
Gianfranco Ciardo, Günter Hommel, Robert Zijal, 1997, MMB.
Gianfranco Ciardo, Radu Siminiceanu, 2006, TACAS.
Gianfranco Ciardo, Yang Zhao, Yang Zhao, 2013, EPEW.
Yukio Takahashi, Gianfranco Ciardo, Marco Tilgner, 1996 .
Gianfranco Ciardo, Susanna Donatelli, William J. Stewart, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Gianfranco Ciardo, G. Ciardo, 1990 .
Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, 1993, Performance/SIGMETRICS Tutorials.
Gianfranco Ciardo, Radu Siminiceanu, 2004 .
Boudewijn R. Haverkort, Gianfranco Ciardo, Anne Remke, 2016, VALUETOOLS.
Gianfranco Ciardo, Yang Zhao, 2010, NASA Formal Methods.
Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1993 .
Gianfranco Ciardo, Andrew S. Minery, G. Ciardo, 2000 .
Gianfranco Ciardo, Zheng Hong, Sun Nigang, 2012, 2012 Fourth International Conference on Digital Home.
Gianfranco Ciardo, Min Wan, Gianfranco Ciardo, 2009, SOFSEM.
Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.
Gianfranco Ciardo, Alma Riska, Evgenia Smirni, 1999 .
Gianfranco Ciardo, Robert Zijaly, Gianfranco Ciardo, 1996 .
David M. Nicol, Gianfranco Ciardo, Lawrence M. Leemis, 1995 .
Gianfranco Ciardo, Andrew S. Miner, Junaid Babar, 2018 .
Gianfranco Ciardo, Marco Tilgner, 1997 .