BibTeX records: Giuseppe Lipari

download as .bib file

@article{DBLP:journals/access/PaternaLTCMLSB24,
  author       = {Giuseppe Paterna and
                  Giuseppe Lipari and
                  Eleonora Traina and
                  G. Comparato and
                  Antonino Muratore and
                  Patrizia Livreri and
                  S. Stivala and
                  Alessandro Busacca},
  title        = {Design of a Low Voltage and High Power Traveling Wave Tube Based on
                  a Sheet-Beam Rectangular Ring-Bar Slow-Wave Structure},
  journal      = {{IEEE} Access},
  volume       = {12},
  pages        = {9062--9069},
  year         = {2024},
  url          = {https://doi.org/10.1109/ACCESS.2024.3353049},
  doi          = {10.1109/ACCESS.2024.3353049},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/PaternaLTCMLSB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AltmeyerADFHGGH23,
  author       = {Sebastian Altmeyer and
                  {\'{E}}tienne Andr{\'{e}} and
                  Silvano Dal{-}Zilio and
                  Lo{\"{\i}}c Fejoz and
                  Michael Gonz{\'{a}}lez Harbour and
                  Susanne Graf and
                  J. Javier Guti{\'{e}}rrez and
                  Rafik Henia and
                  Didier Le Botlan and
                  Giuseppe Lipari and
                  Julio L. Medina and
                  Nicolas Navet and
                  Sophie Quinton and
                  Juan Maria Rivas and
                  Youcheng Sun},
  title        = {From {FMTV} to {WATERS:} Lessons Learned from the First Verification
                  Challenge at {ECRTS} (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {9},
  number       = {1},
  pages        = {04:1--04:6},
  year         = {2023},
  url          = {https://doi.org/10.4230/DARTS.9.1.4},
  doi          = {10.4230/DARTS.9.1.4},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/AltmeyerADFHGGH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AltmeyerADFHGGH23,
  author       = {Sebastian Altmeyer and
                  {\'{E}}tienne Andr{\'{e}} and
                  Silvano Dal{-}Zilio and
                  Lo{\"{\i}}c Fejoz and
                  Michael Gonz{\'{a}}lez Harbour and
                  Susanne Graf and
                  J. Javier Guti{\'{e}}rrez and
                  Rafik Henia and
                  Didier Le Botlan and
                  Giuseppe Lipari and
                  Julio L. Medina and
                  Nicolas Navet and
                  Sophie Quinton and
                  Juan Maria Rivas and
                  Youcheng Sun},
  editor       = {Alessandro V. Papadopoulos},
  title        = {From {FMTV} to {WATERS:} Lessons Learned from the First Verification
                  Challenge at {ECRTS} (Invited Paper)},
  booktitle    = {35th Euromicro Conference on Real-Time Systems, {ECRTS} 2023, July
                  11-14, 2023, Vienna, Austria},
  series       = {LIPIcs},
  volume       = {262},
  pages        = {19:1--19:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ECRTS.2023.19},
  doi          = {10.4230/LIPICS.ECRTS.2023.19},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/AltmeyerADFHGGH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/GrebantBFL23,
  author       = {Sandro Grebant and
                  Cl{\'{e}}ment Ballabriga and
                  Julien Forget and
                  Giuseppe Lipari},
  title        = {{WCET} analysis with procedure arguments as parameters},
  booktitle    = {Proceedings of the 31st International Conference on Real-Time Networks
                  and Systems, {RTNS} 2023, Dortmund, Germany, June 7-8, 2023},
  pages        = {11--22},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3575757.3593655},
  doi          = {10.1145/3575757.3593655},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/GrebantBFL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/PaganiBMMLB22,
  author       = {Marco Pagani and
                  Alessandro Biondi and
                  Mauro Marinoni and
                  Lorenzo Molinari and
                  Giuseppe Lipari and
                  Giorgio Carlo Buttazzo},
  title        = {A Linux-based support for developing real-time applications on heterogeneous
                  platforms with dynamic {FPGA} reconfiguration},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {129},
  pages        = {125--140},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.future.2021.11.007},
  doi          = {10.1016/J.FUTURE.2021.11.007},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/PaganiBMMLB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhpsa/BenchehidaBZL22,
  author       = {Chawki Benchehida and
                  Mohammed Kamel Benhaoua and
                  Houssam{-}Eddine Zahaf and
                  Giuseppe Lipari},
  title        = {Memory-processor co-scheduling for real-time tasks on network-on-chip
                  manycore architectures},
  journal      = {Int. J. High Perform. Syst. Archit.},
  volume       = {11},
  number       = {1},
  pages        = {1--11},
  year         = {2022},
  url          = {https://doi.org/10.1504/IJHPSA.2022.121877},
  doi          = {10.1504/IJHPSA.2022.121877},
  timestamp    = {Fri, 13 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijhpsa/BenchehidaBZL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BouquillonNL22,
  author       = {Fabien Bouquillon and
                  Sma{\"{\i}}l Niar and
                  Giuseppe Lipari},
  title        = {Reducing the fault vulnerability of hard real-time systems},
  journal      = {J. Syst. Archit.},
  volume       = {133},
  pages        = {102758},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.sysarc.2022.102758},
  doi          = {10.1016/J.SYSARC.2022.102758},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/BouquillonNL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LipariB22,
  author       = {Giuseppe Lipari and
                  Iain Bate},
  title        = {Special issue on real-time scheduling on heterogeneous platforms},
  journal      = {Real Time Syst.},
  volume       = {58},
  number       = {2},
  pages        = {103--104},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11241-022-09384-9},
  doi          = {10.1007/S11241-022-09384-9},
  timestamp    = {Wed, 01 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/LipariB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SenoussaouiZLB22,
  author       = {Ikram Senoussaoui and
                  Houssam{-}Eddine Zahaf and
                  Giuseppe Lipari and
                  Mohammed Kamel Benhaoua},
  title        = {Contention-free scheduling of {PREM} tasks on partitioned multicore
                  platforms},
  booktitle    = {27th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
                  2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ETFA52439.2022.9921531},
  doi          = {10.1109/ETFA52439.2022.9921531},
  timestamp    = {Wed, 02 Nov 2022 18:01:35 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/SenoussaouiZLB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BouquillonLN22,
  author       = {Fabien Bouquillon and
                  Giuseppe Lipari and
                  Sma{\"{\i}}l Niar},
  editor       = {Jiman Hong and
                  Miroslav Bures and
                  Juw Won Park and
                  Tom{\'{a}}s Cern{\'{y}}},
  title        = {Improving {CRPD} analysis for {EDF} scheduling: trading speed for
                  precision},
  booktitle    = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
                  Event, April 25 - 29, 2022},
  pages        = {481--490},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3477314.3507027},
  doi          = {10.1145/3477314.3507027},
  timestamp    = {Wed, 11 May 2022 08:59:01 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/BouquillonLN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZahafCCLB21,
  author       = {Houssam{-}Eddine Zahaf and
                  Nicola Capodieci and
                  Roberto Cavicchioli and
                  Giuseppe Lipari and
                  Marko Bertogna},
  title        = {The {HPC-DAG} Task Model for Heterogeneous Real-Time Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {70},
  number       = {10},
  pages        = {1747--1761},
  year         = {2021},
  url          = {https://doi.org/10.1109/TC.2020.3023169},
  doi          = {10.1109/TC.2020.3023169},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/ZahafCCLB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtns/2021,
  editor       = {Audrey Queudet and
                  Iain Bate and
                  Giuseppe Lipari},
  title        = {RTNS'2021: 29th International Conference on Real-Time Networks and
                  Systems, Nantes, France, April 7-9, 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3453417},
  doi          = {10.1145/3453417},
  isbn         = {978-1-4503-9001-9},
  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijris/HamzaouiBALB20,
  author       = {Khalil Ibrahim Hamzaoui and
                  Mohammed Berrajaa and
                  Mostafa Azizi and
                  Giuseppe Lipari and
                  Pierre Boulet},
  title        = {Measurement-based methodology for modelling the energy consumption
                  of mobile devices},
  journal      = {Int. J. Reason. based Intell. Syst.},
  volume       = {12},
  number       = {1},
  pages        = {4--16},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJRIS.2020.105007},
  doi          = {10.1504/IJRIS.2020.105007},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijris/HamzaouiBALB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BenchehidaBZL20,
  author       = {Chawki Benchehida and
                  Mohammed Kamel Benhaoua and
                  Houssam{-}Eddine Zahaf and
                  Giuseppe Lipari},
  title        = {An analysis and simulation tool of real-time communications in on-chip
                  networks: a comparative study},
  journal      = {{SIGBED} Rev.},
  volume       = {17},
  number       = {1},
  pages        = {5--11},
  year         = {2020},
  url          = {https://doi.org/10.1145/3412821.3412822},
  doi          = {10.1145/3412821.3412822},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/BenchehidaBZL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ZahafLNB20,
  author       = {Houssam{-}Eddine Zahaf and
                  Giuseppe Lipari and
                  Sma{\"{\i}}l Niar and
                  Abou El Hassan Benyamina},
  title        = {Preemption-Aware Allocation, Deadline Assignment for Conditional DAGs
                  on Partitioned {EDF}},
  booktitle    = {26th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2020, Gangnueng, Korea (South),
                  August 19-21, 2020},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/RTCSA50079.2020.9203643},
  doi          = {10.1109/RTCSA50079.2020.9203643},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/ZahafLNB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/ZahafL20,
  author       = {Houssam{-}Eddine Zahaf and
                  Giuseppe Lipari},
  editor       = {Liliana Cucu{-}Grosjean and
                  Roberto Medina and
                  Sebastian Altmeyer and
                  Jean{-}Luc Scharbarg},
  title        = {Design and Analysis of Programming Platform for Accelerated GPU-Like
                  Architectures},
  booktitle    = {28th International Conference on Real Time Networks and Systems, {RTNS}
                  2020, Paris, France, June 10, 2020},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3394810.3394826},
  doi          = {10.1145/3394810.3394826},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/ZahafL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/SenoussaouiZBLO20,
  author       = {Ikram Senoussaoui and
                  Houssam{-}Eddine Zahaf and
                  Mohammed Kamel Benhaoua and
                  Giuseppe Lipari and
                  Richard Olejnik},
  editor       = {Liliana Cucu{-}Grosjean and
                  Roberto Medina and
                  Sebastian Altmeyer and
                  Jean{-}Luc Scharbarg},
  title        = {Allocation of Real-Time Tasks onto Identical Core Platforms under
                  Deferred fixed Preemption-Point Model},
  booktitle    = {28th International Conference on Real Time Networks and Systems, {RTNS}
                  2020, Paris, France, June 10, 2020},
  pages        = {34--43},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3394810.3394821},
  doi          = {10.1145/3394810.3394821},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/SenoussaouiZBLO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PrastowoPAL20,
  author       = {Tadeus Prastowo and
                  Luigi Palopoli and
                  Luca Abeni and
                  Giuseppe Lipari},
  editor       = {Chih{-}Cheng Hung and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Dongwan Shin and
                  Alessio Bechini},
  title        = {Analyses of a model-based real-time language embedded in {C++}},
  booktitle    = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                  event, [Brno, Czech Republic], March 30 - April 3, 2020},
  pages        = {1330--1339},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341105.3373994},
  doi          = {10.1145/3341105.3373994},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/PrastowoPAL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZahafLBB19,
  author       = {Houssam{-}Eddine Zahaf and
                  Giuseppe Lipari and
                  Marko Bertogna and
                  Pierre Boulet},
  title        = {The Parallel Multi-Mode Digraph Task Model for Energy-Aware Real-Time
                  Heterogeneous Multi-Core Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {68},
  number       = {10},
  pages        = {1511--1524},
  year         = {2019},
  url          = {https://doi.org/10.1109/TC.2019.2909886},
  doi          = {10.1109/TC.2019.2909886},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/ZahafLBB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/PaganiRBMLB19,
  author       = {Marco Pagani and
                  Enrico Rossi and
                  Alessandro Biondi and
                  Mauro Marinoni and
                  Giuseppe Lipari and
                  Giorgio C. Buttazzo},
  editor       = {Sophie Quinton},
  title        = {A Bandwidth Reservation Mechanism for AXI-Based Hardware Accelerators
                  on FPGAs},
  booktitle    = {31st Euromicro Conference on Real-Time Systems, {ECRTS} 2019, July
                  9-12, 2019, Stuttgart, Germany},
  series       = {LIPIcs},
  volume       = {133},
  pages        = {24:1--24:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.ECRTS.2019.24},
  doi          = {10.4230/LIPICS.ECRTS.2019.24},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/PaganiRBMLB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BallabrigaFGLR19,
  author       = {Cl{\'{e}}ment Ballabriga and
                  Julien Forget and
                  Laure Gonnord and
                  Giuseppe Lipari and
                  Jordy Ruiz},
  editor       = {Constantin Enea and
                  Ruzica Piskac},
  title        = {Static Analysis of Binary Code with Memory Indirections Using Polyhedra},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 20th International
                  Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11388},
  pages        = {114--135},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-11245-5\_6},
  doi          = {10.1007/978-3-030-11245-5\_6},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BallabrigaFGLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-02450,
  author       = {Houssam{-}Eddine Zahaf and
                  Nicola Capodieci and
                  Roberto Cavicchioli and
                  Marko Bertogna and
                  Giuseppe Lipari},
  title        = {A {C-DAG} task model for scheduling complex real-time tasks on heterogeneous
                  platforms: preemption matters},
  journal      = {CoRR},
  volume       = {abs/1901.02450},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.02450},
  eprinttype    = {arXiv},
  eprint       = {1901.02450},
  timestamp    = {Fri, 01 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-02450.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-09310,
  author       = {Fabien Bouquillon and
                  Cl{\'{e}}ment Ballabriga and
                  Giuseppe Lipari and
                  Sma{\"{\i}}l Niar},
  title        = {A WCET-aware cache coloring technique for reducing interference in
                  real-time systems},
  journal      = {CoRR},
  volume       = {abs/1903.09310},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.09310},
  eprinttype    = {arXiv},
  eprint       = {1903.09310},
  timestamp    = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-09310.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CucinottaALL18,
  author       = {Tommaso Cucinotta and
                  Luca Abeni and
                  Juri Lelli and
                  Giuseppe Lipari},
  title        = {Improving responsiveness of time-sensitive applications by exploiting
                  dynamic task dependencies},
  journal      = {Softw. Pract. Exp.},
  volume       = {48},
  number       = {4},
  pages        = {820--841},
  year         = {2018},
  url          = {https://doi.org/10.1002/spe.2557},
  doi          = {10.1002/SPE.2557},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/CucinottaALL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BallabrigaFL18,
  author       = {Cl{\'{e}}ment Ballabriga and
                  Julien Forget and
                  Giuseppe Lipari},
  title        = {Symbolic {WCET} Computation},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {17},
  number       = {2},
  pages        = {39:1--39:26},
  year         = {2018},
  url          = {https://doi.org/10.1145/3147413},
  doi          = {10.1145/3147413},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/BallabrigaFL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/CarnevaliSL18,
  author       = {Laura Carnevali and
                  Luca Santinelli and
                  Giuseppe Lipari},
  editor       = {Rena Bakhshi and
                  Paolo Ballarini and
                  Beno{\^{\i}}t Barbot and
                  Hind Castel{-}Taleb and
                  Anne Remke},
  title        = {Towards Probabilistic Modeling and Analysis of Real-Time Systems},
  booktitle    = {Computer Performance Engineering - 15th European Workshop, {EPEW}
                  2018, Paris, France, October 29-30, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11178},
  pages        = {157--172},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02227-3\_11},
  doi          = {10.1007/978-3-030-02227-3\_11},
  timestamp    = {Tue, 07 May 2024 20:13:41 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/CarnevaliSL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ZahafBOL17,
  author       = {Houssam{-}Eddine Zahaf and
                  Abou El Hassan Benyamina and
                  Richard Olejnik and
                  Giuseppe Lipari},
  title        = {Energy-efficient scheduling for moldable real-time tasks on heterogeneous
                  computing platforms},
  journal      = {J. Syst. Archit.},
  volume       = {74},
  pages        = {46--60},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.sysarc.2017.01.002},
  doi          = {10.1016/J.SYSARC.2017.01.002},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/ZahafBOL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/ZahafLA17,
  author       = {Houssam{-}Eddine Zahaf and
                  Giuseppe Lipari and
                  Luca Abeni},
  editor       = {Enrico Bini and
                  Claire Pagetti},
  title        = {Migrate when necessary: toward partitioned reclaiming for soft real-time
                  tasks},
  booktitle    = {Proceedings of the 25th International Conference on Real-Time Networks
                  and Systems, {RTNS} 2017, Grenoble, France, October 04 - 06, 2017},
  pages        = {138--147},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3139258.3139280},
  doi          = {10.1145/3139258.3139280},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtns/ZahafLA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/XiaoPL17,
  author       = {Jun Xiao and
                  Andy D. Pimentel and
                  Giuseppe Lipari},
  editor       = {Yale N. Patt and
                  S. K. Nandy},
  title        = {SysRT: {A} modular multiprocessor {RTOS} simulator for early design
                  space exploration},
  booktitle    = {2017 International Conference on Embedded Computer Systems: Architectures,
                  Modeling, and Simulation, {SAMOS} 2017, Pythagorion, Greece, July
                  17-20, 2017},
  pages        = {38--45},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SAMOS.2017.8344609},
  doi          = {10.1109/SAMOS.2017.8344609},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/XiaoPL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09369,
  author       = {Cl{\'{e}}ment Ballabriga and
                  Julien Forget and
                  Giuseppe Lipari},
  title        = {Symbolic Computation of the Worst-Case Execution Time of a Program},
  journal      = {CoRR},
  volume       = {abs/1709.09369},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.09369},
  eprinttype    = {arXiv},
  eprint       = {1709.09369},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-09369.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-07257,
  author       = {Cl{\'{e}}ment Ballabriga and
                  Julien Forget and
                  Giuseppe Lipari},
  title        = {Abstract Interpretation of Binary Code with Memory Accesses using
                  Polyhedra},
  journal      = {CoRR},
  volume       = {abs/1711.07257},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.07257},
  eprinttype    = {arXiv},
  eprint       = {1711.07257},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-07257.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-06276,
  author       = {Houssam{-}Eddine Zahaf and
                  Giuseppe Lipari and
                  Luca Abeni},
  title        = {Migrate when necessary: toward partitioned reclaiming for soft real-time
                  tasks},
  journal      = {CoRR},
  volume       = {abs/1712.06276},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.06276},
  eprinttype    = {arXiv},
  eprint       = {1712.06276},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-06276.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LunnissALD16,
  author       = {Will Lunniss and
                  Sebastian Altmeyer and
                  Giuseppe Lipari and
                  Robert I. Davis},
  title        = {Cache related pre-emption delays in hierarchical scheduling},
  journal      = {Real Time Syst.},
  volume       = {52},
  number       = {2},
  pages        = {201--238},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11241-015-9228-x},
  doi          = {10.1007/S11241-015-9228-X},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/LunnissALD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SunL16,
  author       = {Youcheng Sun and
                  Giuseppe Lipari},
  title        = {A pre-order relation for exact schedulability test of sporadic tasks
                  on multiprocessor Global Fixed-Priority scheduling},
  journal      = {Real Time Syst.},
  volume       = {52},
  number       = {3},
  pages        = {323--355},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11241-015-9245-9},
  doi          = {10.1007/S11241-015-9245-9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/SunL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/ZahafBLOB16,
  author       = {Houssam{-}Eddine Zahaf and
                  Abou El Hassan Benyamina and
                  Giuseppe Lipari and
                  Richard Olejnik and
                  Pierre Boulet},
  editor       = {Alain Plantec and
                  Frank Singhoff and
                  S{\'{e}}bastien Faucou and
                  Lu{\'{\i}}s Miguel Pinho},
  title        = {Modeling Parallel Real-time Tasks with Di-Graphs},
  booktitle    = {Proceedings of the 24th International Conference on Real-Time Networks
                  and Systems, {RTNS} 2016, Brest, France, October 19-21, 2016},
  pages        = {339--348},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2997465.2997475},
  doi          = {10.1145/2997465.2997475},
  timestamp    = {Tue, 29 Dec 2020 18:28:06 +0100},
  biburl       = {https://dblp.org/rec/conf/rtns/ZahafBLOB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AbeniLPS16,
  author       = {Luca Abeni and
                  Giuseppe Lipari and
                  Andrea Parri and
                  Youcheng Sun},
  editor       = {Sascha Ossowski},
  title        = {Multicore {CPU} reclaiming: parallel or sequential?},
  booktitle    = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
                  Pisa, Italy, April 4-8, 2016},
  pages        = {1877--1884},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2851613.2851743},
  doi          = {10.1145/2851613.2851743},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/AbeniLPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijahuc/BocchinoPPGL15,
  author       = {Stefano Bocchino and
                  Matteo Petracca and
                  Paolo Pagano and
                  Marco Ghibaudi and
                  Giuseppe Lipari},
  title        = {{SPEED-3D:} a geographic routing protocol for 6LoWPAN networks},
  journal      = {Int. J. Ad Hoc Ubiquitous Comput.},
  volume       = {19},
  number       = {3/4},
  pages        = {143--156},
  year         = {2015},
  url          = {https://doi.org/10.1504/IJAHUC.2015.070589},
  doi          = {10.1504/IJAHUC.2015.070589},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijahuc/BocchinoPPGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AndreLNS15,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Giuseppe Lipari and
                  Hoang Gia Nguyen and
                  Youcheng Sun},
  editor       = {Klaus Havelund and
                  Gerard J. Holzmann and
                  Rajeev Joshi},
  title        = {Reachability Preservation Based Parameter Synthesis for Timed Automata},
  booktitle    = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
                  CA, USA, April 27-29, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9058},
  pages        = {50--65},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17524-9\_5},
  doi          = {10.1007/978-3-319-17524-9\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/AndreLNS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/SunL15,
  author       = {Youcheng Sun and
                  Giuseppe Lipari},
  title        = {Response Time Analysis with Limited Carry-In for Global Earliest Deadline
                  First Scheduling},
  booktitle    = {2015 {IEEE} Real-Time Systems Symposium, {RTSS} 2015, San Antonio,
                  Texas, USA, December 1-4, 2015},
  pages        = {130--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTSS.2015.20},
  doi          = {10.1109/RTSS.2015.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/SunL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BallabrigaFL15,
  author       = {Cl{\'{e}}ment Ballabriga and
                  Julien Forget and
                  Giuseppe Lipari},
  editor       = {Francisco J. Cazorla},
  title        = {Context-sensitive Parametric {WCET} Analysis},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {55--64},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.55},
  doi          = {10.4230/OASICS.WCET.2015.55},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/BallabrigaFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LipariP15,
  author       = {Giuseppe Lipari and
                  Luigi Palopoli},
  title        = {Real-Time scheduling: from hard to soft real-time systems},
  journal      = {CoRR},
  volume       = {abs/1512.01978},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.01978},
  eprinttype    = {arXiv},
  eprint       = {1512.01978},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LipariP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbeniLPS15,
  author       = {Luca Abeni and
                  Giuseppe Lipari and
                  Andrea Parri and
                  Youcheng Sun},
  title        = {Parallel and sequential reclaiming in multicore real-time global scheduling},
  journal      = {CoRR},
  volume       = {abs/1512.01984},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.01984},
  eprinttype    = {arXiv},
  eprint       = {1512.01984},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbeniLPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BenedettoL14,
  author       = {Salvatore Benedetto and
                  Giuseppe Lipari},
  title        = {{ADOK:} a minimal object oriented real-time operating system in {C++}},
  journal      = {{SIGBED} Rev.},
  volume       = {11},
  number       = {1},
  pages        = {74--79},
  year         = {2014},
  url          = {https://doi.org/10.1145/2597457.2597468},
  doi          = {10.1145/2597457.2597468},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/BenedettoL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/AbeniLL14,
  author       = {Luca Abeni and
                  Giuseppe Lipari and
                  Juri Lelli},
  title        = {Constant bandwidth server revisited},
  journal      = {{SIGBED} Rev.},
  volume       = {11},
  number       = {4},
  pages        = {19--24},
  year         = {2014},
  url          = {https://doi.org/10.1145/2724942.2724945},
  doi          = {10.1145/2724942.2724945},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/AbeniLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewili/AbeniLL14,
  author       = {Luca Abeni and
                  Giuseppe Lipari and
                  Juri Lelli},
  editor       = {Jalil Boukhobza and
                  Jean{-}Philippe Diguet and
                  Pierre Ficheux and
                  Jos{\'{e}} Rufino and
                  Frank Singhoff},
  title        = {Constant Bandwidth Server Revisited},
  booktitle    = {Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal,
                  November 13-14, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1291},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1291/ewili14\_5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ewili/AbeniLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/KumarL14,
  author       = {Sunil Kumar and
                  Giuseppe Lipari},
  title        = {Latency Analysis of Network-on-Chip Based Many-Core Processors},
  booktitle    = {22nd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2014, Torino, Italy, February
                  12-14, 2014},
  pages        = {432--439},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PDP.2014.107},
  doi          = {10.1109/PDP.2014.107},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdp/KumarL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FerrariLGS14,
  author       = {Alessio Ferrari and
                  Giuseppe Lipari and
                  Stefania Gnesi and
                  Giorgio Oronzo Spagnolo},
  editor       = {Nelly Bencomo and
                  Jane Cleland{-}Huang and
                  Jin Guo and
                  Rachel Harrison},
  title        = {Pragmatic ambiguity detection in natural language requirements},
  booktitle    = {{IEEE} 1st International Workshop on Artificial Intelligence for Requirements
                  Engineering, {AIRE} 2014, 26 August, 2014, Karlskrona, Sweden},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/AIRE.2014.6894849},
  doi          = {10.1109/AIRE.2014.6894849},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/FerrariLGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SunLA014,
  author       = {Youcheng Sun and
                  Giuseppe Lipari and
                  Nan Guan and
                  Wang Yi},
  title        = {Improving the response time analysis of global fixed-priority multiprocessor
                  scheduling},
  booktitle    = {2014 {IEEE} 20th International Conference on Embedded and Real-Time
                  Computing Systems and Applications, Chongqing, China, August 20-22,
                  2014},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/RTCSA.2014.6910543},
  doi          = {10.1109/RTCSA.2014.6910543},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/SunLA014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SunLSFM14,
  author       = {Youcheng Sun and
                  Giuseppe Lipari and
                  Romain Soulat and
                  Laurent Fribourg and
                  Nicolas Markey},
  title        = {Component-based analysis of hierarchical scheduling using linear hybrid
                  automata},
  booktitle    = {2014 {IEEE} 20th International Conference on Embedded and Real-Time
                  Computing Systems and Applications, Chongqing, China, August 20-22,
                  2014},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/RTCSA.2014.6910502},
  doi          = {10.1109/RTCSA.2014.6910502},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/SunLSFM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/SunL14,
  author       = {Youcheng Sun and
                  Giuseppe Lipari},
  editor       = {Mathieu Jan and
                  Belgacem Ben Hedia and
                  Jo{\"{e}}l Goossens and
                  Claire Maiza},
  title        = {A Weak Simulation Relation for Real-Time Schedulability Analysis of
                  Global Fixed Priority Scheduling Using Linear Hybrid Automata},
  booktitle    = {22nd International Conference on Real-Time Networks and Systems, {RTNS}
                  '14, Versaille, France, October 8-10, 2014},
  pages        = {35},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2659787.2659814},
  doi          = {10.1145/2659787.2659814},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtns/SunL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/LunnissALD14,
  author       = {Will Lunniss and
                  Sebastian Altmeyer and
                  Giuseppe Lipari and
                  Robert I. Davis},
  editor       = {Mathieu Jan and
                  Belgacem Ben Hedia and
                  Jo{\"{e}}l Goossens and
                  Claire Maiza},
  title        = {Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling},
  booktitle    = {22nd International Conference on Real-Time Networks and Systems, {RTNS}
                  '14, Versaille, France, October 8-10, 2014},
  pages        = {183},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2659787.2659797},
  doi          = {10.1145/2659787.2659797},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/LunnissALD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/CarnevaliMSL14,
  author       = {Laura Carnevali and
                  Alessandra Melani and
                  Luca Santinelli and
                  Giuseppe Lipari},
  editor       = {Mathieu Jan and
                  Belgacem Ben Hedia and
                  Jo{\"{e}}l Goossens and
                  Claire Maiza},
  title        = {Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative
                  Transient Analysis},
  booktitle    = {22nd International Conference on Real-Time Networks and Systems, {RTNS}
                  '14, Versaille, France, October 8-10, 2014},
  pages        = {299},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2659787.2659823},
  doi          = {10.1145/2659787.2659823},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtns/CarnevaliMSL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SunLAF14,
  author       = {Youcheng Sun and
                  Giuseppe Lipari and
                  {\'{E}}tienne Andr{\'{e}} and
                  Laurent Fribourg},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Toward Parametric Timed Interfaces for Real-Time Components},
  booktitle    = {Proceedings 1st International Workshop on Synthesis of Continuous
                  Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
  series       = {{EPTCS}},
  volume       = {145},
  pages        = {49--64},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.145.6},
  doi          = {10.4204/EPTCS.145.6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SunLAF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LipariC13,
  author       = {Giuseppe Lipari and
                  Tommaso Cucinotta},
  title        = {{JSA} {WATERS} 2011},
  journal      = {J. Syst. Archit.},
  volume       = {59},
  number       = {6},
  pages        = {296},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.sysarc.2013.05.011},
  doi          = {10.1016/J.SYSARC.2013.05.011},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/LipariC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ButtazzoL13,
  author       = {Giorgio C. Buttazzo and
                  Giuseppe Lipari},
  editor       = {Carla Seatzu},
  title        = {Ptask: An educational {C} library for programming real-time systems
                  on Linux},
  booktitle    = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
                  {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
                  10-13, 2013},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ETFA.2013.6648001},
  doi          = {10.1109/ETFA.2013.6648001},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/ButtazzoL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SunSLAF13,
  author       = {Youcheng Sun and
                  Romain Soulat and
                  Giuseppe Lipari and
                  {\'{E}}tienne Andr{\'{e}} and
                  Laurent Fribourg},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed
                  Systems},
  booktitle    = {Formal Techniques for Safety-Critical Systems - Second International
                  Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
                  Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {419},
  pages        = {212--228},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05416-2\_14},
  doi          = {10.1007/978-3-319-05416-2\_14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftscs/SunSLAF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceac/BambaginiLBL13,
  author       = {Mario Bambagini and
                  Juri Lelli and
                  Giorgio C. Buttazzo and
                  Giuseppe Lipari},
  title        = {On the energy-aware partitioning of real-time tasks on homogeneous
                  multi-processor systems},
  booktitle    = {4th Annual International Conference on Energy Aware Computing Systems
                  and Applications, {ICEAC} 2013, Istanbul, Turkey, December 16-18,
                  2013},
  pages        = {69--74},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICEAC.2013.6737640},
  doi          = {10.1109/ICEAC.2013.6737640},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iceac/BambaginiLBL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1306,
  author       = {Youcheng Sun and
                  Romain Soulat and
                  Giuseppe Lipari and
                  {\'{E}}tienne Andr{\'{e}} and
                  Laurent Fribourg},
  title        = {Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed
                  Systems},
  journal      = {CoRR},
  volume       = {abs/1302.1306},
  year         = {2013},
  url          = {http://arxiv.org/abs/1302.1306},
  eprinttype    = {arXiv},
  eprint       = {1302.1306},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-1306.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/RuscelliCAL12,
  author       = {Anna Lina Ruscelli and
                  Gabriele Cecchetti and
                  Angelo Alifano and
                  Giuseppe Lipari},
  title        = {Enhancement of QoS support of {HCCA} schedulers using {EDCA} function
                  in {IEEE} 802.11e networks},
  journal      = {Ad Hoc Networks},
  volume       = {10},
  number       = {2},
  pages        = {147--161},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.adhoc.2010.09.014},
  doi          = {10.1016/J.ADHOC.2010.09.014},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/adhoc/RuscelliCAL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LelliFCL12,
  author       = {Juri Lelli and
                  Dario Faggioli and
                  Tommaso Cucinotta and
                  Giuseppe Lipari},
  title        = {An experimental comparison of different real-time schedulers on multicore
                  systems},
  journal      = {J. Syst. Softw.},
  volume       = {85},
  number       = {10},
  pages        = {2405--2416},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jss.2012.05.048},
  doi          = {10.1016/J.JSS.2012.05.048},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/LelliFCL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SantosLBC12,
  author       = {Rodrigo M. Santos and
                  Giuseppe Lipari and
                  Enrico Bini and
                  Tommaso Cucinotta},
  title        = {On-line schedulability tests for adaptive reservations in fixed priority
                  scheduling},
  journal      = {Real Time Syst.},
  volume       = {48},
  number       = {5},
  pages        = {601--634},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11241-012-9156-y},
  doi          = {10.1007/S11241-012-9156-Y},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/SantosLBC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/FaggioliLC12,
  author       = {Dario Faggioli and
                  Giuseppe Lipari and
                  Tommaso Cucinotta},
  title        = {Analysis and implementation of the multiprocessor bandwidth inheritance
                  protocol},
  journal      = {Real Time Syst.},
  volume       = {48},
  number       = {6},
  pages        = {789--825},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11241-012-9162-0},
  doi          = {10.1007/S11241-012-9162-0},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/FaggioliLC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/CecchettiRML12,
  author       = {Gabriele Cecchetti and
                  Anna Lina Ruscelli and
                  Antonia Mastropaolo and
                  Giuseppe Lipari},
  editor       = {Albert Y. Zomaya and
                  Bj{\"{o}}rn Landfeldt and
                  Ravi Prakash},
  title        = {Dynamic {TXOP} {HCCA} reclaiming scheduler with transmission time
                  estimation for {IEEE} 802.11e real-time networks},
  booktitle    = {The 15th {ACM} International Conference on Modeling, Analysis and
                  Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
                  October 21-25, 2012},
  pages        = {239--246},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2387238.2387279},
  doi          = {10.1145/2387238.2387279},
  timestamp    = {Wed, 22 Mar 2023 16:53:34 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/CecchettiRML12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/CecchettiRML12,
  author       = {Gabriele Cecchetti and
                  Anna Lina Ruscelli and
                  Antonia Mastropaolo and
                  Giuseppe Lipari},
  title        = {Providing variable {TXOP} for {IEEE} 802.11e {HCCA} real-time networks},
  booktitle    = {2012 {IEEE} Wireless Communications and Networking Conference, {WCNC}
                  2012, Paris, France, April 1-4, 2012},
  pages        = {1508--1513},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/WCNC.2012.6214020},
  doi          = {10.1109/WCNC.2012.6214020},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/CecchettiRML12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AnastasiBL12,
  author       = {Gaetano F. Anastasi and
                  Enrico Bini and
                  Giuseppe Lipari},
  editor       = {Giuseppe Anastasi and
                  Emilio Bellini and
                  Elisabetta Di Nitto and
                  Carlo Ghezzi and
                  Letizia Tanca and
                  Eugenio Zimeo},
  title        = {Extracting Data from WSNs: {A} Service-Oriented Approach},
  booktitle    = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
                  Adaptive Infrastructures for Decentralised Organisations},
  series       = {Lecture Notes in Computer Science},
  volume       = {7200},
  pages        = {329--356},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31739-2\_17},
  doi          = {10.1007/978-3-642-31739-2\_17},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/AnastasiBL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/SojkaPFCCHL11,
  author       = {Michal Sojka and
                  Pavel P{\'{\i}}sa and
                  Dario Faggioli and
                  Tommaso Cucinotta and
                  Fabio Checconi and
                  Zdenek Hanz{\'{a}}lek and
                  Giuseppe Lipari},
  title        = {Modular software architecture for flexible reservation mechanisms
                  on heterogeneous resources},
  journal      = {J. Syst. Archit.},
  volume       = {57},
  number       = {4},
  pages        = {366--382},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.sysarc.2011.02.005},
  doi          = {10.1016/J.SYSARC.2011.02.005},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/SojkaPFCCHL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/SerreliLB11,
  author       = {Nicola Serreli and
                  Giuseppe Lipari and
                  Enrico Bini},
  title        = {A tool for component-based schedulability analysis of distributed
                  real-time pipelines},
  journal      = {{SIGBED} Rev.},
  volume       = {8},
  number       = {1},
  pages        = {70--72},
  year         = {2011},
  url          = {https://doi.org/10.1145/1967021.1967032},
  doi          = {10.1145/1967021.1967032},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/SerreliLB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CucinottaAPL11,
  author       = {Tommaso Cucinotta and
                  Luca Abeni and
                  Luigi Palopoli and
                  Giuseppe Lipari},
  title        = {A Robust Mechanism for Adaptive Scheduling of Multimedia Applications},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {46:1--46:24},
  year         = {2011},
  url          = {https://doi.org/10.1145/2043662.2043670},
  doi          = {10.1145/2043662.2043670},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/CucinottaAPL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CarnevaliLPV11,
  author       = {Laura Carnevali and
                  Giuseppe Lipari and
                  Alessandro Pinzuti and
                  Enrico Vicario},
  editor       = {Alexander B. Romanovsky and
                  Tullio Vardanega},
  title        = {A Formal Approach to Design and Verification of Two-Level Hierarchical
                  Scheduling Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe
                  International Conference on Reliable Software Technologies, Edinburgh,
                  UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6652},
  pages        = {118--131},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21338-0\_9},
  doi          = {10.1007/978-3-642-21338-0\_9},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/CarnevaliLPV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/RuscelliCML11,
  author       = {Anna Lina Ruscelli and
                  Gabriele Cecchetti and
                  Antonia Mastropaolo and
                  Giuseppe Lipari},
  editor       = {Ahmed Helmy and
                  Bj{\"{o}}rn Landfeldt and
                  Luciano Bononi},
  title        = {A greedy reclaiming scheduler for {IEEE} 802.11e {HCCA} real-time
                  networks},
  booktitle    = {Proceedings of the 14th International Symposium on Modeling Analysis
                  and Simulation of Wireless and Mobile Systems, MSWiM 2011, Miami,
                  Florida, USA, October 31 - November 4, 2011},
  pages        = {223--230},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2068897.2068936},
  doi          = {10.1145/2068897.2068936},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/RuscelliCML11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/AnastasiCLG11,
  author       = {Gaetano F. Anastasi and
                  Tommaso Cucinotta and
                  Giuseppe Lipari and
                  Marisol Garc{\'{\i}}a{-}Valls},
  editor       = {Kwei{-}Jay Lin and
                  Christian Huemer and
                  M. Brian Blake and
                  Boualem Benatallah},
  title        = {A QoS registry for adaptive real-time service-oriented applications},
  booktitle    = {2011 {IEEE} International Conference on Service-Oriented Computing
                  and Applications, {SOCA} 2011, Irvine, CA, USA, December 12-14, 2011},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SOCA.2011.6166243},
  doi          = {10.1109/SOCA.2011.6166243},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soca/AnastasiCLG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/KumarCL11,
  author       = {Sunil Kumar and
                  Tommaso Cucinotta and
                  Giuseppe Lipari},
  editor       = {Saad Biaz and
                  Shaoen Wu},
  title        = {A latency simulator for many-core systems},
  booktitle    = {2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA,
                  USA, April 03-07, 2011. Volume 2: Proceedings of the 44th Annual Simulation
                  Symposium {(ANSS)}},
  pages        = {151--158},
  publisher    = {{SCS/ACM}},
  year         = {2011},
  url          = {http://dl.acm.org/citation.cfm?id=2048391},
  timestamp    = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl       = {https://dblp.org/rec/conf/springsim/KumarCL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/opodis/2011,
  editor       = {Antonio Fern{\'{a}}ndez Anta and
                  Giuseppe Lipari and
                  Matthieu Roy},
  title        = {Principles of Distributed Systems - 15th International Conference,
                  {OPODIS} 2011, Toulouse, France, December 13-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7109},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25873-2},
  doi          = {10.1007/978-3-642-25873-2},
  isbn         = {978-3-642-25872-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejwcn/PaganoCLNL10,
  author       = {Paolo Pagano and
                  Mangesh Chitnis and
                  Giuseppe Lipari and
                  Christian Nastasi and
                  Yao Liang},
  title        = {Simulating Real-Time Aspects of Wireless Sensor Networks},
  journal      = {{EURASIP} J. Wirel. Commun. Netw.},
  volume       = {2010},
  year         = {2010},
  url          = {https://doi.org/10.1155/2010/107946},
  doi          = {10.1155/2010/107946},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejwcn/PaganoCLNL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CucinottaPAFL10,
  author       = {Tommaso Cucinotta and
                  Luigi Palopoli and
                  Luca Abeni and
                  Dario Faggioli and
                  Giuseppe Lipari},
  title        = {On the Integration of Application Level and Resource Level QoS Control
                  for Real-time Applications},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {6},
  number       = {4},
  pages        = {479--491},
  year         = {2010},
  url          = {https://doi.org/10.1109/TII.2010.2072962},
  doi          = {10.1109/TII.2010.2072962},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CucinottaPAFL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/FaggioliLC10,
  author       = {Dario Faggioli and
                  Giuseppe Lipari and
                  Tommaso Cucinotta},
  title        = {The Multiprocessor Bandwidth Inheritance Protocol},
  booktitle    = {22nd Euromicro Conference on Real-Time Systems, {ECRTS} 2010, Brussels,
                  Belgium, July 6-9, 2010},
  pages        = {90--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ECRTS.2010.19},
  doi          = {10.1109/ECRTS.2010.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/FaggioliLC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SerreliLB10,
  author       = {Nicola Serreli and
                  Giuseppe Lipari and
                  Enrico Bini},
  title        = {The Demand Bound Function Interface of Distributed Sporadic Pipelines
                  of Tasks Scheduled by {EDF}},
  booktitle    = {22nd Euromicro Conference on Real-Time Systems, {ECRTS} 2010, Brussels,
                  Belgium, July 6-9, 2010},
  pages        = {187--196},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ECRTS.2010.17},
  doi          = {10.1109/ECRTS.2010.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/SerreliLB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AnastasiBRL10,
  author       = {Gaetano F. Anastasi and
                  Enrico Bini and
                  Antonio Romano and
                  Giuseppe Lipari},
  title        = {A service-oriented architecture for QoS configuration and management
                  of Wireless Sensor Networks},
  booktitle    = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
                  Spain},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ETFA.2010.5641336},
  doi          = {10.1109/ETFA.2010.5641336},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/AnastasiBRL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SerreliLB10,
  author       = {Nicola Serreli and
                  Giuseppe Lipari and
                  Enrico Bini},
  title        = {The Distributed Deadline Synchronization Protocol for real-time systems
                  scheduled by {EDF}},
  booktitle    = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
                  Spain},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ETFA.2010.5641357},
  doi          = {10.1109/ETFA.2010.5641357},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/SerreliLB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/NastasiMSPLF10,
  author       = {Christian Nastasi and
                  Mauro Marinoni and
                  Luca Santinelli and
                  Paolo Pagano and
                  Giuseppe Lipari and
                  Gianluca Franchino},
  title        = {{BACCARAT:} a dynamic real-time bandwidth allocation policy for {IEEE}
                  802.15.4},
  booktitle    = {Eigth Annual {IEEE} International Conference on Pervasive Computing
                  and Communications, PerCom 2010, March 29 - April 2, 2010, Mannheim,
                  Germany, Workshop Proceedings},
  pages        = {406--412},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/PERCOMW.2010.5470635},
  doi          = {10.1109/PERCOMW.2010.5470635},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/NastasiMSPLF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LipariB10,
  author       = {Giuseppe Lipari and
                  Enrico Bini},
  title        = {A Framework for Hierarchical Scheduling on Multiprocessors: From Application
                  Requirements to Run-Time Allocation},
  booktitle    = {Proceedings of the 31st {IEEE} Real-Time Systems Symposium, {RTSS}
                  2010, San Diego, California, USA, November 30 - December 3, 2010},
  pages        = {249--258},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/RTSS.2010.12},
  doi          = {10.1109/RTSS.2010.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/LipariB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/ChitnisSPLP10,
  author       = {Mangesh Chitnis and
                  Claudio Salvadori and
                  Matteo Petracca and
                  Giuseppe Lipari and
                  Paolo Pagano},
  editor       = {Jan Beutel and
                  Deepak Ganesan and
                  Jack A. Stankovic},
  title        = {Traffic related observations by line sensing techniques},
  booktitle    = {Proceedings of the 8th International Conference on Embedded Networked
                  Sensor Systems, SenSys 2010, Zurich, Switzerland, November 3-5, 2010},
  pages        = {373--374},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1869983.1870029},
  doi          = {10.1145/1869983.1870029},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sensys/ChitnisSPLP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SantinelliCNCLP10,
  author       = {Luca Santinelli and
                  Mangesh Chitnis and
                  Christian Nastasi and
                  Fabio Checconi and
                  Giuseppe Lipari and
                  Paolo Pagano},
  title        = {A Component-Based Architecture for Adaptive Bandwidth Allocation in
                  Wireless Sensor Networks},
  booktitle    = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
                  {SIES} 2010, University of Trento, Italy, July 7-9, 2010},
  pages        = {174--183},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/SIES.2010.5551381},
  doi          = {10.1109/SIES.2010.5551381},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sies/SantinelliCNCLP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/MancinaFLHGT09,
  author       = {Antonio Mancina and
                  Dario Faggioli and
                  Giuseppe Lipari and
                  Jorrit N. Herder and
                  Ben Gras and
                  Andrew S. Tanenbaum},
  title        = {Enhancing a dependable multiserver operating system with temporal
                  protection via resource reservations},
  journal      = {Real Time Syst.},
  volume       = {43},
  number       = {2},
  pages        = {177--210},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11241-009-9086-5},
  doi          = {10.1007/S11241-009-9086-5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/MancinaFLHGT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/PalopoliCML09,
  author       = {Luigi Palopoli and
                  Tommaso Cucinotta and
                  Luca Marzario and
                  Giuseppe Lipari},
  title        = {AQuoSA - adaptive quality of service architecture},
  journal      = {Softw. Pract. Exp.},
  volume       = {39},
  number       = {1},
  pages        = {1--31},
  year         = {2009},
  url          = {https://doi.org/10.1002/spe.883},
  doi          = {10.1002/SPE.883},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/PalopoliCML09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BiniBL09,
  author       = {Enrico Bini and
                  Giorgio C. Buttazzo and
                  Giuseppe Lipari},
  title        = {Minimizing {CPU} energy in real-time systems with discrete speed management},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {8},
  number       = {4},
  pages        = {31:1--31:23},
  year         = {2009},
  url          = {https://doi.org/10.1145/1550987.1550994},
  doi          = {10.1145/1550987.1550994},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/BiniBL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/AbeniPSL09,
  author       = {Luca Abeni and
                  Luigi Palopoli and
                  Claudio Scordino and
                  Giuseppe Lipari},
  title        = {Resource Reservations for General Purpose Applications},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {5},
  number       = {1},
  pages        = {12--21},
  year         = {2009},
  url          = {https://doi.org/10.1109/TII.2009.2013633},
  doi          = {10.1109/TII.2009.2013633},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/AbeniPSL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CucinottaMALMCR09,
  author       = {Tommaso Cucinotta and
                  Antonio Mancina and
                  Gaetano F. Anastasi and
                  Giuseppe Lipari and
                  Leonardo Mangeruca and
                  Roberto Checcozzo and
                  Fulvio Rusina},
  title        = {A Real-time Service-Oriented Architecture for Industrial Automation},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {5},
  number       = {3},
  pages        = {267--277},
  year         = {2009},
  url          = {https://doi.org/10.1109/TII.2009.2027013},
  doi          = {10.1109/TII.2009.2027013},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CucinottaMALMCR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/BertognaCL09,
  author       = {Marko Bertogna and
                  Michele Cirinei and
                  Giuseppe Lipari},
  title        = {Schedulability Analysis of Global Scheduling Algorithms on Multiprocessor
                  Platforms},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {20},
  number       = {4},
  pages        = {553--566},
  year         = {2009},
  url          = {https://doi.org/10.1109/TPDS.2008.129},
  doi          = {10.1109/TPDS.2008.129},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/BertognaCL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CucinottaLPAS09,
  author       = {Tommaso Cucinotta and
                  Giuseppe Lipari and
                  Luigi Palopoli and
                  Luca Abeni and
                  Rodrigo M. Santos},
  title        = {Multi-level Feedback Control for Quality of Service Management},
  booktitle    = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
                  de Mallorca, Spain},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ETFA.2009.5347100},
  doi          = {10.1109/ETFA.2009.5347100},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/CucinottaLPAS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/ChitnisPLL09,
  author       = {Mangesh Chitnis and
                  Paolo Pagano and
                  Giuseppe Lipari and
                  Yao Liang},
  editor       = {Arjan Durresi and
                  Leonard Barolli and
                  Tomoya Enokido and
                  Minoru Uehara and
                  Elhadi M. Shakshuki and
                  Makoto Takizawa},
  title        = {A Survey on Bandwidth Resource Allocation and Scheduling in Wireless
                  Sensor Networks},
  booktitle    = {NBiS 2009, 12th International Conference on Network-Based Information
                  Systems, Indianapolis, Indiana, USA, 19-21 August 2009},
  pages        = {121--128},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/NBiS.2009.77},
  doi          = {10.1109/NBIS.2009.77},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nbis/ChitnisPLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pe-wasun/ChitnisLZPL09,
  author       = {Mangesh Chitnis and
                  Yao Liang and
                  Jiang Yu Zheng and
                  Paolo Pagano and
                  Giuseppe Lipari},
  editor       = {Stephan Olariu and
                  Azzedine Boukerche and
                  Isabelle Gu{\'{e}}rin Lassous},
  title        = {Wireless line sensor network for distributed visual surveillance},
  booktitle    = {Proceedings of the 6th {ACM} International Workshop on Performance
                  Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, {PE-WASUN}
                  2009, Tenerife, Canary Islands, Spain, October 28-29, 2009},
  pages        = {71--78},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1641876.1641890},
  doi          = {10.1145/1641876.1641890},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pe-wasun/ChitnisLZPL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/NastasiPMLFGMB09,
  author       = {Christian Nastasi and
                  Paolo Pagano and
                  Mauro Marinoni and
                  Giuseppe Lipari and
                  Francesco Focacci and
                  Paolo Gai and
                  Simone Mannori and
                  Roberto Bucher},
  title        = {Model based Real-Time networked applications for Wireless Sensor Networks},
  booktitle    = {Seventh Annual {IEEE} International Conference on Pervasive Computing
                  and Communications, PerCom 2009, 9-13 March 2009, Galveston, TX, {USA}},
  pages        = {1--3},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/PERCOM.2009.4912798},
  doi          = {10.1109/PERCOM.2009.4912798},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/NastasiPMLFGMB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PaganoCRLSAST09,
  author       = {Paolo Pagano and
                  Mangesh Chitnis and
                  Antonio Romano and
                  Giuseppe Lipari and
                  Ricardo Severino and
                  M{\'{a}}rio Alves and
                  Paulo G. Sousa and
                  Eduardo Tovar},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {{ERIKA} and open-ZB: an implementation for real-time wireless networking},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {1687--1688},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529661},
  doi          = {10.1145/1529282.1529661},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/PaganoCRLSAST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/PaganoPLL09,
  author       = {Paolo Pagano and
                  Francesco Piga and
                  Giuseppe Lipari and
                  Yao Liang},
  editor       = {Olivier Dalle and
                  Gabriel A. Wainer and
                  L. Felipe Perrone and
                  Giovanni Stea},
  title        = {Visual tracking using sensor networks},
  booktitle    = {Proceedings of the 2nd International Conference on Simulation Tools
                  and Techniques for Communications, Networks and Systems, SimuTools
                  2009, Rome, Italy, March 2-6, 2009},
  pages        = {28},
  publisher    = {{ICST/ACM}},
  year         = {2009},
  url          = {https://doi.org/10.4108/ICST.SIMUTOOLS2009.5575},
  doi          = {10.4108/ICST.SIMUTOOLS2009.5575},
  timestamp    = {Tue, 27 Nov 2018 10:40:37 +0100},
  biburl       = {https://dblp.org/rec/conf/simutools/PaganoPLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/CrespoRHL08,
  author       = {Alfons Crespo and
                  Ismael Ripoll and
                  Michael Gonz{\'{a}}lez Harbour and
                  Giuseppe Lipari},
  title        = {Operating System Support for Embedded Real-Time Applications},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2008},
  year         = {2008},
  url          = {https://doi.org/10.1155/2008/502768},
  doi          = {10.1155/2008/502768},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejes/CrespoRHL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SantosLS08,
  author       = {Rodrigo M. Santos and
                  Giuseppe Lipari and
                  Jorge Santos},
  title        = {Improving the schedulability of soft real-time open dynamic systems:
                  The inheritor is actually a debtor},
  journal      = {J. Syst. Softw.},
  volume       = {81},
  number       = {7},
  pages        = {1093--1104},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jss.2007.07.004},
  doi          = {10.1016/J.JSS.2007.07.004},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/SantosLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Lipari08,
  author       = {Giuseppe Lipari},
  title        = {Guest Editorial},
  journal      = {Real Time Syst.},
  volume       = {39},
  number       = {1-3},
  pages        = {1--3},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11241-007-9044-z},
  doi          = {10.1007/S11241-007-9044-Z},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Lipari08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/estimedia/PalopoliACLB08,
  author       = {Luigi Palopoli and
                  Luca Abeni and
                  Tommaso Cucinotta and
                  Giuseppe Lipari and
                  Sanjoy K. Baruah},
  editor       = {Petru Eles and
                  Andy D. Pimentel},
  title        = {Weighted feedback reclaiming for multimedia applications},
  booktitle    = {Proceedings of the 6th {IEEE/ACM/IFIP} Workshop on Embedded Systems
                  for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24
                  October 2008},
  pages        = {121--126},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ESTMED.2008.4697009},
  doi          = {10.1109/ESTMED.2008.4697009},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/estimedia/PalopoliACLB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/SantosLB08,
  author       = {Rodrigo M. Santos and
                  Giuseppe Lipari and
                  Enrico Bini},
  title        = {Efficient On-line Schedulability Test for Feedback Scheduling of Soft
                  Real-Time Tasks under Fixed-Priority},
  booktitle    = {Proceedings of the 14th {IEEE} Real-Time and Embedded Technology and
                  Applications Symposium, {RTAS} 2008, April 22-24, 2008, St. Louis,
                  Missouri, {USA}},
  pages        = {227--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/RTAS.2008.26},
  doi          = {10.1109/RTAS.2008.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/SantosLB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PellizzoniL07,
  author       = {Rodolfo Pellizzoni and
                  Giuseppe Lipari},
  title        = {Holistic analysis of asynchronous real-time transactions with earliest
                  deadline scheduling},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {73},
  number       = {2},
  pages        = {186--206},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jcss.2006.04.002},
  doi          = {10.1016/J.JCSS.2006.04.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/PellizzoniL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CirineiBLF07,
  author       = {Michele Cirinei and
                  Enrico Bini and
                  Giuseppe Lipari and
                  Alberto Ferrari},
  title        = {A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on
                  Multiprocessors},
  booktitle    = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/IPDPS.2007.370342},
  doi          = {10.1109/IPDPS.2007.370342},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/CirineiBLF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/PaganoBL07,
  author       = {Paolo Pagano and
                  Prashant Batra and
                  Giuseppe Lipari},
  title        = {A Framework for Modeling Operating System Mechanisms in the Simulation
                  of Network Protocols for Real-Time Distributed Systems},
  booktitle    = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/IPDPS.2007.370350},
  doi          = {10.1109/IPDPS.2007.370350},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/PaganoBL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mass/ChitnisGLPR07,
  author       = {Mangesh Chitnis and
                  Paolo Gai and
                  Giuseppe Lipari and
                  Paolo Pagano and
                  Antonio Romano},
  title        = {Rapid prototyping suite of {IEEE} 802.15.4-compliant Sensor Networks},
  booktitle    = {{IEEE} 4th International Conference on Mobile Adhoc and Sensor Systems,
                  {MASS} 2007, 8-11 October 2007, Pisa, Italy},
  pages        = {1--3},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/MOBHOC.2007.4428694},
  doi          = {10.1109/MOBHOC.2007.4428694},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mass/ChitnisGLPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicon/PaganoCL07,
  author       = {Paolo Pagano and
                  Mangesh Chitnis and
                  Giuseppe Lipari},
  editor       = {Lili Qiu and
                  Andr{\'{a}}s Gergely Valk{\'{o}}},
  title        = {{RTNS:} an {NS-2} extension to simulate wireless real-time distributed
                  systems for structured topologies},
  booktitle    = {3rd International ICSTConference on Wireless Internet, {WICON} 2007,
                  Austin, TX, USA, October 22-24, 2007},
  pages        = {35},
  publisher    = {{ICST}},
  year         = {2007},
  url          = {https://doi.org/10.4108/pwsn.2007.2279},
  doi          = {10.4108/PWSN.2007.2279},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wicon/PaganoCL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ScordinoL06,
  author       = {Claudio Scordino and
                  Giuseppe Lipari},
  title        = {A Resource Reservation Algorithm for Power-Aware Scheduling of Periodic
                  and Aperiodic Real-Time Tasks},
  journal      = {{IEEE} Trans. Computers},
  volume       = {55},
  number       = {12},
  pages        = {1509--1522},
  year         = {2006},
  url          = {https://doi.org/10.1109/TC.2006.190},
  doi          = {10.1109/TC.2006.190},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/ScordinoL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/BartoliniBAL06,
  author       = {Cesare Bartolini and
                  Antonia Bertolino and
                  Guglielmo De Angelis and
                  Giuseppe Lipari},
  title        = {A {UML} Profile and a Methodology for Real-Time Systems Design},
  booktitle    = {32nd {EUROMICRO} Conference on Software Engineering and Advanced Applications
                  {(EUROMICRO-SEAA} 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik,
                  Croatia},
  pages        = {108--117},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/EUROMICRO.2006.14},
  doi          = {10.1109/EUROMICRO.2006.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/BartoliniBAL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/LorenteLB06,
  author       = {Jos{\'{e}} L. Lorente and
                  Giuseppe Lipari and
                  Enrico Bini},
  title        = {A hierarchical scheduling model for component-based real-time systems},
  booktitle    = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IPDPS.2006.1639405},
  doi          = {10.1109/IPDPS.2006.1639405},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/LorenteLB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AldeaBBBDDFGHGGLLMMGT06,
  author       = {Mario Aldea Rivas and
                  Guillem Bernat and
                  Ian Broster and
                  Alan Burns and
                  Radu Dobrin and
                  Jos{\'{e}} M. Drake and
                  Gerhard Fohler and
                  Paolo Gai and
                  Michael Gonz{\'{a}}lez Harbour and
                  Giacomo Guidi and
                  J. Javier Guti{\'{e}}rrez and
                  Tomas Lennvall and
                  Giuseppe Lipari and
                  J. M. Mart{\'{\i}}nez and
                  Julio L. Medina and
                  Jos{\'{e}} C. Palencia Guti{\'{e}}rrez and
                  Michael Trimarchi},
  title        = {{FSF:} {A} Real-Time Scheduling Architecture Framework},
  booktitle    = {12th {IEEE} Real-Time and Embedded Technology and Applications Symposium
                  {(RTAS} 2006), 4-7 April 2006, San Jose, California, {USA}},
  pages        = {113--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/RTAS.2006.18},
  doi          = {10.1109/RTAS.2006.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/AldeaBBBDDFGHGGLLMMGT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jec/LipariB05,
  author       = {Giuseppe Lipari and
                  Enrico Bini},
  title        = {A methodology for designing hierarchical scheduling systems},
  journal      = {J. Embed. Comput.},
  volume       = {1},
  number       = {2},
  pages        = {257--269},
  year         = {2005},
  url          = {http://content.iospress.com/articles/journal-of-embedded-computing/jec00019},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jec/LipariB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/AbeniCLMP05,
  author       = {Luca Abeni and
                  Tommaso Cucinotta and
                  Giuseppe Lipari and
                  Luca Marzario and
                  Luigi Palopoli},
  title        = {QoS Management Through Adaptive Reservations},
  journal      = {Real Time Syst.},
  volume       = {29},
  number       = {2-3},
  pages        = {131--155},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11241-005-6882-0},
  doi          = {10.1007/S11241-005-6882-0},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/AbeniCLMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PellizzoniL05,
  author       = {Rodolfo Pellizzoni and
                  Giuseppe Lipari},
  title        = {Feasibility Analysis of Real-Time Periodic Tasks with Offsets},
  journal      = {Real Time Syst.},
  volume       = {30},
  number       = {1-2},
  pages        = {105--128},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11241-005-0506-x},
  doi          = {10.1007/S11241-005-0506-X},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/PellizzoniL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
  author       = {Paul Caspi and
                  Alberto L. Sangiovanni{-}Vincentelli and
                  Lu{\'{\i}}s Almeida and
                  Albert Benveniste and
                  Bruno Bouyssounouse and
                  Giorgio C. Buttazzo and
                  Ivica Crnkovic and
                  Werner Damm and
                  Jakob Engblom and
                  Gerhard Fohler and
                  Marisol Garc{\'{\i}}a{-}Valls and
                  Hermann Kopetz and
                  Yassine Lakhnech and
                  Fran{\c{c}}ois Laroussinie and
                  Luciano Lavagno and
                  Giuseppe Lipari and
                  Florence Maraninchi and
                  Philipp Peti and
                  Juan Antonio de la Puente and
                  Norman Scaife and
                  Joseph Sifakis and
                  Robert de Simone and
                  Martin T{\"{o}}rngren and
                  Paulo Ver{\'{\i}}ssimo and
                  Andy J. Wellings and
                  Reinhard Wilhelm and
                  Tim A. C. Willemse and
                  Wang Yi},
  title        = {Guidelines for a graduate curriculum on embedded software and systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {4},
  number       = {3},
  pages        = {587--611},
  year         = {2005},
  url          = {https://doi.org/10.1145/1086519.1086526},
  doi          = {10.1145/1086519.1086526},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BiniBL05,
  author       = {Enrico Bini and
                  Giorgio C. Buttazzo and
                  Giuseppe Lipari},
  title        = {Speed Modulation in Energy-Aware Real-Time Systems},
  booktitle    = {17th Euromicro Conference on Real-Time Systems {(ECRTS} 2005), 6-8
                  July 2005, Palma de Mallorca, Spain, Proceedings},
  pages        = {3--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ECRTS.2005.29},
  doi          = {10.1109/ECRTS.2005.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BiniBL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BertognaCL05,
  author       = {Marko Bertogna and
                  Michele Cirinei and
                  Giuseppe Lipari},
  title        = {Improved Schedulability Analysis of {EDF} on Multiprocessor Platforms},
  booktitle    = {17th Euromicro Conference on Real-Time Systems {(ECRTS} 2005), 6-8
                  July 2005, Palma de Mallorca, Spain, Proceedings},
  pages        = {209--218},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ECRTS.2005.18},
  doi          = {10.1109/ECRTS.2005.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BertognaCL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BertognaCL05,
  author       = {Marko Bertogna and
                  Michele Cirinei and
                  Giuseppe Lipari},
  editor       = {James H. Anderson and
                  Giuseppe Prencipe and
                  Roger Wattenhofer},
  title        = {New Schedulability Tests for Real-Time Task Sets Scheduled by Deadline
                  Monotonic on Multiprocessors},
  booktitle    = {Principles of Distributed Systems, 9th International Conference, {OPODIS}
                  2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3974},
  pages        = {306--321},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11795490\_24},
  doi          = {10.1007/11795490\_24},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/BertognaCL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/PellizzoniL05,
  author       = {Rodolfo Pellizzoni and
                  Giuseppe Lipari},
  title        = {Improved Schedulability Analysis of Real-Time Transactions with Earliest
                  Deadline Scheduling},
  booktitle    = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
                  {(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
  pages        = {65--75},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RTAS.2005.28},
  doi          = {10.1109/RTAS.2005.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/PellizzoniL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BartoliniLN05,
  author       = {Cesare Bartolini and
                  Giuseppe Lipari and
                  Marco Di Natale},
  title        = {From Functional Blocks to the Synthesis of the Architectural Model
                  in Embedded Real-time Applications},
  booktitle    = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
                  {(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
  pages        = {458--467},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RTAS.2005.24},
  doi          = {10.1109/RTAS.2005.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/BartoliniLN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ValenteL05,
  author       = {Paolo Valente and
                  Giuseppe Lipari},
  title        = {An Upper Bound to the Lateness of Soft Real-Time Tasks Scheduled by
                  {EDF} on Multiprocessors},
  booktitle    = {Proceedings of the 26th {IEEE} Real-Time Systems Symposium {(RTSS}
                  2005), 6-8 December 2005, Miami, FL, {USA}},
  pages        = {311--320},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RTSS.2005.8},
  doi          = {10.1109/RTSS.2005.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/ValenteL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/GaiLNDF05,
  author       = {Paolo Gai and
                  Giuseppe Lipari and
                  Marco Di Natale and
                  Matteo Duranti and
                  Alberto Ferrari},
  title        = {Support for multiprocessor synchronization and resource sharing in
                  system-on-programmable chips with softcores},
  booktitle    = {Proceedings 2005 {IEEE} International {SOC} Conference, September
                  25-28, 2005, Washington Dulles Airport, Herndon, VA, {USA}},
  pages        = {109--110},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/SOCC.2005.1554472},
  doi          = {10.1109/SOCC.2005.1554472},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/socc/GaiLNDF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LipariLA04,
  author       = {Giuseppe Lipari and
                  Gerardo Lamastra and
                  Luca Abeni},
  title        = {Task Synchronization in Reservation-Based Real-Time Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {53},
  number       = {12},
  pages        = {1591--1601},
  year         = {2004},
  url          = {https://doi.org/10.1109/TC.2004.120},
  doi          = {10.1109/TC.2004.120},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/LipariLA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/LipariGTGA04,
  author       = {Giuseppe Lipari and
                  Paolo Gai and
                  Michael Trimarchi and
                  Giacomo Guidi and
                  Paolo Ancilotti},
  editor       = {Ivica Crnkovic and
                  Judith A. Stafford and
                  Heinz W. Schmidt and
                  Kurt C. Wallnau},
  title        = {A Hierarchical Framework for Component-Based Real-Time Systems},
  booktitle    = {Component-Based Software Engineering, 7th International Symposium,
                  {CBSE} 2004, Edinburgh, UK, May 24-25, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3054},
  pages        = {209--216},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24774-6\_19},
  doi          = {10.1007/978-3-540-24774-6\_19},
  timestamp    = {Sun, 02 Jun 2019 21:17:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cbse/LipariGTGA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BaruahL04,
  author       = {Sanjoy K. Baruah and
                  Giuseppe Lipari},
  title        = {Executing Aperiodic Jobs in a Multiprocessor Constant-Bandwidth Server
                  Implementation},
  booktitle    = {16th Euromicro Conference on Real-Time Systems {(ECRTS} 2004), 30
                  June - 2 July 1004, Catania, Italy, Proceedings},
  pages        = {109--116},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ECRTS.2004.11},
  doi          = {10.1109/ECRTS.2004.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BaruahL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/PellizzoniL04,
  author       = {Rodolfo Pellizzoni and
                  Giuseppe Lipari},
  title        = {A New Sufficient Feasibility Test for Asynchronous Real-Time Periodic
                  Task Sets},
  booktitle    = {16th Euromicro Conference on Real-Time Systems {(ECRTS} 2004), 30
                  June - 2 July 1004, Catania, Italy, Proceedings},
  pages        = {204--211},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ECRTS.2004.1},
  doi          = {10.1109/ECRTS.2004.1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/PellizzoniL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ScordinoL04,
  author       = {Claudio Scordino and
                  Giuseppe Lipari},
  editor       = {Giorgio C. Buttazzo},
  title        = {Using resource reservation techniques for power-aware scheduling},
  booktitle    = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
                  Conference On Embedded Software, Proceedings},
  pages        = {16--25},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1017753.1017761},
  doi          = {10.1145/1017753.1017761},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/ScordinoL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BaruahL04,
  author       = {Sanjoy K. Baruah and
                  Giuseppe Lipari},
  title        = {A Multiprocessor Implementation of the Total Bandwidth Server},
  booktitle    = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
                  New Mexico, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/IPDPS.2004.1302955},
  doi          = {10.1109/IPDPS.2004.1302955},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/BaruahL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/MarzarioLBC04,
  author       = {Luca Marzario and
                  Giuseppe Lipari and
                  Patricia Balbastre and
                  Alfons Crespo},
  title        = {{IRIS:} {A} New Reclaiming Algorithm for Server-Based Real-Time Systems},
  booktitle    = {10th {IEEE} Real-Time and Embedded Technology and Applications Symposium
                  {(RTAS} 2004), 25-28 May 2004, Toronto, Canada},
  pages        = {211--218},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/RTTAS.2004.1317266},
  doi          = {10.1109/RTTAS.2004.1317266},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/MarzarioLBC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/CucinottaPMLA04,
  author       = {Tommaso Cucinotta and
                  Luigi Palopoli and
                  Luca Marzario and
                  Giuseppe Lipari and
                  Luca Abeni},
  title        = {Adaptive reservations in a Linux environment},
  booktitle    = {10th {IEEE} Real-Time and Embedded Technology and Applications Symposium
                  {(RTAS} 2004), 25-28 May 2004, Toronto, Canada},
  pages        = {238--245},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/RTTAS.2004.1317269},
  doi          = {10.1109/RTTAS.2004.1317269},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/CucinottaPMLA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PezzeBDLRR05,
  author       = {Mauro Pezz{\`{e}} and
                  Andrea Baldini and
                  Giovanni Denaro and
                  Giuseppe Lipari and
                  Matteo Rossi and
                  Davide Rogai},
  editor       = {Mauro Pezz{\`{e}}},
  title        = {{QUACK:} {A} Platform for the Quality of New Generation Integrated
                  Embedded Systems},
  booktitle    = {Proceedings of the International Workshop on Test and Analysis of
                  Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {116},
  pages        = {113--131},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.082},
  doi          = {10.1016/J.ENTCS.2004.02.082},
  timestamp    = {Fri, 09 Dec 2022 13:14:28 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PezzeBDLRR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LipariGTGA05,
  author       = {Giuseppe Lipari and
                  Paolo Gai and
                  Michael Trimarchi and
                  Giacomo Guidi and
                  Paolo Ancilotti},
  editor       = {Mauro Pezz{\`{e}}},
  title        = {A Hierarchical Framework for Component-based Real-time Systems},
  booktitle    = {Proceedings of the International Workshop on Test and Analysis of
                  Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {116},
  pages        = {253--266},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.081},
  doi          = {10.1016/J.ENTCS.2004.02.081},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LipariGTGA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MazziniDNDLV03,
  author       = {Silvia Mazzini and
                  Massimo D'Alessandro and
                  Marco Di Natale and
                  Andrea Domenici and
                  Giuseppe Lipari and
                  Tullio Vardanega},
  editor       = {Jean{-}Pierre Rosen and
                  Alfred Strohmeier},
  title        = {{HRT-UML:} Taking {HRT-HOOD} onto {UML}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
                  Conference on Reliable Software Technologies, Toulouse, France, June
                  16-20, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2655},
  pages        = {405--416},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44947-7\_31},
  doi          = {10.1007/3-540-44947-7\_31},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MazziniDNDLV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LipariB03,
  author       = {Giuseppe Lipari and
                  Enrico Bini},
  title        = {Resource Partitioning among Real-Time Applications},
  booktitle    = {15th Euromicro Conference on Real-Time Systems {(ECRTS} 2003), 2-4
                  July 2003, Porto, Portugal, Proceedings},
  pages        = {151},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/EMRTS.2003.1212738},
  doi          = {10.1109/EMRTS.2003.1212738},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/LipariB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MazziniDNLV03,
  author       = {Silvia Mazzini and
                  Massimo D'Alessandro and
                  Marco Di Natale and
                  Giuseppe Lipari and
                  Tullio Vardanega},
  title        = {Issues in Mapping {HRT-HOOD} to {UML}},
  booktitle    = {15th Euromicro Conference on Real-Time Systems {(ECRTS} 2003), 2-4
                  July 2003, Porto, Portugal, Proceedings},
  pages        = {221--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/EMRTS.2003.1212747},
  doi          = {10.1109/EMRTS.2003.1212747},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/MazziniDNLV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PalopoliAL03,
  author       = {Luigi Palopoli and
                  Luca Abeni and
                  Giuseppe Lipari},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {On the Application of Hybrid Control to {CPU} Reservations},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {389--404},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_29},
  doi          = {10.1007/3-540-36580-X\_29},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PalopoliAL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/GaiNLFGM03,
  author       = {Paolo Gai and
                  Marco Di Natale and
                  Giuseppe Lipari and
                  Alberto Ferrari and
                  Claudio Gabellini and
                  Paolo Marceca},
  title        = {A comparison of {MPCP} and {MSRP} when sharing resources in the Janus
                  multiple-processor on a chip platform},
  booktitle    = {Proceedings of the 9th {IEEE} Real-Time and Embedded Technology and
                  Applications Symposium {(RTAS} 2003), May 27-30, 2003, Toronto, Canada},
  pages        = {189},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/RTTAS.2003.1203051},
  doi          = {10.1109/RTTAS.2003.1203051},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/GaiNLFGM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LipariBF03,
  author       = {Giuseppe Lipari and
                  Enrico Bini and
                  Gerhard Fohler},
  editor       = {Mauro Pezz{\`{e}}},
  title        = {A Framework for Composing Real-Time Schedulers},
  booktitle    = {International Workshop on Test and Analysis of Component-Based Systems,
                  TACoS 2003, Satellite Event of {ETAPS} 2003, Warsaw, Poland, April
                  5-6, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {82},
  number       = {6},
  pages        = {133--146},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81032-6},
  doi          = {10.1016/S1571-0661(04)81032-6},
  timestamp    = {Thu, 08 Dec 2022 11:29:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LipariBF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/GaiLN02,
  author       = {Paolo Gai and
                  Giuseppe Lipari and
                  Marco Di Natale},
  title        = {Stack Size Minimization for Embedded Real-Time Systems-on-a-Chip},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {7},
  number       = {1-2},
  pages        = {53--87},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1019795414875},
  doi          = {10.1023/A:1019795414875},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/GaiLN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/PalopoliLLABA02,
  author       = {Luigi Palopoli and
                  Giuseppe Lipari and
                  Gerardo Lamastra and
                  Luca Abeni and
                  Gabriele Bolognini and
                  Paolo Ancilotti},
  title        = {An object-oriented tool for simulating distributed real-time control
                  systems},
  journal      = {Softw. Pract. Exp.},
  volume       = {32},
  number       = {9},
  pages        = {907--932},
  year         = {2002},
  url          = {https://doi.org/10.1002/spe.467},
  doi          = {10.1002/SPE.467},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/PalopoliLLABA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ButtazzoLCA02,
  author       = {Giorgio C. Buttazzo and
                  Giuseppe Lipari and
                  Marco Caccamo and
                  Luca Abeni},
  title        = {Elastic Scheduling for Flexible Workload Management},
  journal      = {{IEEE} Trans. Computers},
  volume       = {51},
  number       = {3},
  pages        = {289--302},
  year         = {2002},
  url          = {https://doi.org/10.1109/12.990127},
  doi          = {10.1109/12.990127},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/ButtazzoLCA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BaruahGL02,
  author       = {Sanjoy K. Baruah and
                  Jo{\"{e}}l Goossens and
                  Giuseppe Lipari},
  title        = {Implementing Constant-Bandwidth Servers upon Multiprocessor Platform},
  booktitle    = {Proceedings of the 8th {IEEE} Real-Time and Embedded Technology and
                  Applications Symposium {(RTAS} 2002), 24-27 September 2002, San Jose,
                  CA, {USA}},
  pages        = {154--163},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/RTTAS.2002.1137390},
  doi          = {10.1109/RTTAS.2002.1137390},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/BaruahGL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AbeniPLW02,
  author       = {Luca Abeni and
                  Luigi Palopoli and
                  Giuseppe Lipari and
                  Jonathan Walpole},
  title        = {Analysis of a Reservation-Based Feedback Scheduler},
  booktitle    = {Proceedings of the 23rd {IEEE} Real-Time Systems Symposium (RTSS'02),
                  Austin, Texas, USA, December 3-5, 2002},
  pages        = {71--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/REAL.2002.1181563},
  doi          = {10.1109/REAL.2002.1181563},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/AbeniPLW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/PalopoliLANAC01,
  author       = {Luigi Palopoli and
                  Giuseppe Lipari and
                  Luca Abeni and
                  Marco Di Natale and
                  Paolo Ancilotti and
                  Fabio Conticelli},
  editor       = {Seongsoo Hong and
                  Santosh Pande},
  title        = {A Tool for Simulation and Fast Prototyping of Embedded Control Systems},
  booktitle    = {Proceedings of The Workshop on Languages, Compilers, and Tools for
                  Embedded Systems {(LCTES} 2001), June 22-23, 2001 / The Workshop on
                  Optimization of Middleware and Distributed Systems {(OM} 2001), June
                  18, 2001, Snowbird, Utah, {USA}},
  pages        = {73--81},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/384197.384209},
  doi          = {10.1145/384197.384209},
  timestamp    = {Sun, 02 Oct 2022 16:11:14 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/PalopoliLANAC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PalopoliLANAC01,
  author       = {Luigi Palopoli and
                  Giuseppe Lipari and
                  Luca Abeni and
                  Marco Di Natale and
                  Paolo Ancilotti and
                  Fabio Conticelli},
  editor       = {Rastislav Bod{\'{\i}}k and
                  Vugranam C. Sreedhar},
  title        = {A tool for simulation and fast prototyping of embedded control systems},
  booktitle    = {Proceedings of the 2001 {ACM} {SIGPLAN} Workshop on Optimization of
                  Middleware and Distributed Systems, {OM} '01, Snow Bird, Utah, {USA}},
  pages        = {73--81},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/384198.384209},
  doi          = {10.1145/384198.384209},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/PalopoliLANAC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/LipariB01,
  author       = {Giuseppe Lipari and
                  Sanjoy K. Baruah},
  title        = {A Hierarchical Extension to the Constant Bandwidth Server Framework},
  booktitle    = {Proceedings of the 7th {IEEE} Real-Time Technology and Applications
                  Symposium {(RTAS} 2001), 30 May - 1 June 2001, Taipei, Taiwan},
  pages        = {26--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/RTTAS.2001.929863},
  doi          = {10.1109/RTTAS.2001.929863},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/LipariB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GaiLN01,
  author       = {Paolo Gai and
                  Giuseppe Lipari and
                  Marco Di Natale},
  title        = {Minimizing Memory Utilization of Real-Time Task Sets in Single and
                  Multi-Processor Systems-on-a-Chip},
  booktitle    = {Proceedings of the 22nd {IEEE} Real-Time Systems Symposium {(RTSS}
                  2001), London, UK, 2-6 December 2001},
  pages        = {73--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/REAL.2001.990598},
  doi          = {10.1109/REAL.2001.990598},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/GaiLN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LamastraLA01,
  author       = {Gerardo Lamastra and
                  Giuseppe Lipari and
                  Luca Abeni},
  title        = {A Bandwidth Inheritance Algorithm for Real-Time Task Synchronization
                  in Open Systems},
  booktitle    = {Proceedings of the 22nd {IEEE} Real-Time Systems Symposium {(RTSS}
                  2001), London, UK, 2-6 December 2001},
  pages        = {151--160},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/REAL.2001.990606},
  doi          = {10.1109/REAL.2001.990606},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/LamastraLA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LipariB00,
  author       = {Giuseppe Lipari and
                  Giorgio C. Buttazzo},
  title        = {Schedulability analysis of periodic and aperiodic tasks with resource
                  constraints},
  journal      = {J. Syst. Archit.},
  volume       = {46},
  number       = {4},
  pages        = {327--338},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1383-7621(99)00009-0},
  doi          = {10.1016/S1383-7621(99)00009-0},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/LipariB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LipariB00,
  author       = {Giuseppe Lipari and
                  Sanjoy K. Baruah},
  title        = {Greedy reclamation of unused bandwidth in constant-bandwidth servers},
  booktitle    = {12th Euromicro Conference on Real-Time Systems {(ECRTS} 2000), 19-21
                  June 2000, Stockholm, Sweden, Proceedings},
  pages        = {193--200},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/EMRTS.2000.854007},
  doi          = {10.1109/EMRTS.2000.854007},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/LipariB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/LipariB00,
  author       = {Giuseppe Lipari and
                  Sanjoy K. Baruah},
  title        = {Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic
                  Systems},
  booktitle    = {Proceedings of the Sixth {IEEE} Real Time Technology and Applications
                  Symposium, {RTAS} 2000, Washington, DC, USA, May 31 - June 2, 2000},
  pages        = {166--175},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/RTTAS.2000.852461},
  doi          = {10.1109/RTTAS.2000.852461},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/LipariB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LipariCB00,
  author       = {Giuseppe Lipari and
                  John Carpenter and
                  Sanjoy K. Baruah},
  title        = {A framework for achieving inter-application isolation in multiprogrammed,
                  hard real-time environments},
  booktitle    = {Proceedings of the 21st {IEEE} Real-Time Systems Symposium {(RTSS}
                  2000), Orlando, Florida, USA, 27-30 November 2000},
  pages        = {217--226},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/REAL.2000.896011},
  doi          = {10.1109/REAL.2000.896011},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/LipariCB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LipariB99,
  author       = {Giuseppe Lipari and
                  Giorgio C. Buttazzo},
  title        = {Scheduling real-time multi-task applications in an open system},
  booktitle    = {11th Euromicro Conference on Real-Time Systems {(ECRTS} 1999), 9-11
                  June 1999, York, England, UK, Proceedings},
  pages        = {234--241},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/EMRTS.1999.777470},
  doi          = {10.1109/EMRTS.1999.777470},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/LipariB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/AbeniLB99,
  author       = {Luca Abeni and
                  Giuseppe Lipari and
                  Giorgio C. Buttazzo},
  title        = {Constant Bandwidth vs Proportional Share Resource Allocation},
  booktitle    = {{IEEE} International Conference on Multimedia Computing and Systems,
                  {ICMCS} 1999, Florence, Italy, June 7-11, 1999. Volume {II}},
  pages        = {107--111},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/MMCS.1999.778154},
  doi          = {10.1109/MMCS.1999.778154},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icmcs/AbeniLB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BaruahBGL99,
  author       = {Sanjoy K. Baruah and
                  Giorgio C. Buttazzo and
                  Sergey Gorinsky and
                  Giuseppe Lipari},
  title        = {Scheduling Periodic Task Systems to Minimize Output Jitter},
  booktitle    = {6th International Workshop on Real-Time Computing and Applications
                  Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
  pages        = {62--69},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/RTCSA.1999.811194},
  doi          = {10.1109/RTCSA.1999.811194},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/BaruahBGL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CaccamoLB99,
  author       = {Marco Caccamo and
                  Giuseppe Lipari and
                  Giorgio C. Buttazzo},
  title        = {Sharing Resources among Periodic and Aperiodic Tasks with Dynamic
                  Deadlines},
  booktitle    = {Proceedings of the 20th {IEEE} Real-Time Systems Symposium, Phoenix,
                  AZ, USA, December 1-3, 1999},
  pages        = {284--293},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/REAL.1999.818856},
  doi          = {10.1109/REAL.1999.818856},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/CaccamoLB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LipariBA98,
  author       = {Giuseppe Lipari and
                  Giorgio C. Buttazzo and
                  Luca Abeni},
  title        = {A Bandwidth Reservation Algorithm for Multi-Application Systems},
  booktitle    = {5th International Workshop on Real-Time Computing Systems and Applications
                  {(RTCSA} '98), 27-29 October 1998, Hiroshima, Japan},
  pages        = {77--82},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/RTCSA.1998.726354},
  doi          = {10.1109/RTCSA.1998.726354},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/LipariBA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/CasileBLL98,
  author       = {Antonino Casile and
                  Giorgio C. Buttazzo and
                  Gerardo Lamastra and
                  Giuseppe Lipari},
  title        = {Simulation and Tracing of Hybrid Task Sets on Distributed Systems},
  booktitle    = {5th International Workshop on Real-Time Computing Systems and Applications
                  {(RTCSA} '98), 27-29 October 1998, Hiroshima, Japan},
  pages        = {249--256},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/RTCSA.1998.726425},
  doi          = {10.1109/RTCSA.1998.726425},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/CasileBLL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ButtazzoLA98,
  author       = {Giorgio C. Buttazzo and
                  Giuseppe Lipari and
                  Luca Abeni},
  title        = {Elastic Task Model for Adaptive Rate Control},
  booktitle    = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
                  Spain, December 2-4, 1998},
  pages        = {286--295},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/REAL.1998.739754},
  doi          = {10.1109/REAL.1998.739754},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/ButtazzoLA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/ButtazzoL97,
  author       = {Giorgio C. Buttazzo and
                  Giuseppe Lipari},
  title        = {Scheduling analysis of hybrid real-time task sets},
  booktitle    = {Proceedings of the Ninth Euromicro Workshop on Real-Time Systems,
                  {RTS} 1997, 11-13 June, 1997, Toledo, Spain},
  pages        = {200--206},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/EMWRTS.1997.613786},
  doi          = {10.1109/EMWRTS.1997.613786},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/ButtazzoL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LamastraLBCC97,
  author       = {Gerardo Lamastra and
                  Giuseppe Lipari and
                  Giorgio C. Buttazzo and
                  Antonino Casile and
                  Fabio Conticelli},
  title        = {{HARTIK} 3.0: a portable system for developing real-time applications},
  booktitle    = {4th International Workshop on Real-Time Computing Systems and Applications
                  {(RTCSA} '97), 27-29 October 1997, Taipei, Taiwan},
  pages        = {43--50},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/RTCSA.1997.629172},
  doi          = {10.1109/RTCSA.1997.629172},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/LamastraLBCC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ButtazzoCLL97,
  author       = {Giorgio C. Buttazzo and
                  Fabio Conticelli and
                  Gerardo Lamastra and
                  Giuseppe Lipari},
  title        = {Robot control in hard real-time environment},
  booktitle    = {4th International Workshop on Real-Time Computing Systems and Applications
                  {(RTCSA} '97), 27-29 October 1997, Taipei, Taiwan},
  pages        = {152--159},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/RTCSA.1997.629195},
  doi          = {10.1109/RTCSA.1997.629195},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/ButtazzoCLL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics