BibTeX records: Wajeb Saab

download as .bib file

@article{DBLP:journals/tii/MohiuddinSBB18,
  author    = {Maaz Mohiuddin and
               Wajeb Saab and
               Simon Bliudze and
               Jean{-}Yves Le Boudec},
  title     = {Axo: Detection and Recovery for Delay and Crash Faults in Real-Time
               Control Systems},
  journal   = {{IEEE} Trans. Industrial Informatics},
  volume    = {14},
  number    = {7},
  pages     = {3065--3075},
  year      = {2018},
  url       = {https://doi.org/10.1109/TII.2017.2772219},
  doi       = {10.1109/TII.2017.2772219},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tii/MohiuddinSBB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eenergy/AcharaMSRBR18,
  author    = {Jagdish Prasad Achara and
               Maaz Mohiuddin and
               Wajeb Saab and
               Roman Rudnik and
               Jean{-}Yves Le Boudec and
               Lorenzo Reyes{-}Chamorro},
  title     = {{T-RECS:} {A} Virtual Commissioning Tool for Software-Based Control
               of Electric Grids: Design, Validation, and Operation},
  booktitle = {Proceedings of the Ninth International Conference on Future Energy
               Systems, e-Energy 2018, Karlsruhe, Germany, June 12-15, 2018},
  pages     = {303--313},
  year      = {2018},
  crossref  = {DBLP:conf/eenergy/2018},
  url       = {https://doi.org/10.1145/3208903.3208928},
  doi       = {10.1145/3208903.3208928},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eenergy/AcharaMSRBR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/KohroudiJMSB18,
  author    = {Seyed Alireza Sanaee Kohroudi and
               Mostafa Jalal and
               Maaz Mohiuddin and
               Wajeb Saab and
               Jean{-}Yves Le Boudec},
  title     = {Experimental validation of the suitability of virtualization-based
               replication for fault tolerance in real-time control of electric grids},
  booktitle = {Proceedings of the 12th {ACM/IEEE} International Symposium on Empirical
               Software Engineering and Measurement, {ESEM} 2018, Oulu, Finland,
               October 11-12, 2018},
  pages     = {46:1--46:4},
  year      = {2018},
  crossref  = {DBLP:conf/esem/2018},
  url       = {https://doi.org/10.1145/3239235.3267429},
  doi       = {10.1145/3239235.3267429},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esem/KohroudiJMSB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SaabMBB18,
  author    = {Wajeb Saab and
               Maaz Mohiuddin and
               Simon Bliudze and
               Jean{-}Yves Le Boudec},
  title     = {Ordering events based on intentionality in cyber-physical systems},
  booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
               Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
  pages     = {107--118},
  year      = {2018},
  crossref  = {DBLP:conf/iccps/2018},
  url       = {https://doi.org/10.1109/ICCPS.2018.00019},
  doi       = {10.1109/ICCPS.2018.00019},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccps/SaabMBB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AcharaMSRB17,
  author    = {Jagdish Prasad Achara and
               Maaz Mohiuddin and
               Wajeb Saab and
               Roman Rudnik and
               Jean{-}Yves Le Boudec},
  title     = {{T-RECS:} {A} software testbed for multi-agent real-time control of
               electric grids},
  booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
               Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
               2017},
  pages     = {1--4},
  year      = {2017},
  crossref  = {DBLP:conf/etfa/2017},
  url       = {https://doi.org/10.1109/ETFA.2017.8247706},
  doi       = {10.1109/ETFA.2017.8247706},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/etfa/AcharaMSRB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SaabMBB17,
  author    = {Wajeb Saab and
               Maaz Mohiuddin and
               Simon Bliudze and
               Jean{-}Yves Le Boudec},
  title     = {Quarts: Quick agreement for real-time control systems},
  booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
               Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
               2017},
  pages     = {1--8},
  year      = {2017},
  crossref  = {DBLP:conf/etfa/2017},
  url       = {https://doi.org/10.1109/ETFA.2017.8247590},
  doi       = {10.1109/ETFA.2017.8247590},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/etfa/SaabMBB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/MohiuddinSBB16,
  author    = {Maaz Mohiuddin and
               Wajeb Saab and
               Simon Bliudze and
               Jean{-}Yves Le Boudec},
  title     = {Axo: Masking delay faults in real-time control systems},
  booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics
               Society, Florence, Italy, October 23-26, 2016},
  pages     = {4933--4940},
  year      = {2016},
  crossref  = {DBLP:conf/iecon/2016},
  url       = {https://doi.org/10.1109/IECON.2016.7793512},
  doi       = {10.1109/IECON.2016.7793512},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iecon/MohiuddinSBB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pscc/BernsteinBPRS16,
  author    = {Andrey Bernstein and
               Jean{-}Yves Le Boudec and
               Mario Paolone and
               Lorenzo Reyes{-}Chamorro and
               Wajeb Saab},
  title     = {Aggregation of power capabilities of heterogeneous resources for real-time
               control of power grids},
  booktitle = {Power Systems Computation Conference, {PSCC} 2016, Genoa, Italy, June
               20-24, 2016},
  pages     = {1--7},
  year      = {2016},
  crossref  = {DBLP:conf/pscc/2016},
  url       = {https://doi.org/10.1109/PSCC.2016.7540925},
  doi       = {10.1109/PSCC.2016.7540925},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pscc/BernsteinBPRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BliudzeCJMRSW15,
  author    = {Simon Bliudze and
               Alessandro Cimatti and
               Mohamad Jaber and
               Sergio Mover and
               Marco Roveri and
               Wajeb Saab and
               Qiang Wang},
  title     = {Formal Verification of Infinite-State {BIP} Models},
  booktitle = {Automated Technology for Verification and Analysis - 13th International
               Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  pages     = {326--343},
  year      = {2015},
  crossref  = {DBLP:conf/atva/2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7\_25},
  doi       = {10.1007/978-3-319-24953-7\_25},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/BliudzeCJMRSW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceac/AbdelghanySSYCK13,
  author    = {Ibrahim Abdelghany and
               Wajeb Saab and
               Tarek Sakakini and
               Abdul{-}Amir Yassine and
               Ali Chehab and
               Ayman I. Kayssi and
               Imad H. Elhajj},
  title     = {Energy-efficient truncated multipliers},
  booktitle = {4th Annual International Conference on Energy Aware Computing Systems
               and Applications, {ICEAC} 2013, Istanbul, Turkey, December 16-18,
               2013},
  pages     = {34--39},
  year      = {2013},
  crossref  = {DBLP:conf/iceac/2013},
  url       = {https://doi.org/10.1109/ICEAC.2013.6737633},
  doi       = {10.1109/ICEAC.2013.6737633},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceac/AbdelghanySSYCK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idt/AbdelghanySSYCKE13,
  author    = {Ibrahim Abdelghany and
               Wajeb Saab and
               Tarek Sakakini and
               Abdul{-}Amir Yassine and
               Ali Chehab and
               Ayman I. Kayssi and
               Imad H. Elhajj},
  title     = {Energy-efficient truncated multipliers with scaling},
  booktitle = {8th International Design and Test Symposium, {IDT} 2013, Marrakesh,
               Morocco, 16-18 December, 2013},
  pages     = {1--6},
  year      = {2013},
  crossref  = {DBLP:conf/idt/2013},
  url       = {https://doi.org/10.1109/IDT.2013.6727101},
  doi       = {10.1109/IDT.2013.6727101},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/idt/AbdelghanySSYCKE13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eenergy/2018,
  editor    = {Hartmut Schmeck and
               Veit Hagenmeyer},
  title     = {Proceedings of the Ninth International Conference on Future Energy
               Systems, e-Energy 2018, Karlsruhe, Germany, June 12-15, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3208903},
  doi       = {10.1145/3208903},
  isbn      = {978-1-4503-5767-8},
  timestamp = {Wed, 21 Nov 2018 12:44:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eenergy/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esem/2018,
  editor    = {Markku Oivo and
               Daniel M{\'{e}}ndez Fern{\'{a}}ndez and
               Audris Mockus},
  title     = {Proceedings of the 12th {ACM/IEEE} International Symposium on Empirical
               Software Engineering and Measurement, {ESEM} 2018, Oulu, Finland,
               October 11-12, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3239235},
  doi       = {10.1145/3239235},
  timestamp = {Wed, 21 Nov 2018 12:44:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccps/2018,
  editor    = {Chris Gill and
               Bruno Sinopoli and
               Xue Liu and
               Paulo Tabuada},
  title     = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
               Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
  publisher = {{IEEE} Computer Society / {ACM}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8429083/proceeding},
  isbn      = {978-1-5386-5301-2},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccps/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etfa/2017,
  title     = {22nd {IEEE} International Conference on Emerging Technologies and
               Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
               2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8233358/proceeding},
  isbn      = {978-1-5090-6505-9},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/etfa/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iecon/2016,
  title     = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics
               Society, Florence, Italy, October 23-26, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7782522/proceeding},
  isbn      = {978-1-5090-3474-1},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iecon/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pscc/2016,
  title     = {Power Systems Computation Conference, {PSCC} 2016, Genoa, Italy, June
               20-24, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7527554/proceeding},
  isbn      = {978-88-941051-2-4},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pscc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2015,
  editor    = {Bernd Finkbeiner and
               Geguang Pu and
               Lijun Zhang},
  title     = {Automated Technology for Verification and Analysis - 13th International
               Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9364},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7},
  doi       = {10.1007/978-3-319-24953-7},
  isbn      = {978-3-319-24952-0},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceac/2013,
  title     = {4th Annual International Conference on Energy Aware Computing Systems
               and Applications, {ICEAC} 2013, Istanbul, Turkey, December 16-18,
               2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6720514/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceac/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/idt/2013,
  title     = {8th International Design and Test Symposium, {IDT} 2013, Marrakesh,
               Morocco, 16-18 December, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6717187/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/idt/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics