Vincenzo Bonifaci
Vincenzo Bonifaci Vincenzo Bonifaci
Researcher

Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti"
Via dei Taurini, 19
00185 Roma - Italy

Office n. 503
Tel.: +39 064993 7120
Fax: +39 064993 7137
Personal web page: http://www.iasi.cnr.it/~vbonifaci/
email

Research groups

Selected publications
  • Baruah S., Vincenzo Bonifaci, Marchetti-Spaccamela A., Verdugo V.: A scheduling model inspired by control theory, ACM International Conference Proceeding Series, Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017
  • Vincenzo Bonifaci: A revised model of fluid transport optimization in Physarum polycephalum, Journal of Mathematical Biology 74, 567-581, 2017
  • Vincenzo Bonifaci: On the Convergence Time of a Natural Dynamics for Linear Programming, Leibniz International Proceedings in Informatics, 28th International Symposium on Algorithms and Computation, 2017
  • Vincenzo Bonifaci, D'Angelo G., Marchetti Spaccamela A.: Algorithms for Hierarchical and Semi-Partitioned Parallel Scheduling, in the Proceedings of the 31st IEEE International Parallel and Distributed Processing Symposium, IEEE Computer Society Press, 2017
  • Melani A., Bertogna M., Vincenzo Bonifaci, Marchetti Spaccamela A., Buttazzo G.C.: Schedulability Analysis of Conditional Parallel Task Graphs in Multicore Systems, IEEE Transactions on Computers 66, 339-353, 2017
  • Melani A., Bertogna M., Davis R.I., Vincenzo Bonifaci, Marchetti Spaccamela A., Buttazzo G.C.: Exact Response Time Analysis for Fixed Priority Memory-Processor Co-Scheduling, IEEE Transactions on Computers 66, 631-646, 2017
  • Baruah S., Vincenzo Bonifaci, Bruni R., Marchetti Spaccamela A.: ILP-based approaches to partitioning recurrent workloads upon heterogeneous multiprocessors, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2016
  • Vincenzo Bonifaci, Brandenburg B., D'Angelo G., Marchetti Spaccamela A.: Multiprocessor real-time scheduling with hierarchical processor affinities, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2016
  • Davis R., Bertogna M., Vincenzo Bonifaci: On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley's optimal priority assignment algorithm, Real-Time Systems 52, 113-122, 2016
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Li H., Marchetti Spaccamela A., van der Ster S., Stougie L.: Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems, Journal of the Acm 62, 14-14, 2015
  • Baruah S., Vincenzo Bonifaci, Marchetti Spaccamela A.: The global EDF scheduling of systems of conditional sporadic DAG tasks, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2015
  • Melani A., Bertogna M., Vincenzo Bonifaci, Marchetti Spaccamela A., Buttazzo G.C.: Memory-Processor Co-Scheduling in Fixed Priority Systems, in the Proceedings of the 23rd International Conference on Real Time and Networks Systems, ACM International Conference Proceedings Series, 2015
  • Melani A., Bertogna M., Vincenzo Bonifaci, Marchetti Spaccamela A., Buttazzo G.C.: Response-Time Analysis of Conditional DAG Tasks in Multiprocessor Systems, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2015
  • Becchetti L., Vincenzo Bonifaci, Dirnberger M., Karrenbauer A., Mehlhorn K.: Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds, in the Proceedings of the 40th Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, 2013
  • Vincenzo Bonifaci: Physarum Can Compute Shortest Paths: A Short Proof, Information Processing Letters 113, 4-7, 2013
  • Vincenzo Bonifaci, Demetrescu C., Marchetti Spaccamela A. eds.: Experimental Algorithms - 12th International Symposium, SEA 2013, Lecture Notes in Computer Science, Springer Berlin, 2013
  • Vincenzo Bonifaci, Leonardi S.: Algorithms for Auctions and Games, in: The Power of Algorithms, Petreschi R., Ausiello G. eds., Springer Berlin, 207-234, 2013
  • Vincenzo Bonifaci, Marchetti Spaccamela A., Stiller S., Wiese A.: Feasibility Analysis in the Sporadic DAG Task Model, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2013
  • Wiese A., Vincenzo Bonifaci, Baruah S.: Partitioned EDF Scheduling on a Few Types of Unrelated Multiprocessors, Real-Time Systems 49, 219-238, 2013
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Li H., Marchetti Spaccamela A., Megow N., Stougie L.: Scheduling Real-Time Mixed-Criticality Jobs, IEEE Transactions on Computers 61, 1140-1152, 2012
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Li H., Marchetti Spaccamela A., van der Ster S., Stougie L.: The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2012
  • Baruah S., Vincenzo Bonifaci, Marchetti Spaccamela A., Stougie L., Wiese A.: A Generalized Parallel Task Model for Recurrent Real-Time Processes, in the Proceedings of Real-Time Systems Symposium, IEEE Computer Society Press, 2012
  • Vincenzo Bonifaci, Chan H.-L., Marchetti Spaccamela A., Megow N.: Algorithms and Complexity for Periodic Real-Time Scheduling, ACM Transactions on Algorithms 9, 2012
  • Vincenzo Bonifaci, Marchetti Spaccamela A.: Feasibility Analysis of Sporadic Real-Time Multiprocessor Task Systems, Algorithmica 63, 763-780, 2012
  • Vincenzo Bonifaci, Marchetti Spaccamela A., Stiller S.: A Constant-Approximate Feasibility Test for Multiprocessor Real-Time Scheduling, Algorithmica 3-4, 1034-1049, 2012
  • Vincenzo Bonifaci, Mehlhorn K., Varma G.: Physarum Can Compute Shortest Paths, in the Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM Proceedings in Applied Mathematics, 2012
  • Vincenzo Bonifaci, Mehlhorn K., Varma G.: Physarum Can Compute Shortest Paths, Journal of Theoretical Biology 309, 121-133, 2012
  • Ausiello G., Vincenzo Bonifaci, Escoffier B.: Complexity and Approximation in Reoptimization, Sorbi A., Cooper S.B. eds., Computability in Context, Imperial College Press, 101-130, 2011
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Marchetti Spaccamela A., van der Ster S., Stougie L.: Mixed-Criticality Scheduling of Sporadic Task Systems, Lecture Notes in Computer Science, 2011
  • Berger A., Vincenzo Bonifaci, Grandoni F., Schaefer G.: Budgeted Matching and Budgeted Matroid Intersection via the Gasoline Puzzle, Mathematical Programming 128, 355-372, 2011
  • Vincenzo Bonifaci, Korteweg P., Marchetti Spaccamela A., Stougie L.: Minimizing Flow Time in the Wireless Gathering Problem, ACM Transactions on Algorithms 7, 33:1-33:20, 2011
  • Vincenzo Bonifaci, Korteweg P., Marchetti Spaccamela A., Stougie L.: The Distributed Wireless Gathering Problem, Theoretical Computer Science 412, 633-641, 2011
  • Vincenzo Bonifaci, Salek M., Schaefer G.: On the Efficiency of Restricted Tolls in Network Routing Games, Lecture Notes in Computer Science, 2011
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Li H., Marchetti Spaccamela A., Megow N., Stougie L.: Scheduling Real-Time Mixed-Criticality Jobs, in the Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 2010
  • Baruah S., Vincenzo Bonifaci, Marchetti Spaccamela A., Stiller S.: Improved Multiprocessor Global Schedulability Analysis, Real-Time Systems 46, 3-24, 2010
  • Vincenzo Bonifaci, Chan H.-L., Marchetti Spaccamela A., Megow N.: Algorithms and Complexity for Periodic Real-Time Scheduling, in the Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM Proceedings in Applied Mathematics, 2010
  • Vincenzo Bonifaci, Harks T., Schaefer G.: Stackelberg Routing in Arbitrary Networks, Mathematics of Operations Research 35, 1-17, 2010
  • Vincenzo Bonifaci, Marchetti Spaccamela A.: Feasibility Analysis of Sporadic Real-Time Multiprocessor Task Systems, in the Proceedings of the 18th Annual European Symposium on Algorithms, Lecture Notes in Computer Science, 2010
  • Baruah S., Vincenzo Bonifaci, Marchetti Spaccamela A., Stiller S.: Implementation of a speedup-optimal global EDF schedulability test, in the Proceedings of the 24th Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2009
  • Vincenzo Bonifaci, Klasing R., Korteweg P., Stougie L., Marchetti Spaccamela A.: Data gathering in wireless networks, Koster A., Munoz X. eds., Graphs and Algorithms in Communication Networks, Springer, 357-377, 2009
  • Vincenzo Bonifaci, Stougie L.: Online k-Server Routing Problems, Theory of Computing Systems 45, 470-485, 2009
  • Allulli L., Ausiello G., Vincenzo Bonifaci, Laura L.: On the Power of Lookahead in Online Server Routing Problems, Theoretical Computer Science 408, 116-128, 2008
  • Ausiello G., Vincenzo Bonifaci, Laura L.: The Online Asymmetric Traveling Salesman Problem, Journal of Discrete Algorithms 6, 290-298, 2008
  • Ausiello G., Vincenzo Bonifaci, Laura L.: The Online Prize-Collecting Traveling Salesman Problem, Information Processing Letters 107, 199-204, 2008
  • Vincenzo Bonifaci, Di Iorio U., Laura L.: The Complexity of Uniform Nash Equilibria and Related Regular Subgraph Problems, Theoretical Computer Science 401, 144-152, 2008
  • Vincenzo Bonifaci, Korteweg P., Marchetti Spaccamela A., Stougie L.: An Approximation Algorithm for the Wireless Gathering Problem, Operations Research Letters 36, 605-608, 2008
  • Vincenzo Bonifaci, Marchetti Spaccamela A., Stiller S.: A Constant-Approximate Feasibility Test for Multiprocessor Real-Time Scheduling, in the Proceedings of the 16th Annual European Symposium on Algorithms, Lecture Notes in Computer Science, 2008
  • Ausiello G., Vincenzo Bonifaci, Leonardi S., Marchetti Spaccamela A.: Prize-collecting traveling salesman and related problems, Gonzalez T. ed., Handbook of Approximation Algorithms and Metaheuristics, CRC Press, 40.1-40.13, 2007
  • Vincenzo Bonifaci: An Adversarial Queueing Model for Online Server Routing, Theoretical Computer Science 381, 280-287, 2007
  • Vincenzo Bonifaci, Demetrescu C., Finocchi I., Laura L.: A Java-Based System for Building Animated Presentations over the Web, Science of Computer Programming 53, 37-49, 2004
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -