Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/vecos/AbdullaABN18,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmed Bouajjani and
                  Tuan Phong Ngo},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Replacing Store Buffers by Load Buffers in {TSO}},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {22--28},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_2},
  doi          = {10.1007/978-3-030-00359-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/AbdullaABN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/BarkaouiBL18,
  author       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Zhiwu Li},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Exploiting Local Persistency for Reduced State Space Generation},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {166--181},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_11},
  doi          = {10.1007/978-3-030-00359-3\_11},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/BarkaouiBL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/BasileBLT18,
  author       = {Davide Basile and
                  Maurice H. ter Beek and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Orchestration Synthesis for Real-Time Service Contracts},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {31--47},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_3},
  doi          = {10.1007/978-3-030-00359-3\_3},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/BasileBLT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/BouchekirB18,
  author       = {Redouane Bouchekir and
                  Mohand Cherif Boukala},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Toward Implicit Learning for the Compositional Verification of Markov
                  Decision Processes},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {200--217},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_13},
  doi          = {10.1007/978-3-030-00359-3\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/BouchekirB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/CarnevaliFGV18,
  author       = {Laura Carnevali and
                  Alessandro Fantechi and
                  Gloria Gori and
                  Enrico Vicario},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Analysis of a Road/Tramway Intersection by the {ORIS} Tool},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {185--199},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_12},
  doi          = {10.1007/978-3-030-00359-3\_12},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vecos/CarnevaliFGV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/FarhadiIH18,
  author       = {Alireza Farhadi and
                  Mohammad Izadi and
                  Jafar Habibi},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {A Protocol for Constraint Automata Execution in a Synchronous Network
                  of Processors},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {80--94},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_6},
  doi          = {10.1007/978-3-030-00359-3\_6},
  timestamp    = {Wed, 19 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/FarhadiIH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/Given-WilsonJL18,
  author       = {Thomas Given{-}Wilson and
                  Nisrine Jafri and
                  Axel Legay},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {The State of Fault Injection Vulnerability Detection},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_1},
  doi          = {10.1007/978-3-030-00359-3\_1},
  timestamp    = {Wed, 19 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/Given-WilsonJL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/HamoudaBHR18,
  author       = {Roua Ben Hamouda and
                  Sabrine Boussema and
                  Imene Ben Hafaiedh and
                  Riadh Robbana},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Performance Evaluation of Dynamic Load Balancing Protocols Based on
                  Formal Models in Cloud Environments},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {64--79},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_5},
  doi          = {10.1007/978-3-030-00359-3\_5},
  timestamp    = {Wed, 19 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/HamoudaBHR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/PommelletT18,
  author       = {Adrien Pommellet and
                  Tayssir Touili},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {{LTL} Model-Checking for Communicating Concurrent Programs},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {150--165},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_10},
  doi          = {10.1007/978-3-030-00359-3\_10},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/PommelletT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/Renault18,
  author       = {Etienne Renault},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Improving Parallel State-Space Exploration Using Genetic Algorithms},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_9},
  doi          = {10.1007/978-3-030-00359-3\_9},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/Renault18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/VistbakkaT18,
  author       = {Inna Vistbakka and
                  Elena Troubitsyna},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Modelling and Verification of Dynamic Role-Based Access Control},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {48--63},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_4},
  doi          = {10.1007/978-3-030-00359-3\_4},
  timestamp    = {Wed, 19 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/VistbakkaT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/WangKS18,
  author       = {Rui Wang and
                  Lars Michael Kristensen and
                  Volker Stolz},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {{MBT/CPN:} {A} Tool for Model-Based Software Testing of Distributed
                  Systems Protocols Using Coloured Petri Nets},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {97--113},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_7},
  doi          = {10.1007/978-3-030-00359-3\_7},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/WangKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vecos/YeDLBM18,
  author       = {Lina Ye and
                  Philippe Dague and
                  Delphine Longuet and
                  Laura Brand{\'{a}}n Briones and
                  Agnes Madalinski},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {How to Be Sure a Faulty System Does Not Always Appear Healthy?},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {114--129},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_8},
  doi          = {10.1007/978-3-030-00359-3\_8},
  timestamp    = {Wed, 19 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/YeDLBM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vecos/2018,
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3},
  doi          = {10.1007/978-3-030-00359-3},
  isbn         = {978-3-030-00358-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/2018.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.