BibTeX records: Giacomo Bucci

download as .bib file

@article{DBLP:journals/ijccbs/BicchieraiBV15,
  author       = {Irene Bicchierai and
                  Giacomo Bucci and
                  Enrico Vicario},
  title        = {Supporting {SW-FMEA} through an ontology-based methodology},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {6},
  number       = {1},
  pages        = {1--28},
  year         = {2015},
  url          = {https://doi.org/10.1504/IJCCBS.2015.068840},
  doi          = {10.1504/IJCCBS.2015.068840},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/BicchieraiBV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BicchieraiBCV13,
  author       = {Irene Bicchierai and
                  Giacomo Bucci and
                  Laura Carnevali and
                  Enrico Vicario},
  title        = {Combining {UML-MARTE} and Preemptive Time Petri Nets: An Industrial
                  Case Study},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {9},
  number       = {4},
  pages        = {1806--1818},
  year         = {2013},
  url          = {https://doi.org/10.1109/TII.2012.2205399},
  doi          = {10.1109/TII.2012.2205399},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/BicchieraiBCV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BicchieraiBNV13,
  author       = {Irene Bicchierai and
                  Giacomo Bucci and
                  Carlo Nocentini and
                  Enrico Vicario},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Using Ontologies in the Integration of Structural, Functional, and
                  Process Perspectives in the Development of Safety Critical Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {95--108},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_7},
  doi          = {10.1007/978-3-642-38601-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BicchieraiBNV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BicchieraiBNV12,
  author       = {Irene Bicchierai and
                  Giacomo Bucci and
                  Carlo Nocentini and
                  Enrico Vicario},
  editor       = {Giulio Concas and
                  Gerardo Canfora and
                  Ewan D. Tempero and
                  Hongyu Zhang},
  title        = {Integrating metrics in an ontological framework supporting {SW-FMEA}},
  booktitle    = {Proceedings of the 3rd International Workshop on Emerging Trends in
                  Software Metrics, WETSoM 2012, Zurich, Switzerland, June 3, 2012},
  pages        = {35--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/WETSoM.2012.6226991},
  doi          = {10.1109/WETSOM.2012.6226991},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BicchieraiBNV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BicchieraiBNV12,
  author       = {Irene Bicchierai and
                  Giacomo Bucci and
                  Carlo Nocentini and
                  Enrico Vicario},
  editor       = {Frank Ortmeier and
                  Peter Daniel},
  title        = {An Ontological Approach to Systematization of {SW-FMEA}},
  booktitle    = {Computer Safety, Reliability, and Security - 31st International Conference,
                  {SAFECOMP} 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7612},
  pages        = {173--184},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33678-2\_15},
  doi          = {10.1007/978-3-642-33678-2\_15},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BicchieraiBNV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BucciSV11,
  author       = {Giacomo Bucci and
                  Valeriano Sandrucci and
                  Enrico Vicario},
  title        = {Ontologies and Bayesian Networks in Medical Diagnosis},
  booktitle    = {44th Hawaii International International Conference on Systems Science
                  {(HICSS-44} 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI,
                  {USA}},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/HICSS.2011.333},
  doi          = {10.1109/HICSS.2011.333},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/BucciSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BucciCRV10,
  author       = {Giacomo Bucci and
                  Laura Carnevali and
                  Lorenzo Ridi and
                  Enrico Vicario},
  title        = {Oris: a tool for modeling, verification and evaluation of real-time
                  systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {12},
  number       = {5},
  pages        = {391--403},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10009-010-0156-8},
  doi          = {10.1007/S10009-010-0156-8},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BucciCRV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BucciSV10,
  author       = {Giacomo Bucci and
                  Valeriano Sandrucci and
                  Enrico Vicario},
  title        = {Ontology-Driven Enterprise Application Integration},
  booktitle    = {Proceedings of the 22nd International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2010), Redwood City, San Francisco
                  Bay, CA, USA, July 1 - July 3, 2010},
  pages        = {54--60},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2010},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/BucciSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BucciSV08,
  author       = {Giacomo Bucci and
                  Valeriano Sandrucci and
                  Enrico Vicario},
  editor       = {Jos{\'{e}} Cordeiro and
                  Boris Shishkov and
                  Alpesh Ranchordas and
                  Markus Helfert},
  title        = {An Incremental Approach to Software Reengineering Based on Object-Data
                  Mapping},
  booktitle    = {{ICSOFT} 2008 - Proceedings of the Third International Conference
                  on Software and Data Technologies, Volume SE/MUSE/GSDCA, Porto, Portugal,
                  July 5-8, 2008},
  pages        = {165--173},
  publisher    = {{INSTICC} Press},
  year         = {2008},
  timestamp    = {Wed, 04 Mar 2009 15:42:39 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/BucciSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BucciCV08,
  author       = {Giacomo Bucci and
                  Laura Carnevali and
                  Enrico Vicario},
  title        = {A Tool Supporting Evaluation of Non-markovian Fault Trees},
  booktitle    = {Fifth International Conference on the Quantitative Evaluaiton of Systems
                  {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
  pages        = {115--116},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/QEST.2008.46},
  doi          = {10.1109/QEST.2008.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BucciCV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BucciSVM07,
  author       = {Giacomo Bucci and
                  Valeriano Sandrucci and
                  Enrico Vicario and
                  Saverio Mecca},
  editor       = {Joaquim Filipe and
                  Boris Shishkov and
                  Markus Helfert},
  title        = {An Ontological {SW} Architecture for the Development of Cooperative
                  Web Portals},
  booktitle    = {{ICSOFT} 2007, Proceedings of the Second International Conference
                  on Software and Data Technologies, Volume SE, Barcelona, Spain, July
                  22-25, 2007},
  pages        = {48--55},
  publisher    = {{INSTICC} Press},
  year         = {2007},
  timestamp    = {Tue, 24 Feb 2009 15:20:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/BucciSVM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BaldiniBGV07,
  author       = {Fabrizio Baldini and
                  Giacomo Bucci and
                  Leonardo Grassi and
                  Enrico Vicario},
  editor       = {Joaquim Filipe and
                  Boris Shishkov and
                  Markus Helfert},
  title        = {Test Coverage Analysis for Object Oriented Programs - Structural Testing
                  Through Aspect Oriented Instrumentation},
  booktitle    = {{ICSOFT} 2007, Proceedings of the Second International Conference
                  on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona,
                  Spain, July 22-25, 2007},
  pages        = {55--60},
  publisher    = {{INSTICC} Press},
  year         = {2007},
  timestamp    = {Tue, 24 Feb 2009 15:16:22 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/BaldiniBGV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BucciSV07,
  author       = {Giacomo Bucci and
                  Valeriano Sandrucci and
                  Enrico Vicario},
  editor       = {Joaquim Filipe and
                  Boris Shishkov and
                  Markus Helfert and
                  Leszek A. Maciaszek},
  title        = {An Ontological {SW} Architecture Supporting Agile Development of Semantic
                  Portals},
  booktitle    = {Software and Data Technologies - Second International Conference,
                  {ICSOFT/ENASE} 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {22},
  pages        = {185--200},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-88655-6\_14},
  doi          = {10.1007/978-3-540-88655-6\_14},
  timestamp    = {Tue, 16 Aug 2022 23:04:29 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/BucciSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BucciSV05,
  author       = {Giacomo Bucci and
                  Luigi Sassoli and
                  Enrico Vicario},
  title        = {Correctness Verification and Performance Analysis of Real-Time Systems
                  Using Stochastic Preemptive Time Petri Nets},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {31},
  number       = {11},
  pages        = {913--927},
  year         = {2005},
  url          = {https://doi.org/10.1109/TSE.2005.122},
  doi          = {10.1109/TSE.2005.122},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BucciSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/firb-perf/BaldiniBV05,
  author       = {Fabrizio Baldini and
                  Giacomo Bucci and
                  Enrico Vicario},
  title        = {A Tool Set for Modeling and Simulation of Robotic Workcells},
  booktitle    = {FIRB-Perf Workshop on Techniques, Methodologies and Tools for Performance
                  Evaluation of Complex Systems (FIRB-Perf 2005), 19 September 2005,
                  Torino, Italy},
  pages        = {106--114},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/FIRB-PERF.2005.5},
  doi          = {10.1109/FIRB-PERF.2005.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/firb-perf/BaldiniBV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BucciPSV05,
  author       = {Giacomo Bucci and
                  R. Piovosi and
                  Luigi Sassoli and
                  Enrico Vicario},
  title        = {Introducing Probability within State Class Analysis of Dense-Time-Dependent
                  Systems},
  booktitle    = {Second International Conference on the Quantitative Evaluaiton of
                  Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
  pages        = {13--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/QEST.2005.17},
  doi          = {10.1109/QEST.2005.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BucciPSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BucciFSV04,
  author       = {Giacomo Bucci and
                  Andrea Fedeli and
                  Luigi Sassoli and
                  Enrico Vicario},
  title        = {Timed State Space Analysis of Real-Time Preemptive Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {30},
  number       = {2},
  pages        = {97--111},
  year         = {2004},
  url          = {https://doi.org/10.1109/TSE.2004.1265815},
  doi          = {10.1109/TSE.2004.1265815},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BucciFSV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BucciSV04,
  author       = {Giacomo Bucci and
                  Luigi Sassoli and
                  Enrico Vicario},
  title        = {{ORIS:} {A} Tool for State-Space Analysis of Real-Time Preemptive
                  Systems},
  booktitle    = {1st International Conference on Quantitative Evaluation of Systems
                  {(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
  pages        = {70--79},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/QEST.2004.1348021},
  doi          = {10.1109/QEST.2004.1348021},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BucciSV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BucciFSV03,
  author       = {Giacomo Bucci and
                  Andrea Fedeli and
                  Luigi Sassoli and
                  Enrico Vicario},
  title        = {Modeling Flexible Real Time Systems with Preemptive Time Petri Nets},
  booktitle    = {15th Euromicro Conference on Real-Time Systems {(ECRTS} 2003), 2-4
                  July 2003, Porto, Portugal, Proceedings},
  pages        = {279--286},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/EMRTS.2003.1212753},
  doi          = {10.1109/EMRTS.2003.1212753},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BucciFSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/BucciFV03,
  author       = {Giacomo Bucci and
                  Andrea Fedeli and
                  Enrico Vicario},
  title        = {Predicting Timeliness of Reactive Systems under Flexible Scheduling},
  booktitle    = {6th International Symposium on Autonomous Decentralized Systems {(ISADS}
                  2003), 9-11 April 2003, Pisa, Italy},
  pages        = {125--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ISADS.2003.1193940},
  doi          = {10.1109/ISADS.2003.1193940},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/BucciFV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BucciSV03,
  author       = {Giacomo Bucci and
                  Luigi Sassoli and
                  Enrico Vicario},
  title        = {A discrete time model for performance evaluation and correctness verification
                  of real time systems},
  booktitle    = {Proceedings of the 10th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
  pages        = {134--143},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/PNPM.2003.1231550},
  doi          = {10.1109/PNPM.2003.1231550},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BucciSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BucciFV03,
  author       = {Giacomo Bucci and
                  Andrea Fedeli and
                  Enrico Vicario},
  editor       = {Rick Reed and
                  Jeanne Reed},
  title        = {Specification and Simulation of Real Time Concurrent Systems Using
                  Standard {SDL} Tools},
  booktitle    = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart,
                  Germany, July 1-4, 2003. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2708},
  pages        = {203--217},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-45075-0\_12},
  doi          = {10.1007/3-540-45075-0\_12},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/BucciFV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BucciFNP98,
  author       = {Giacomo Bucci and
                  Fabrizio Fioravanti and
                  Paolo Nesi and
                  Sandro Perlini},
  title        = {Metrics and Tool for System Assessment},
  booktitle    = {4th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} '98), 10-14 August 1998, Monterey, CA, {USA}},
  pages        = {36--46},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICECCS.1998.706654},
  doi          = {10.1109/ICECCS.1998.706654},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BucciFNP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BucciCN95,
  author       = {Giacomo Bucci and
                  Maurizio Campanai and
                  Paolo Nesi},
  title        = {Tools for Specifying Real-Time Systems},
  journal      = {Real Time Syst.},
  volume       = {8},
  number       = {2-3},
  pages        = {117--172},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01094341},
  doi          = {10.1007/BF01094341},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BucciCN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BucciV95,
  author       = {Giacomo Bucci and
                  Enrico Vicario},
  title        = {Compositional Validation of Time-Critical Systems Using Communicating
                  Time Petri Nets},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {21},
  number       = {12},
  pages        = {969--992},
  year         = {1995},
  url          = {https://doi.org/10.1109/32.489073},
  doi          = {10.1109/32.489073},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BucciV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BucciN95,
  author       = {Giacomo Bucci and
                  Paolo Nesi},
  title        = {Using {TOOMS/TROL} for specifying a cellular phone},
  booktitle    = {7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense,
                  Denmark, March 14-16, 1995},
  pages        = {49--56},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/EMWRTS.1995.514291},
  doi          = {10.1109/EMWRTS.1995.514291},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BucciN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/BucciMV95,
  author       = {Giacomo Bucci and
                  Riccardo Mattolini and
                  Enrico Vicario},
  title        = {Automatic transition from rapid prototyping to target code for distributed
                  systems},
  booktitle    = {Second International Symposium on Autonomous Decentralized Systems,
                  {ISADS} 1995, Phoenix, Arizona, USA, April 25-27, 1995},
  pages        = {104--111},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISADS.1995.398962},
  doi          = {10.1109/ISADS.1995.398962},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/BucciMV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sq/Bucci95,
  author       = {Giacomo Bucci},
  editor       = {Paolo Nesi},
  title        = {The Impact of Software Quality},
  booktitle    = {Objective Software Quality: Second Symposium on Software Quality Techniques
                  and Acquisition Criteria, Florence, Italy, May 29-31, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {926},
  pages        = {10--15},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59449-3\_20},
  doi          = {10.1007/3-540-59449-3\_20},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sq/Bucci95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeemm/BucciDPN94,
  author       = {Giacomo Bucci and
                  Riccardo Detti and
                  Valdo Pasqui and
                  Stefano Nativi},
  title        = {Sharing Multimedia Data Over s Client-Server Network},
  journal      = {{IEEE} Multim.},
  volume       = {1},
  number       = {3},
  pages        = {44--55},
  year         = {1994},
  url          = {https://doi.org/10.1109/MMUL.1994.318986},
  doi          = {10.1109/MMUL.1994.318986},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeemm/BucciDPN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/BucciBS94,
  author       = {Giacomo Bucci and
                  Alberto Del Bimbo and
                  Simone Santini},
  title        = {Performance Analysis of Two Different Algorithms for Ethernet-FDDI
                  Interconnection},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {5},
  number       = {6},
  pages        = {614--629},
  year         = {1994},
  url          = {https://doi.org/10.1109/71.285607},
  doi          = {10.1109/71.285607},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/BucciBS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/BorriBN94,
  author       = {A. Borri and
                  Giacomo Bucci and
                  Paolo Nesi},
  editor       = {Jan{-}Olof Eklundh},
  title        = {A Robust Tracking of 3D Motion},
  booktitle    = {Computer Vision - ECCV'94, Third European Conference on Computer Vision,
                  Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {800},
  pages        = {181--188},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57956-7\_21},
  doi          = {10.1007/3-540-57956-7\_21},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/eccv/BorriBN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BucciMV94,
  author       = {Giacomo Bucci and
                  Riccardo Mattolini and
                  Enrico Vicario},
  title        = {Supporting Process Migration Through Communicating Petri Nets},
  booktitle    = {Proceedings of the Second Euromicro Workshop on Parallel and Distributed
                  Processing, {PDP} 1994, January 26-28, 1994, Malaga, Spain},
  pages        = {486--492},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/EMPDP.1994.592531},
  doi          = {10.1109/EMPDP.1994.592531},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/pdp/BucciMV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BucciCNT94,
  author       = {Giacomo Bucci and
                  Maurizio Campanai and
                  Paolo Nesi and
                  Marcello Traversi},
  title        = {An object-oriented dual language for specifying reactive systems},
  booktitle    = {Proceedings of the First {IEEE} International Conference on Requirements
                  Engineering, {ICRE} '94, Colorado Springs, Colorado, USA, April 18-21,
                  1994},
  pages        = {6--15},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICRE.1994.292409},
  doi          = {10.1109/ICRE.1994.292409},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/BucciCNT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/BucciMV93,
  author       = {Giacomo Bucci and
                  Riccardo Mattolini and
                  Enrico Vicario},
  title        = {A framework for the development of object-oriented distributed systems},
  booktitle    = {International Symposium on Autonomous Decentralized Systems, {ISADS}
                  1993, Kawasaki, Japan, March 30 - April 1, 1993},
  pages        = {44--51},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISADS.1993.262723},
  doi          = {10.1109/ISADS.1993.262723},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/BucciMV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BucciMV93,
  author       = {Giacomo Bucci and
                  Riccardo Mattolini and
                  Enrico Vicario},
  title        = {Using communicating Petri nets to implement parallel computation in
                  single-tasking operating systems},
  booktitle    = {1993 Euromicro Workshop on Parallel and Distributed Processing, {PDP}
                  1993, Gran Canaria, Spain, 27-29 January 1993},
  pages        = {481--489},
  publisher    = {{IEEE}},
  year         = {1993},
  url          = {https://doi.org/10.1109/EMPDP.1993.336373},
  doi          = {10.1109/EMPDP.1993.336373},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/pdp/BucciMV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BucciDNP92,
  author       = {Giacomo Bucci and
                  Riccardo Detti and
                  Stefano Nativi and
                  Valdo Pasqui},
  title        = {Loosely coupled workstations in a radiological image information system},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {8},
  number       = {1-3},
  pages        = {31--42},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-739X(92)90027-9},
  doi          = {10.1016/0167-739X(92)90027-9},
  timestamp    = {Mon, 01 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/BucciDNP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BucciV92,
  author       = {Giacomo Bucci and
                  Enrico Vicario},
  title        = {Rapid prototyping through communicating Petri nets},
  booktitle    = {Proceedings of the Third International Workshop on Rapid System Prototyping,
                  {RSP} 1992, Research Triangle Park, North Carolina, USA, June 23-15,
                  1992},
  pages        = {58--75},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/IWRSP.1992.243916},
  doi          = {10.1109/IWRSP.1992.243916},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/BucciV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BucciCB90,
  author       = {Giacomo Bucci and
                  Roberto Cecchini and
                  Alberto Del Bimbo},
  title        = {{CSL:} {A} class specification language for object-oriented design},
  journal      = {Microprocessing and Microprogramming},
  volume       = {28},
  number       = {1-5},
  pages        = {201--204},
  year         = {1990},
  url          = {https://doi.org/10.1016/0165-6074(90)90174-8},
  doi          = {10.1016/0165-6074(90)90174-8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/BucciCB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vcip/BelliniB90,
  author       = {Alessandro Bellini and
                  Giacomo Bucci},
  editor       = {Murat Kunt},
  title        = {Open system architecture for distributed image-reference database
                  in radiological applications},
  booktitle    = {Visual Communications and Image Processing '90: Fifth in a Series,
                  Visual Communications and Image Processing '90, Lausanne, Switzerland,
                  2-4 October 1990},
  series       = {{SPIE} Proceedings},
  volume       = {1360},
  publisher    = {{SPIE}},
  year         = {1990},
  url          = {https://doi.org/10.1117/12.24261},
  doi          = {10.1117/12.24261},
  timestamp    = {Fri, 11 Mar 2022 16:11:20 +0100},
  biburl       = {https://dblp.org/rec/conf/vcip/BelliniB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BucciM82,
  author       = {Giacomo Bucci and
                  Dario Maio},
  title        = {Merging Performance and Cost-Benefit Analysis in Computer System Evaluation},
  journal      = {Computer},
  volume       = {15},
  number       = {9},
  pages        = {23--31},
  year         = {1982},
  url          = {https://doi.org/10.1109/MC.1982.1654134},
  doi          = {10.1109/MC.1982.1654134},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/BucciM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BucciNB81,
  author       = {Giacomo Bucci and
                  Giovanni Neri and
                  Fiorenzo Baldassarri},
  title        = {{MP} 80: {A} Microprogrammed {CPU} with a Microcoded Operating System
                  Kernel},
  journal      = {Computer},
  volume       = {14},
  number       = {10},
  pages        = {81--90},
  year         = {1981},
  url          = {https://doi.org/10.1109/C-M.1981.220213},
  doi          = {10.1109/C-M.1981.220213},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/BucciNB81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BucciS79,
  author       = {Giacomo Bucci and
                  Donald N. Streeter},
  title        = {A Methodology for the Design of Distributed Information Systems},
  journal      = {Commun. {ACM}},
  volume       = {22},
  number       = {4},
  pages        = {233--245},
  year         = {1979},
  url          = {https://doi.org/10.1145/359094.359099},
  doi          = {10.1145/359094.359099},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BucciS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsym/BucciG77,
  author       = {Giacomo Bucci and
                  S. Golinelli},
  editor       = {E. Morlet and
                  D. Ribbens},
  title        = {A Distributed Strategy for Resource Allocation in Information Networks},
  booktitle    = {International Computing Symposium 1977, Proceedings of the International
                  Computing Symposium 1977, Li{\`{e}}ge, Belgium, 4-7 April 1977 (Preprint)},
  pages        = {345--356},
  publisher    = {North-Holland},
  year         = {1977},
  timestamp    = {Tue, 01 Apr 2003 10:45:57 +0200},
  biburl       = {https://dblp.org/rec/conf/icsym/BucciG77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/performance/BucciS77,
  author       = {Giacomo Bucci and
                  Donald N. Streeter},
  editor       = {Heinz Beilner and
                  Erol Gelenbe},
  title        = {A User-Oriented Approach to the Design of Distributed Information
                  Systems},
  booktitle    = {Measuring, Modelling and Evaluating Computer Systems, Proceedings
                  of the Third International Symposium, Bonn - Bad Godesberg, Germany,
                  October 3-5, 1977},
  pages        = {29--52},
  publisher    = {North-Holland},
  year         = {1977},
  timestamp    = {Fri, 24 May 2002 07:42:32 +0200},
  biburl       = {https://dblp.org/rec/conf/performance/BucciS77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/GuaccimanniB76,
  author       = {L. Ambrosini Guaccimanni and
                  Giacomo Bucci},
  editor       = {Dieter Haupt and
                  Heinz Petersen},
  title        = {The Influence of Computer Hardware and Communication Lines on the
                  Cost of Distributed Compuer Systems},
  booktitle    = {Rechnernetze und Datenfernverarbeitung, Fachtagung der {GI} und NTG,
                  Aachen, 31.3.-2.4.1976},
  series       = {Informatik-Fachberichte},
  volume       = {3},
  pages        = {61--73},
  publisher    = {Springer},
  year         = {1976},
  url          = {https://doi.org/10.1007/978-3-642-66344-4\_5},
  doi          = {10.1007/978-3-642-66344-4\_5},
  timestamp    = {Tue, 23 May 2017 01:06:28 +0200},
  biburl       = {https://dblp.org/rec/conf/kivs/GuaccimanniB76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics