default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/vecos:"
download as .bib file
@proceedings{DBLP:conf/aisola/2023s,
editor = {Bernhard Steffen},
title = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-73741-1},
doi = {10.1007/978-3-031-73741-1},
isbn = {978-3-031-73740-4},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisola/2023s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisola/2023,
editor = {Bernhard Steffen},
title = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-46002-9},
doi = {10.1007/978-3-031-46002-9},
isbn = {978-3-031-46001-2},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisola/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2023,
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-49737-7},
doi = {10.1007/978-3-031-49737-7},
isbn = {978-3-031-49736-0},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AdeltBHNR23,
author = {Julius Adelt and
Sebastian Bruch and
Paula Herber and
Mathis Niehage and
Anne Remke},
editor = {Bernhard Steffen},
title = {Shielded Learning for Resilience and Performance Based on Statistical
Model Checking in Simulink},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {94--118},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_6},
doi = {10.1007/978-3-031-46002-9\_6},
timestamp = {Sat, 08 Jun 2024 13:13:50 +0200},
biburl = {https://dblp.org/rec/conf/vecos/AdeltBHNR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AhrendtH23,
author = {Wolfgang Ahrendt and
Klaus Havelund},
editor = {Bernhard Steffen},
title = {{AI} Assisted Programming - (AISoLA 2023 Track Introduction)},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {351--354},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_22},
doi = {10.1007/978-3-031-46002-9\_22},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AhrendtH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AichernigH23,
author = {Bernhard K. Aichernig and
Klaus Havelund},
editor = {Bernhard Steffen},
title = {AI-Assisted Programming with Test-Based Refinement},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {385--411},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_24},
doi = {10.1007/978-3-031-73741-1\_24},
timestamp = {Fri, 08 Nov 2024 20:51:01 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AichernigH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AlQadasiFB23,
author = {Hamzah Al{-}Qadasi and
Yli{\`{e}}s Falcone and
Saddek Bensalem},
editor = {Bernhard Steffen},
title = {DeepAbstraction++: Enhancing Test Prioritization Performance via Combined
Parameterized Boxes},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {77--93},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_5},
doi = {10.1007/978-3-031-46002-9\_5},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AlQadasiFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AmraniOS23,
author = {Moussa Amrani and
Abdelkader Ouared and
Pierre{-}Yves Schobbens},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Command {\&} Control in UAVs Fleets: Coordinating Drones for Ground
Missions in Changing Contexts},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {163--177},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_12},
doi = {10.1007/978-3-031-49737-7\_12},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AmraniOS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ArcileDK23,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Factorization of the State Space Construction for Cyclic Systems with
Data},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {1--14},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_1},
doi = {10.1007/978-3-031-49737-7\_1},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ArcileDK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BeguinetCRS23,
author = {Hugo Beguinet and
C{\'{e}}line Chevalier and
Thomas Ricosset and
Hugo Senet},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Formal Verification of a Post-quantum Signal Protocol with Tamarin},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {105--121},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_8},
doi = {10.1007/978-3-031-49737-7\_8},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BeguinetCRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BelznerGW23,
author = {Lenz Belzner and
Thomas Gabor and
Martin Wirsing},
editor = {Bernhard Steffen},
title = {Large Language Model Assisted Software Engineering: Prospects, Challenges,
and a Case Study},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {355--374},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_23},
doi = {10.1007/978-3-031-46002-9\_23},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BelznerGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BensalemCHHWZ23,
author = {Saddek Bensalem and
Chih{-}Hong Cheng and
Wei Huang and
Xiaowei Huang and
Changshun Wu and
Xingyu Zhao},
editor = {Bernhard Steffen},
title = {What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled
Safety-Critical Systems},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {55--76},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_4},
doi = {10.1007/978-3-031-46002-9\_4},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/BensalemCHHWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BensalemKNLNABCDEFHHKKPPPSTW23,
author = {Saddek Bensalem and
Panagiotis Katsaros and
Dejan Nickovic and
Brian Hsuan{-}Cheng Liao and
Ricardo Ruiz Nolasco and
Mohamed Abd El Salam Ahmed and
Tewodros A. Beyene and
Filip Cano and
Antoine Delacourt and
Hasan Esen and
Alexandru Forrai and
Weicheng He and
Xiaowei Huang and
Nikolaos Kekatos and
Bettina K{\"{o}}nighofer and
Michael Paulitsch and
Doron Peled and
Matthieu Ponchant and
Lev Sorokin and
Son Tong and
Changshun Wu},
editor = {Bernhard Steffen},
title = {Continuous Engineering for Trustworthy Learning-Enabled Autonomous
Systems},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {256--278},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_15},
doi = {10.1007/978-3-031-46002-9\_15},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/BensalemKNLNABCDEFHHKKPPPSTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BertlLLMMMPPR23,
author = {Markus Bertl and
Yngve Lamo and
Martin Leucker and
Tiziana Margaria and
Esfandiar Mohammadi and
Suresh Kumar Mukhiya and
Ludwig Pechmann and
Gunnar Piho and
Fazle Rabbi},
editor = {Bernhard Steffen},
title = {Challenges for {AI} in Healthcare Systems},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {165--186},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_11},
doi = {10.1007/978-3-031-73741-1\_11},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BertlLLMMMPPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BertlPDRPBS23,
author = {Markus Bertl and
Gunnar Piho and
Dirk Draheim and
Peeter Ross and
Ludwig Pechmann and
Nicholas Bucciarelli and
Rahul Sharma},
editor = {Bernhard Steffen},
title = {Future Opportunities for Systematic {AI} Support in Healthcare},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {203--224},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_13},
doi = {10.1007/978-3-031-73741-1\_13},
timestamp = {Tue, 12 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BertlPDRPBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Beyer23,
author = {Dirk Beyer},
editor = {Bernhard Steffen},
title = {Safeguarding AI-Based Software Development and Verification using
Witnesses (Position Paper)},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {351--361},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_22},
doi = {10.1007/978-3-031-73741-1\_22},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Beyer23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BjornerJCGSPK23,
author = {Katrine Bj{\o}rner and
Samuel Judson and
Filip Cano and
Drew Goldman and
Nicholas Shoemaker and
Ruzica Piskac and
Bettina K{\"{o}}nighofer},
editor = {Bernhard Steffen},
title = {Formal {XAI} via Syntax-Guided Synthesis},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {119--137},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_7},
doi = {10.1007/978-3-031-46002-9\_7},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/BjornerJCGSPK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Black23,
author = {Ashton Black},
editor = {Bernhard Steffen},
title = {{AI} and Democratic Equality: How Surveillance Capitalism and Computational
Propaganda Threaten Democracy},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {333--347},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_21},
doi = {10.1007/978-3-031-73741-1\_21},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Black23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BoudardaraBG23,
author = {Fateh Boudardara and
Abderraouf Boussif and
Mohamed Ghazel},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {A Sound Abstraction Method Towards Efficient Neural Networks Verification},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {76--89},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_6},
doi = {10.1007/978-3-031-49737-7\_6},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/BoudardaraBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BrandonSM23,
author = {Colm Brandon and
Amandeep Singh and
Tiziana Margaria},
editor = {Bernhard Steffen},
title = {Model Driven Development for AI-Based Healthcare Systems: {A} Review},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {245--265},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_15},
doi = {10.1007/978-3-031-73741-1\_15},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BrandonSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BreathnachM23,
author = {Ciara Breathnach and
Tiziana Margaria},
editor = {Bernhard Steffen},
title = {Digital Humanities and Cultural Heritage in {AI} and IT-Enabled Environments},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {3--9},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_1},
doi = {10.1007/978-3-031-73741-1\_1},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BreathnachM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BreathnachMSM23,
author = {Ciara Breathnach and
Rachel Murphy and
Alexander Schieweck and
Tiziana Margaria},
editor = {Bernhard Steffen},
title = {Interoperating Civil Registration of Death and Census Data: Old Age
and Marriage as Categories of Analysis},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {65--83},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_5},
doi = {10.1007/978-3-031-73741-1\_5},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BreathnachMSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BrorholtJLLS23,
author = {Asger Horn Brorholt and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Florian Lorber and
Christian Schilling},
editor = {Bernhard Steffen},
title = {Shielded Reinforcement Learning for Hybrid Systems},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {33--54},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_3},
doi = {10.1007/978-3-031-46002-9\_3},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/BrorholtJLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BuschNBS23,
author = {Daniel Busch and
Gerrit Nolte and
Alexander Bainczyk and
Bernhard Steffen},
editor = {Bernhard Steffen},
title = {ChatGPT in the Loop: {A} Natural Language Extension for Domain-Specific
Modeling Languages},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {375--390},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_24},
doi = {10.1007/978-3-031-46002-9\_24},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BuschNBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/CohenP23,
author = {Itay Cohen and
Doron Peled},
editor = {Bernhard Steffen},
title = {Integrating Distributed Component-Based Systems Through Deep Reinforcement
Learning},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {395--417},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_26},
doi = {10.1007/978-3-031-46002-9\_26},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/CohenP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/CohenP23a,
author = {Itay Cohen and
Doron Peled},
editor = {Bernhard Steffen},
title = {End-to-End {AI} Generated Runtime Verification from Natural Language
Specification},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {362--384},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_23},
doi = {10.1007/978-3-031-73741-1\_23},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/CohenP23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/DubslaffSWBFKL23,
author = {Clemens Dubslaff and
Jonas Schulz and
Patrick Wienh{\"{o}}ft and
Christel Baier and
Frank H. P. Fitzek and
Stefan J. Kiebel and
Johannes Lehmann},
editor = {Bernhard Steffen},
title = {Towards a Formal Account on Negative Latency},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {188--214},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_11},
doi = {10.1007/978-3-031-46002-9\_11},
timestamp = {Tue, 13 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/DubslaffSWBFKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/FerilliBPR23,
author = {Stefano Ferilli and
Eleonora Bernasconi and
Davide Di Pierro and
Domenico Redavid},
editor = {Bernhard Steffen},
title = {The GraphBRAIN Framework for Knowledge Graph Management and Its Applications
to Cultural Heritage},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {144--161},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_10},
doi = {10.1007/978-3-031-73741-1\_10},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/FerilliBPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/FissoreFCS23,
author = {Cecilia Fissore and
Francesco Floris and
Marina Marchisio Conte and
Matteo Sacchet},
editor = {Bernhard Steffen},
title = {Teaching the Specialized Language of Mathematics with a Data-Driven
Approach: What Data Do We Use?},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {48--64},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_4},
doi = {10.1007/978-3-031-73741-1\_4},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/FissoreFCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ForetsS23,
author = {Marcelo Forets and
Christian Schilling},
editor = {Bernhard Steffen},
title = {The Inverse Problem for Neural Networks},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {241--255},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_14},
doi = {10.1007/978-3-031-46002-9\_14},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ForetsS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/FouratiMZ23,
author = {Mariem Fourati and
Amel Meddeb{-}Makhlouf and
Faouzi Zarai},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Blockchain-Based Trust Management for IoMT Environment},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {149--162},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_11},
doi = {10.1007/978-3-031-49737-7\_11},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/FouratiMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/FranzleH23,
author = {Martin Fr{\"{a}}nzle and
Andreas Hein},
editor = {Bernhard Steffen},
title = {Safer Than Perception: Increasing Resilience of Automated Vehicles
Against Misperception},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {415--433},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_25},
doi = {10.1007/978-3-031-73741-1\_25},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/FranzleH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/GarfattaSK23,
author = {Ikram Garfatta and
Nour Elhouda Souid and
Ka{\"{\i}}s Klai},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Towards Formal Verification of Node RED-Based IoT Applications},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {90--104},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_7},
doi = {10.1007/978-3-031-49737-7\_7},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/GarfattaSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HabbachiHLK23,
author = {Salwa Habbachi and
Imene Ben Hafaiedh and
Zhiwu Li and
Moez Krichen},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {On Language-Based Opacity Verification Problem in Discrete Event Systems
Under Orwellian Observation},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {45--59},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_4},
doi = {10.1007/978-3-031-49737-7\_4},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/HabbachiHLK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HintersdorfSK23,
author = {Dominik Hintersdorf and
Lukas Struppek and
Kristian Kersting},
editor = {Bernhard Steffen},
title = {Balancing Transparency and Risk: An Overview of the Security and Privacy
Risks of Open-Source Machine Learning Models},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {269--283},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_16},
doi = {10.1007/978-3-031-73741-1\_16},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/HintersdorfSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HowarH23,
author = {Falk Howar and
Hardi Hungar},
editor = {Bernhard Steffen},
title = {Safe {AI} in Autonomous Vehicles - Track at AISoLA 2023},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {421--425},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_27},
doi = {10.1007/978-3-031-46002-9\_27},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/HowarH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/JansenKKL23,
author = {Nils Jansen and
Bettina K{\"{o}}nighofer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim G. Larsen},
editor = {Bernhard Steffen},
title = {Welcome Remarks from AISoLA 2023/Track {C2} Chairs},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {25--32},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_2},
doi = {10.1007/978-3-031-46002-9\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/JansenKKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Johansson23,
author = {Moa Johansson},
editor = {Bernhard Steffen},
title = {What Can Large Language Models Do for Theorem Proving and Formal Methods?},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {391--394},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_25},
doi = {10.1007/978-3-031-46002-9\_25},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Johansson23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KirovR23,
author = {Dmitrii Kirov and
Simone Fulvio Rollini},
editor = {Bernhard Steffen},
title = {Benchmark: Remaining Useful Life Predictor for Aircraft Equipment},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {299--304},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_18},
doi = {10.1007/978-3-031-46002-9\_18},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/KirovR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KirovRCCS23,
author = {Dmitrii Kirov and
Simone Fulvio Rollini and
Rohit Chandrahas and
Shashidhar Reddy Chandupatla and
Rajdeep Sawant},
editor = {Bernhard Steffen},
title = {Benchmark: Object Detection for Maritime Search and Rescue},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {305--310},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_19},
doi = {10.1007/978-3-031-46002-9\_19},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/KirovRCCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KirovRGC23,
author = {Dmitrii Kirov and
Simone Fulvio Rollini and
Luigi Di Guglielmo and
Darren D. Cofer},
editor = {Bernhard Steffen},
title = {Formal Verification of a Neural Network Based Prognostics System for
Aircraft Equipment},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {225--240},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_13},
doi = {10.1007/978-3-031-46002-9\_13},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/KirovRGC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LangerV23,
author = {Markus Langer and
Isabel Valera},
editor = {Bernhard Steffen},
title = {Leveraging Actionable Explanations to Improve People's Reactions to
AI-Based Decisions},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {293--306},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_18},
doi = {10.1007/978-3-031-73741-1\_18},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LangerV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Lee23,
author = {Edward A. Lee},
editor = {Bernhard Steffen},
title = {Deep Neural Networks, Explanations, and Rationality},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {11--21},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_1},
doi = {10.1007/978-3-031-46002-9\_1},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/Lee23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LevyYK23,
author = {Natan Levy and
Raz Yerushalmi and
Guy Katz},
editor = {Bernhard Steffen},
title = {gRoMA: {A} Tool for Measuring the Global Robustness of Deep Neural
Networks},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {160--170},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_9},
doi = {10.1007/978-3-031-46002-9\_9},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LevyYK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LopezJ23,
author = {Diego Manzanas Lopez and
Taylor T. Johnson},
editor = {Bernhard Steffen},
title = {Empirical Analysis of Benchmark Generation for the Verification of
Neural Network Image Classifiers},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {331--347},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_21},
doi = {10.1007/978-3-031-46002-9\_21},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LopezJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LoulergueE23,
author = {Fr{\'{e}}d{\'{e}}ric Loulergue and
Ali Ed{-}Dbali},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Verified High Performance Computing: The SyDPaCC Approach},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {15--29},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_2},
doi = {10.1007/978-3-031-49737-7\_2},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LoulergueE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LuoMHX23,
author = {Yonggang Luo and
Jinyan Ma and
Sanchu Han and
Lecheng Xie},
editor = {Bernhard Steffen},
title = {Benchmarks: Semantic Segmentation Neural Network Verification and
Objection Detection Neural Network Verification in Perceptions Tasks
of Autonomous Driving},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {279--290},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_16},
doi = {10.1007/978-3-031-46002-9\_16},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LuoMHX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MaalejL23,
author = {Afef Jmal Ma{\^{a}}lej and
Mariam Lahami},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {White-Box Mutation Testing of Smart Contracts: {A} Quick Review},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {135--148},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_10},
doi = {10.1007/978-3-031-49737-7\_10},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/MaalejL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MouritsRS23,
author = {Rick J. Mourits and
Tim Riswick and
Rombert J. Stapel},
editor = {Bernhard Steffen},
title = {Common Language for Accessibility, Interoperability, and Reusability
in Historical Demography},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {10--29},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_2},
doi = {10.1007/978-3-031-73741-1\_2},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/MouritsRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/NeiderJ23,
author = {Daniel Neider and
Taylor T. Johnson},
editor = {Bernhard Steffen},
title = {Track {C1:} Safety Verification of Deep Neural Networks (DNNs)},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {217--224},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_12},
doi = {10.1007/978-3-031-46002-9\_12},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/NeiderJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/OSheaKMTM23,
author = {Enda O'Shea and
Marco Krumrey and
Daniel Sami Mitwalli and
Sebastian Teumert and
Tiziana Margaria},
editor = {Bernhard Steffen},
title = {From Data Science to Modular Workflows Changing Perspectives from
Data to Platform: DBDIrl 1864-1922 Case Study},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {84--103},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_6},
doi = {10.1007/978-3-031-73741-1\_6},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/OSheaKMTM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/OuchaniMD23,
author = {Samir Ouchani and
Otmane A{\"{\i}}t Mohamed and
Mourad Debbabi},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {An Enhanced Interface-Based Probabilistic Compositional Verification
Approach},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {60--75},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_5},
doi = {10.1007/978-3-031-49737-7\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/OuchaniMD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/PalLJ23,
author = {Neelanjana Pal and
Seojin Lee and
Taylor T. Johnson},
editor = {Bernhard Steffen},
title = {Benchmark: Formal Verification of Semantic Segmentation Neural Networks},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {311--330},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_20},
doi = {10.1007/978-3-031-46002-9\_20},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/PalLJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ParmentierLC23,
author = {Maxime Parmentier and
Axel Legay and
Firmin Chenoy},
editor = {Bernhard Steffen},
title = {Optimized Smart Sampling},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {171--187},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_10},
doi = {10.1007/978-3-031-46002-9\_10},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ParmentierLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/PechmannPBNL23,
author = {Ludwig Pechmann and
Yannik Potdevin and
Kai Brehmer and
Dirk Nowotka and
Martin Leucker},
editor = {Bernhard Steffen},
title = {{CRISP-PCCP} - {A} Development Methodology Supporting {FDA} Approval
for Machine Learning Enabled Medical Devices},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {225--244},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_14},
doi = {10.1007/978-3-031-73741-1\_14},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/PechmannPBNL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/PedersenIKBGRS23,
author = {Bj{\o}rn{-}Richard Pedersen and
Maisha Islam and
Doris Tove Kristoffersen and
Lars Ailo Bongo and
Eilidh Garrett and
Alice Reid and
Hilde L. Sommerseth},
editor = {Bernhard Steffen},
title = {Coding Historical Causes of Death Data with Large Language Models},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {30--47},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_3},
doi = {10.1007/978-3-031-73741-1\_3},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/PedersenIKBGRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/PeldszusKSB23,
author = {Sven Peldszus and
Henriette Knopp and
Yorick Sens and
Thorsten Berger},
editor = {Bernhard Steffen},
title = {Towards ML-Integration and Training Patterns for AI-Enabled Systems},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {434--452},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_26},
doi = {10.1007/978-3-031-73741-1\_26},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/PeldszusKSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/RabbiFML23,
author = {Fazle Rabbi and
Bahareh Fatemi and
Suresh Kumar Mukhiya and
Yngve Lamo},
editor = {Bernhard Steffen},
title = {Towards a Multi-dimensional Health Data Analysis Framework},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {187--202},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_12},
doi = {10.1007/978-3-031-73741-1\_12},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/RabbiFML23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/RehaimiSM23,
author = {Abdeslam Rehaimi and
Yassine Sadqi and
Yassine Maleh},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {A Comparative Study of Online Cybersecurity Training Platforms},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {122--134},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_9},
doi = {10.1007/978-3-031-49737-7\_9},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/RehaimiSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/RobinetteLJ23,
author = {Preston K. Robinette and
Diego Manzanas Lopez and
Taylor T. Johnson},
editor = {Bernhard Steffen},
title = {Benchmark: Neural Network Malware Classification},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {291--298},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_17},
doi = {10.1007/978-3-031-46002-9\_17},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/RobinetteLJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/RouxG23,
author = {Maelle Le Roux and
Anna Gasperini},
editor = {Bernhard Steffen},
title = {Digitised Historical Sources and Non-digital Humanists: An Interdisciplinary
Challenge?},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {119--131},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_8},
doi = {10.1007/978-3-031-73741-1\_8},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/RouxG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Ruschemeier23,
author = {Hannah Ruschemeier},
editor = {Bernhard Steffen},
title = {Thinking Outside the Box? - Regulatory Sandboxes as a Tool for {AI}
Regulation},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {318--332},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_20},
doi = {10.1007/978-3-031-73741-1\_20},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Ruschemeier23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SchillingZ23,
author = {Christian Schilling and
Martin Zimmermann},
editor = {Bernhard Steffen},
title = {The Reachability Problem for Neural-Network Control Systems},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {455--469},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_27},
doi = {10.1007/978-3-031-73741-1\_27},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SchillingZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Schwammberger23,
author = {Maike Schwammberger},
editor = {Bernhard Steffen},
title = {From Explanation Correctness to Explanation Goodness: Only Provably
Correct Explanations Can Save the World},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {307--317},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_19},
doi = {10.1007/978-3-031-73741-1\_19},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Schwammberger23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/TaktakEB23,
author = {Wiem Taktak and
Mohamed Escheikh and
Kamel Barkaoui},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {A QoE Driven {DRL} Approach for Network Slicing Based on {SFC} Orchestration
in {SDN/NFV} Enabled Networks},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {30--44},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_3},
doi = {10.1007/978-3-031-49737-7\_3},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/TaktakEB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/TapplerA23,
author = {Martin Tappler and
Bernhard K. Aichernig},
editor = {Bernhard Steffen},
title = {Differential Safety Testing of Deep {RL} Agents Enabled by Automata
Learning},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {138--159},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_8},
doi = {10.1007/978-3-031-46002-9\_8},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/TapplerA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/WalshC23,
author = {Oonagh Walsh and
Stuart Clancy},
editor = {Bernhard Steffen},
title = {Mapping Madness: {HGIS} and the Analysis of Irish Patient Records},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {104--118},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_7},
doi = {10.1007/978-3-031-73741-1\_7},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/WalshC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ZafeiridiQBP23,
author = {Evi Zafeiridi and
Malik Muhammad Qirtas and
Eleanor Bantry{-}White and
Dirk Pesch},
editor = {Bernhard Steffen},
title = {Using Passive Sensing to Identify Depression},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {132--143},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_9},
doi = {10.1007/978-3-031-73741-1\_9},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ZafeiridiQBP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ZanottiCS23,
author = {Giacomo Zanotti and
Daniele Chiffi and
Viola Schiaffonati},
editor = {Bernhard Steffen},
title = {AI-Related Risk and Uncertainty},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14129},
pages = {284--292},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-73741-1\_17},
doi = {10.1007/978-3-031-73741-1\_17},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ZanottiCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2021,
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-98850-0},
doi = {10.1007/978-3-030-98850-0},
isbn = {978-3-030-98849-4},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Falcone21,
author = {Yli{\`{e}}s Falcone},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {On Decentralized Monitoring},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {1--16},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_1},
doi = {10.1007/978-3-030-98850-0\_1},
timestamp = {Wed, 14 Aug 2024 17:47:05 +0200},
biburl = {https://dblp.org/rec/conf/vecos/Falcone21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KanskiNKPN21,
author = {Michal Kanski and
Artur Niewiadomski and
Magdalena Kacprzak and
Wojciech Penczek and
Wojciech Nabialek},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {SMT-Based Unbounded Model Checking for {ATL}},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {43--58},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_4},
doi = {10.1007/978-3-030-98850-0\_4},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/KanskiNKPN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KlaiAAE21,
author = {Kais Klai and
Chiheb Ameur Abid and
Jaime Arias and
Sami Evangelista},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {Hybrid Parallel Model Checking of Hybrid {LTL} on Hybrid State Space
Representation},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {27--42},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_3},
doi = {10.1007/978-3-030-98850-0\_3},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/KlaiAAE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KrogerKSTF21,
author = {Janis Kr{\"{o}}ger and
Bj{\"{o}}rn Koopmann and
Ingo Stierand and
Nadra Tabassam and
Martin Fr{\"{a}}nzle},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {Handling of Operating Modes in Contract-Based Timing Specifications},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {59--74},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_5},
doi = {10.1007/978-3-030-98850-0\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/KrogerKSTF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/RakowK21,
author = {Astrid Rakow and
Janis Kr{\"{o}}ger},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {Roles and Responsibilities for a Predictable Update Process - {A}
Position Paper},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {17--26},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_2},
doi = {10.1007/978-3-030-98850-0\_2},
timestamp = {Wed, 23 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/RakowK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SklabASA21,
author = {Youcef Sklab and
Samir Aknine and
Onn Shehory and
Hanane Ariouat},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {Coalition Formation with Multiple Alternatives of Interdependent Tasks},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {75--90},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_6},
doi = {10.1007/978-3-030-98850-0\_6},
timestamp = {Wed, 23 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SklabASA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Abdeddaim20,
author = {Yasmina Abdedda{\"{\i}}m},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Accurate Strategy for Mixed Criticality Scheduling},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {131--146},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_10},
doi = {10.1007/978-3-030-65955-4\_10},
timestamp = {Thu, 23 Dec 2021 10:30:14 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Abdeddaim20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AdoniKNE20,
author = {Wilfried Yves Hamilton Adoni and
Moez Krichen and
Tarik Nahhal and
Abdeltif Elbyed},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Multi-path Coverage of All Final States for Model-Based Testing Theory
Using Spark In-memory Design},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {195--204},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_14},
doi = {10.1007/978-3-030-65955-4\_14},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AdoniKNE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AhishakiyeJKS20,
author = {Faustin Ahishakiye and
Jos{\'{e}} Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {68--83},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_6},
doi = {10.1007/978-3-030-65955-4\_6},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/AhishakiyeJKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/EamanF20,
author = {Amir Eaman and
Amy P. Felty},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Formal Verification of a Certified Policy Language},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {180--194},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_13},
doi = {10.1007/978-3-030-65955-4\_13},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/EamanF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HabbachiLK20,
author = {Salwa Habbachi and
Zhiwu Li and
Mohamed Khalgui},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Towards a Generic Framework for Formal Verification and Performance
Analysis of Real-Time Scheduling Algorithms},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {116--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_9},
doi = {10.1007/978-3-030-65955-4\_9},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/HabbachiLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LiuABD20,
author = {Ruotian Liu and
Rabah Ammour and
Leonardo Brenner and
Isabel Demongodin},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {{ON/OFF} Control Trajectory Computation for Steady State Reaching
in Batches Petri Nets},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {84--99},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_7},
doi = {10.1007/978-3-030-65955-4\_7},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/LiuABD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LiuY20,
author = {Nanyan Liu and
Jingyang You},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Research on Vehicle Detection Based on Visual Convolution Network
Optimization},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {237--243},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_17},
doi = {10.1007/978-3-030-65955-4\_17},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LiuY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LuLXWGLH20,
author = {Chengxuan Lu and
Jinjun Long and
Zichao Xing and
Weimin Wu and
Yong Gu and
Jiliang Luo and
Yisheng Huang},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Deep Reinforcement Learning for Solving AGVs Routing Problem},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {222--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_16},
doi = {10.1007/978-3-030-65955-4\_16},
timestamp = {Thu, 01 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/LuLXWGLH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LvRGSZG20,
author = {Yinfei Lv and
Huorong Ren and
Xuefeng Gao and
Tong Sun and
Haopeng Zhang and
Xinyu Guo},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Multi-scale Risk Assessment Model of Network Security Based on {LSTM}},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {257--267},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_19},
doi = {10.1007/978-3-030-65955-4\_19},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LvRGSZG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MediouniDNB20,
author = {Braham Lotfi Mediouni and
Iulia Dragomir and
Ayoub Nouri and
Saddek Bensalem},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Model-Based Design of Resilient Systems Using Quantitative Risk Assessment},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {149--164},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_11},
doi = {10.1007/978-3-030-65955-4\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/MediouniDNB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/VasilevaZ20,
author = {Mariia Vasileva and
Paolo Zuliani},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {An Evaluation of Estimation Techniques for Probabilistic Verification},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {165--179},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_12},
doi = {10.1007/978-3-030-65955-4\_12},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/VasilevaZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Wang20,
author = {Pei Wang},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Vehicle Scheduling Problem in Terminals: {A} Review},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {54--67},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_5},
doi = {10.1007/978-3-030-65955-4\_5},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Wang20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/WangBBL20,
author = {Kuangze Wang and
Hanifa Boucheneb and
Kamel Barkaoui and
Zhiwu Li},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Towards Efficient Partial Order Techniques for Time Petri Nets},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {100--115},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_8},
doi = {10.1007/978-3-030-65955-4\_8},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/WangBBL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/WangWTNL20,
author = {Yingdi Wang and
Yixiang Wang and
Endong Tong and
Wenjia Niu and
Jiqiang Liu},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {A {C-IFGSM} Based Adversarial Approach for Deep Learning Based Intrusion
Detection},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {207--221},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_15},
doi = {10.1007/978-3-030-65955-4\_15},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/WangWTNL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/WeiZF20,
author = {Zihan Wei and
Mi Zhao and
Changxin Fu},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {The Modeling and Simulation on {SRM} Drive System Using Variable-Proportional-Desaturation
{PI} Regulator},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {41--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_4},
doi = {10.1007/978-3-030-65955-4\_4},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/WeiZF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Xiang20,
author = {ZhaoYu Xiang},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented
Petri Nets with Novel Colored Capacity},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {27--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_3},
doi = {10.1007/978-3-030-65955-4\_3},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Xiang20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ZhangFXY20,
author = {Huimin Zhang and
Lei Feng and
Wu Xie and
Feng Yu},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {An Approach for Supervisor Reduction of Discrete-Event Systems},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {3--14},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_1},
doi = {10.1007/978-3-030-65955-4\_1},
timestamp = {Tue, 22 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ZhangFXY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ZhangLLHW20,
author = {Hongbin Zhang and
Jiliang Luo and
Jinjun Long and
Yisheng Huang and
Weimin Wu},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Multi-robot Path Planning Using Petri Nets},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {15--26},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_2},
doi = {10.1007/978-3-030-65955-4\_2},
timestamp = {Thu, 01 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/ZhangLLHW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ZhangWZ20,
author = {ZhaoZhao Zhang and
Qiu{-}wan Wang and
Ying{-}qin Zhu},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {A Self-adaptive Multi-hierarchical Modular Neural Network for Complex
Problems},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {244--256},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_18},
doi = {10.1007/978-3-030-65955-4\_18},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/ZhangWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ZhangZDZ20,
author = {Lina Zhang and
Xiangqin Zheng and
Xuan Dang and
Jiehui Zhang},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Weighted Lightweight Image Retrieval Method Based on Linear Regression},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {268--280},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_20},
doi = {10.1007/978-3-030-65955-4\_20},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ZhangZDZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2020,
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4},
doi = {10.1007/978-3-030-65955-4},
isbn = {978-3-030-65954-7},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Al-ShareefiLD19,
author = {Farah Al{-}Shareefi and
Alexei Lisitsa and
Clare Dixon},
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Analysing Security Protocols Using Scenario Based Simulation},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
pages = {47--62},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5\_4},
doi = {10.1007/978-3-030-35092-5\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/Al-ShareefiLD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AlbertGRS19,
author = {Elvira Albert and
Pablo Gordillo and
Albert Rubio and
Ilya Sergey},
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum
Smart Contracts Using Static Resource Analysis},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
pages = {63--78},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5\_5},
doi = {10.1007/978-3-030-35092-5\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/AlbertGRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Aljarbouh19,
author = {Ayman Aljarbouh},
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
pages = {16--31},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5\_2},
doi = {10.1007/978-3-030-35092-5\_2},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Aljarbouh19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BoichutCFS19,
author = {Yohan Boichut and
Jean{-}Michel Couvreur and
Xavier Ferry and
Mohamadou Tafsir Sakho},
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Modeling Concurrent Behaviors as Words},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
pages = {1--15},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5\_1},
doi = {10.1007/978-3-030-35092-5\_1},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BoichutCFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/GlanonAM19,
author = {Philippe Glanon and
Selma Azaiez and
Chokri Mraidha},
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Estimating Latency for Synchronous Dataflow Graphs Using Periodic
Schedules},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
pages = {79--94},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5\_6},
doi = {10.1007/978-3-030-35092-5\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/GlanonAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Lau19,
author = {Phi Tuong Lau},
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Static Detection of Event-Driven Races in HTML5-Based Mobile Apps},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
pages = {32--46},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5\_3},
doi = {10.1007/978-3-030-35092-5\_3},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Lau19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/TchindaCL19,
author = {Yves Mouafo Tchinda and
Annie Choquet{-}Geniet and
Ga{\"{e}}lle Largeteau{-}Skapin},
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time
Systems},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
pages = {95--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5\_7},
doi = {10.1007/978-3-030-35092-5\_7},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/TchindaCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2019,
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5},
doi = {10.1007/978-3-030-35092-5},
isbn = {978-3-030-35091-8},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sun, 06 Oct 2024 01:00:00 +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 = {Sun, 06 Oct 2024 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}
}
@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}
}
@inproceedings{DBLP:conf/vecos/Badouel16,
author = {{\'{E}}ric Badouel},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Petri Net Synthesis from Labelled Transition Systems and from Languages},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {159},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Badouel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BenhafaiedhS16,
author = {Imene Ben Hafaiedh and
Maroua Ben Slimane},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Model-based Design and Formal Analysis of Arbitration Protocols on
Multiple-Bus Architecture},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {177--192},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BenhafaiedhS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BenyagoubOA16,
author = {Sarah Benyagoub and
Meriem Ouederni and
Yamine A{\"{\i}}t Ameur},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Towards correct Evolution of Conversation Protocols},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {193--201},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BenyagoubOA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BoussifG16,
author = {Abderraouf Boussif and
Mohamed Ghazel},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Using Model-Checking Techniques for Diagnosability Analysis of Intermittent
Faults - {A} Railway Case Study},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {93--104},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BoussifG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ElleuchHTA16,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring
Application},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {43--58},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ElleuchHTA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/GhardallouMD16,
author = {Wided Ghardallou and
Ali Mili and
Nafi Diallo},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Relative Correctness: {A} Bridge Between Proving and Testing},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {141--156},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper11.pdf},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/GhardallouMD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Haddad16,
author = {Serge Haddad},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Exact and Approximate Diagnosis of Probabilistic Systems},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {9},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Haddad16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HmidiKSO16,
author = {Zohra Hmidi and
La{\"{\i}}d Kahloul and
Saber Benharzallah and
Cherifa Othmane},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Statistical Model Checking of {CSMA/CA} in WSNs},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {27--42},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/HmidiKSO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MaalejK16,
author = {Afef Jmal Ma{\^{a}}lej and
Moez Krichen},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {A Model Based Approach to Combine Load and Functional Tests for Service
Oriented Architectures},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {123--140},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/MaalejK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/NouriBLB16,
author = {Ayoub Nouri and
Marius Bozga and
Axel Legay and
Saddek Bensalem},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Performance Evaluation of Complex Systems Using the {SBIP} Framework},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {11--26},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/NouriBLB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/OutamazirtEABL16,
author = {Assia Outamazirt and
Mohamed Escheikh and
Djamil A{\"{\i}}ssani and
Kamel Barkaoui and
Ouiza Lekadir},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {On the Modeling and Performance Evaluation of Cloud Computing Centers
Using M/G/c/c+r Queuing System},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {77--84},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/OutamazirtEABL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SaoudiYR16,
author = {Safa Saoudi and
Souheib Yousfi and
Riadh Robbana},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {ePassport Protocol on the Spi Calculus},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {161--176},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SaoudiYR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Senftleben016,
author = {Maximilian Senftleben and
Klaus Schneider},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Specifying Weak Memory Consistency with Temporal Logic},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {107--122},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Senftleben016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/TchindaGL16,
author = {Yves Mouafo Tchinda and
Annie Geniet{-}Choquet and
Ga{\"{e}}lle Largeteau{-}Skapin},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant
PFair Scheduling},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {61--76},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/TchindaGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/YazidBA16,
author = {Mohand Yazid and
Louiza Bouallouche{-}Medjkoune and
Djamil A{\"{\i}}ssani},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Performance Study of Frame Aggregation Mechanisms in the New Generation
WiFi},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {85--92},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/YazidBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2016,
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689},
urn = {urn:nbn:de:0074-1689-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Verification of Bounded Real-Time Distributed Systems With Mobility},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {109--120},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Bonhomme15,
author = {Patrice Bonhomme},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Fault Diagnosis of P-Time Labeled Petri net Systems},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {11--22},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Bonhomme15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BoussifGK15,
author = {Abderraouf Boussif and
Mohamed Ghazel and
Kais Klai},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event
Systems},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {23--34},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BoussifGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Ciobanu15,
author = {Gabriel Ciobanu},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Timeout Interaction and Migration in Distributed Systems},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {79--80},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Ciobanu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Cucu-Grosjean15,
author = {Liliana Cucu{-}Grosjean},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Probabilistic Approaches for Time Critical Embedded Systems},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {37--38},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Cucu-Grosjean15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/DragomirMCDT15,
author = {Cosmin Dragomir and
Lucian Mogosanu and
Mihai Carabas and
Razvan Deaconescu and
Nicolae Tapus},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Towards the Property-Based Testing of an {L4} Microkernel {API}},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {39--50},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/DragomirMCDT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Kaaniche15,
author = {Mohamed Ka{\^{a}}niche},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Resilience Assessment: Accidental and Malicious Threats},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {9},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Kaaniche15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LounasML15,
author = {Razika Lounas and
Mohamed Mezghiche and
Jean{-}Louis Lanet},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {An Approach for Formal Verification of Updated Java Bytecode Programs},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {51--64},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LounasML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MethniLHHB15,
author = {Amira Methni and
Matthieu Lemerre and
Belgacem Ben Hedia and
Serge Haddad and
Kamel Barkaoui},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {State Space Reduction Strategie for Model Checking Concurrent {C}
Programs},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {65--76},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/MethniLHHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SbaiB15,
author = {Zohra Sba{\"{\i}} and
Kamel Barkaoui},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {On quantitative Analysis of Time Open Workflow Nets and Parametric
Extension},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {97--108},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SbaiB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SomappaPK15,
author = {Admar Ajith Kumar Somappa and
Andreas Prinz and
Lars Michael Kristensen},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Model-Based Verification of the {DMAMAC} Protocol for Real-time Process
Control},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {81--96},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SomappaPK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2015,
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431},
urn = {urn:nbn:de:0074-1431-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AbdesselamKL14,
author = {Aldjia Nait Abdesselam and
Radouane Kara and
Jean Jacques Loiseau},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Observer Design and Feedback Controller Synthesis with Observer in
Idempotent Semiring},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {120--127},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/poster2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AbdesselamKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AtmaniAA14,
author = {Mouloud Atmani and
Djamil A{\"{\i}}ssani and
Yassine Hadjadj Aoul},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Applying Data Fragmentation in {IEEE} 802.15.4: Modeling and Analysis
under Unsaturated Traffic},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {85--92},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AtmaniAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BennamaB14,
author = {Miloud Bennama and
Thouraya Bouabana{-}Tebibel},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Mapping {OCL} Constraints into CTL-like Logic and {SML} for {UML}
Validation},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {102--112},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BennamaB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Bensalem14,
author = {Saddek Bensalem},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Compositional Verification of Timed Systems},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {5--11},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/inv1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Bensalem14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/CherfiaBB14,
author = {Taha Abdelmoutaleb Cherfia and
Faiza Belala and
Kamel Barkaoui},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Towards Formal Modeling and Verification of Context-Aware Systems},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {18--24},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/CherfiaBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Debbi14,
author = {Hichem Debbi},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Diagnosis of Probabilistic Models using Causality and Regression},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {34--44},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Debbi14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/FaresBA14,
author = {Kahlessenane Fares and
Louiza Bouallouche{-}Medjkoune and
Djamil A{\"{\i}}ssani},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Cross-Layer Energy-Aware Protocol for Wireless Sensor Networks},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {128--134},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/poster3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/FaresBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/GhazelP14,
author = {Mohamed Ghazel and
Florent Peres},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {A {\(\mathrm{\mu}\)}-Calculus Framework for the Diagnosability of
Discrete Event Systems},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {45--56},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/GhazelP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Heidergott14,
author = {Bernd Heidergott},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Towards a Statistical System Analysis},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {16--17},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/inv3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Heidergott14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HichamiABM14,
author = {Outman El Hichami and
Mohammed Al Achhab and
Ismail Berrada and
Badr Eddine El Mohajir},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Visual Specification Language and Automatic Checking of Business Process},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {93--101},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/HichamiABM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HocineAB14,
author = {Hocine Souilah and
Abderrahmane Baadache and
Louiza Bouallouche{-}Medjkoune},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Coping with Spoofed PS-Poll Based DoS Attack in {IEEE} 802.11 Networks},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {57--62},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/HocineAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MehaouedSB14,
author = {Kamal Mehaoued and
Larbi Sekhri and
Malika Bourenane},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Fairness Improvement of {MAC} in Wireless Ad Hoc Networks},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {143--147},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/poster5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/MehaouedSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MohandNBA14,
author = {Mohand Yazid and
Nassim Sahki and
Louiza Bouallouche{-}Medjkoune and
Djamil A{\"{\i}}ssani},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Analytical Modeling of the {IEEE} 802.11e {EDCA} Network},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {69--75},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/MohandNBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MokhtarKC14,
author = {El Hassene Ait Mokhtar and
Radouane Kara and
Alaa Chateauneuf},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Bayesian Networks for the Evaluation of Complex Systems Availability},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {113--119},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/poster1.pdf},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/MokhtarKC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MordjiAA14,
author = {Zouweyna Mordji and
Mourad Amad and
Djamil A{\"{\i}}ssani},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {A Derived Queueing Network Model for Structured {P2P} Architectures},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {76--84},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/MordjiAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Nadjette14,
author = {Nadjette Rebouh},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {63--68},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Nadjette14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SahliBB14,
author = {Hamza Sahli and
Faiza Belala and
Chafia Bouanaka},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Model-Checking Cloud Systems Using BigMC},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {25--33},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SahliBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Seatzu14,
author = {Carla Seatzu},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Fault Diagnosis of Discrete Event Systems Using Petri Nets},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {12--15},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/inv2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Seatzu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/YessadBA14,
author = {Samira Yessad and
Louiza Bouallouche{-}Medjkoune and
Djamil A{\"{\i}}ssani},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Comparison of Routing Protocols in Wireless Sensor Networks},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {135--142},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/poster4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/YessadBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2014,
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256},
urn = {urn:nbn:de:0074-1256-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-19 04:17 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
