Search dblp for Publications

export results for "toc:db/conf/vecos/vecos2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/vecos/AmanC17,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine
                  Maude},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {155--170},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_11},
  doi          = {10.1007/978-3-319-66176-6\_11},
  timestamp    = {Wed, 31 Jan 2024 20:36:03 +0100},
  biburl       = {https://dblp.org/rec/conf/vecos/AmanC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/AndreRW17,
  author       = {Pierre Andr{\'{e}} and
                  Nicolas Rivi{\`{e}}re and
                  H{\'{e}}l{\`{e}}ne Waeselynck},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {A Toolset for Mobile Systems Testing},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_9},
  doi          = {10.1007/978-3-319-66176-6\_9},
  timestamp    = {Tue, 15 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/AndreRW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/AyubH17,
  author       = {Muhammad Saad Ayub and
                  Osman Hasan},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm
                  for a Surgical Robot},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_1},
  doi          = {10.1007/978-3-319-66176-6\_1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/AyubH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/BoussifG17,
  author       = {Abderraouf Boussif and
                  Mohamed Ghazel},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {An Experimental Comparison of Two Approaches for Diagnosability Analysis
                  of Discrete Event Systems - {A} Railway Case-Study},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_7},
  doi          = {10.1007/978-3-319-66176-6\_7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/BoussifG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/GuesmiHBBN17,
  author       = {Hela Guesmi and
                  Belgacem Ben Hedia and
                  Simon Bliudze and
                  Saddek Bensalem and
                  Briag Le Nabec},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {{TT-BIP:} Using Correct-by-Design {BIP} Approach for Modelling Real-Time
                  System with Time-Triggered Paradigm},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {171--188},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_12},
  doi          = {10.1007/978-3-319-66176-6\_12},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/GuesmiHBBN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/HakmiLA17,
  author       = {Sedda Hakmi and
                  Ouiza Lekadir and
                  Djamil A{\"{\i}}ssani},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Application of Generalized Stochastic Petri Nets to Performance Modeling
                  of the {RF} Communication in Sensor Networks},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_3},
  doi          = {10.1007/978-3-319-66176-6\_3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/HakmiLA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/JouiniEBE17,
  author       = {Hana Jouini and
                  Mohamed Escheikh and
                  Kamel Barkaoui and
                  Tahar Ezzedine},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Mobility Load Balancing over Intra-frequency Heterogeneous Networks
                  Using Handover Adaptation},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_8},
  doi          = {10.1007/978-3-319-66176-6\_8},
  timestamp    = {Tue, 15 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/JouiniEBE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/KamaliP17,
  author       = {Mojgan Kamali and
                  Luigia Petre},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Uppaal vs Event-B for Modelling Optimised Link State Routing},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {189--203},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_13},
  doi          = {10.1007/978-3-319-66176-6\_13},
  timestamp    = {Tue, 15 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/KamaliP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/MangeanBBF17,
  author       = {Armel Mangean and
                  Jean{-}Luc B{\'{e}}chennec and
                  Mika{\"{e}}l Briday and
                  S{\'{e}}bastien Faucou},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {{WCET} Analysis by Model Checking for a Processor with Dynamic Branch
                  Prediction},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {64--78},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_5},
  doi          = {10.1007/978-3-319-66176-6\_5},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vecos/MangeanBBF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/PoplavkoNAZBK17,
  author       = {Peter Poplavko and
                  Ayoub Nouri and
                  Lefteris Angelis and
                  Alexandros Zerzelidis and
                  Saddek Bensalem and
                  Panagiotis Katsaros},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Regression-Based Statistical Bounds on Software Execution Time},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {48--63},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_4},
  doi          = {10.1007/978-3-319-66176-6\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vecos/PoplavkoNAZBK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/SeghaierT17,
  author       = {Ibtissem Seghaier and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Intertwined Global Optimization Based Reachability Analysis},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {139--154},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_10},
  doi          = {10.1007/978-3-319-66176-6\_10},
  timestamp    = {Tue, 15 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/SeghaierT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/YounesB17,
  author       = {Sana Youn{\`{e}}s and
                  Momtez Benmbarek},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Performance Analysis of Multi-services Call Admission Control in Cellular
                  Network Using Probabilistic Model Checking},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_2},
  doi          = {10.1007/978-3-319-66176-6\_2},
  timestamp    = {Tue, 15 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/YounesB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/YuHQMW17,
  author       = {Qi Yu and
                  Libo Huang and
                  Cheng Qian and
                  Jianqiao Ma and
                  Zhiying Wang},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Factor-Based {C-AMAT} Analysis for Memory Optimization},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {79--91},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_6},
  doi          = {10.1007/978-3-319-66176-6\_6},
  timestamp    = {Tue, 15 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/YuHQMW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vecos/2017,
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6},
  doi          = {10.1007/978-3-319-66176-6},
  isbn         = {978-3-319-66175-9},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vecos/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.