Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Belgacem Ben Hedia, Yassine Maleh, Moez Krichen (eds.) |
Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![Springer, 978-3-031-49736-0 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel |
A Sound Abstraction Method Towards Efficient Neural Networks Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 76-89, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai |
Towards Formal Verification of Node RED-Based IoT Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 90-104, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mariem Fourati, Amel Meddeb-Makhlouf, Faouzi Zarai |
Blockchain-Based Trust Management for IoMT Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 149-162, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Afef Jmal Maâlej, Mariam Lahami |
White-Box Mutation Testing of Smart Contracts: A Quick Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 135-148, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li 0001, Moez Krichen |
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 45-59, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui |
A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 30-44, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
An Enhanced Interface-Based Probabilistic Compositional Verification Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 60-75, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Loulergue, Ali Ed-Dbali |
Verified High Performance Computing: The SyDPaCC Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 15-29, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johan Arcile, Raymond R. Devillers, Hanna Klaudel |
Factorization of the State Space Construction for Cyclic Systems with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 1-14, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet |
Formal Verification of a Post-quantum Signal Protocol with Tamarin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 105-121, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abdeslam Rehaimi, Yassine Sadqi, Yassine Maleh |
A Comparative Study of Online Cybersecurity Training Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 122-134, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens |
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 163-177, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li 0001 (eds.) |
Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![Springer, 978-3-030-98849-4 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle |
Handling of Operating Modes in Contract-Based Timing Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers, pp. 59-74, 2021, Springer, 978-3-030-98849-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michal Kanski, Artur Niewiadomski 0001, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
SMT-Based Unbounded Model Checking for ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers, pp. 43-58, 2021, Springer, 978-3-030-98849-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Astrid Rakow, Janis Kröger |
Roles and Responsibilities for a Predictable Update Process - A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers, pp. 17-26, 2021, Springer, 978-3-030-98849-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Youcef Sklab, Samir Aknine, Onn Shehory, Hanane Ariouat |
Coalition Formation with Multiple Alternatives of Interdependent Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers, pp. 75-90, 2021, Springer, 978-3-030-98849-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone |
On Decentralized Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers, pp. 1-16, 2021, Springer, 978-3-030-98849-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kais Klai, Chiheb Ameur Abid, Jaime Arias 0001, Sami Evangelista |
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers, pp. 27-42, 2021, Springer, 978-3-030-98849-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hongbin Zhang, Jiliang Luo, Jinjun Long, Yisheng Huang, Weimin Wu |
Multi-robot Path Planning Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 15-26, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yingdi Wang, Yixiang Wang, Endong Tong, Wenjia Niu, Jiqiang Liu |
A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 207-221, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhao-zhao Zhang, Qiu-wan Wang, Ying-qin Zhu |
A Self-adaptive Multi-hierarchical Modular Neural Network for Complex Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 244-256, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pei Wang |
Vehicle Scheduling Problem in Terminals: A Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 54-67, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li 0001 |
Towards Efficient Partial Order Techniques for Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 100-115, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Huimin Zhang, Lei Feng, Wu Xie, Feng Yu 0006 |
An Approach for Supervisor Reduction of Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 3-14, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 68-83, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nanyan Liu, Jingyang You |
Research on Vehicle Detection Based on Visual Convolution Network Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 237-243, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Salwa Habbachi, Zhiwu Li 0001, Mohamed Khalgui |
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 116-130, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Belgacem Ben Hedia, Yu-Fang Chen 0001, Gaiyun Liu, Zhenhua Yu (eds.) |
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![Springer, 978-3-030-65954-7 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lina Zhang, Xiangqin Zheng, Xuan Dang, Jiehui Zhang |
Weighted Lightweight Image Retrieval Method Based on Linear Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 268-280, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed |
Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 195-204, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chengxuan Lu, Jinjun Long, Zichao Xing, Weimin Wu, Yong Gu, Jiliang Luo, Yisheng Huang |
Deep Reinforcement Learning for Solving AGVs Routing Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 222-236, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | ZhaoYu Xiang |
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 27-40, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Amir Eaman, Amy P. Felty |
Formal Verification of a Certified Policy Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 180-194, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mariia Vasileva, Paolo Zuliani |
An Evaluation of Estimation Techniques for Probabilistic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 165-179, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yinfei Lv, Huorong Ren, Xuefeng Gao, Tong Sun, Haopeng Zhang 0008, Xinyu Guo |
Multi-scale Risk Assessment Model of Network Security Based on LSTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 257-267, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zihan Wei, Mi Zhao, Changxin Fu |
The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI Regulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 41-53, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem |
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 149-164, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yasmina Abdeddaïm |
Accurate Strategy for Mixed Criticality Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 131-146, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin |
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 84-99, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Mohamed Kaâniche (eds.) |
Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![Springer, 978-3-030-35091-8 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Phi Tuong Lau |
Static Detection of Event-Driven Races in HTML5-Based Mobile Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, pp. 32-46, 2019, Springer, 978-3-030-35091-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon |
Analysing Security Protocols Using Scenario Based Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, pp. 47-62, 2019, Springer, 978-3-030-35091-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho |
Modeling Concurrent Behaviors as Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, pp. 1-15, 2019, Springer, 978-3-030-35091-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Glanon, Selma Azaiez, Chokri Mraidha |
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, pp. 79-94, 2019, Springer, 978-3-030-35091-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ayman Aljarbouh |
Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, pp. 16-31, 2019, Springer, 978-3-030-35091-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yves Mouafo Tchinda, Annie Choquet-Geniet, Gaëlle Largeteau-Skapin |
Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, pp. 95-109, 2019, Springer, 978-3-030-35091-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey |
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, pp. 63-78, 2019, Springer, 978-3-030-35091-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alireza Farhadi, Mohammad Izadi, Jafar Habibi |
A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 80-94, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario |
Analysis of a Road/Tramway Intersection by the ORIS Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 185-199, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Inna Vistbakka, Elena Troubitsyna |
Modelling and Verification of Dynamic Role-Based Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 48-63, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
Replacing Store Buffers by Load Buffers in TSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 22-28, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana |
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 64-79, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Renault |
Improving Parallel State-Space Exploration Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 133-149, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Given-Wilson, Nisrine Jafri, Axel Legay |
The State of Fault Injection Vulnerability Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 3-21, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Pommellet, Tayssir Touili |
LTL Model-Checking for Communicating Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 150-165, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.) |
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![Springer, 978-3-030-00358-6 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rui Wang 0048, Lars Michael Kristensen, Volker Stolz |
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 97-113, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski |
How to Be Sure a Faulty System Does Not Always Appear Healthy? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 114-129, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Davide Basile 0001, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez |
Orchestration Synthesis for Real-Time Service Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 31-47, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Redouane Bouchekir, Mohand Cherif Boukala |
Toward Implicit Learning for the Compositional Verification of Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 200-217, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li 0001 |
Exploiting Local Persistency for Reduced State Space Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, pp. 166-181, 2018, Springer, 978-3-030-00358-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros |
Regression-Based Statistical Bounds on Software Execution Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 48-63, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou |
WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 64-78, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec |
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 171-188, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre André, Nicolas Rivière, Hélène Waeselynck |
A Toolset for Mobile Systems Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 124-138, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sedda Hakmi, Ouiza Lekadir, Djamil Aïssani |
Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 33-47, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kamel Barkaoui, Hanifa Boucheneb, Ali Mili 0001, Sofiène Tahar (eds.) |
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![Springer, 978-3-319-66175-9 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abderraouf Boussif, Mohamed Ghazel |
An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 92-107, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Saad Ayub, Osman Hasan |
Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 1-16, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ibtissem Seghaier, Sofiène Tahar |
Intertwined Global Optimization Based Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 139-154, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mojgan Kamali, Luigia Petre |
Uppaal vs Event-B for Modelling Optimised Link State Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 189-203, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sana Younès, Momtez Benmbarek |
Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 17-32, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 155-170, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine |
Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 108-123, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qi Yu 0003, Libo Huang, Cheng Qian 0006, Jianqiao Ma, Zhiying Wang 0003 |
Factor-Based C-AMAT Analysis for Memory Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 79-91, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yves Mouafo Tchinda, Annie Geniet-Choquet, Gaëlle Largeteau-Skapin |
Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 61-76, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Éric Badouel |
Petri Net Synthesis from Labelled Transition Systems and from Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 159, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur |
Towards correct Evolution of Conversation Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 193-201, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Serge Haddad |
Exact and Approximate Diagnosis of Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 9, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Safa Saoudi, Souheib Yousfi, Riadh Robbana |
ePassport Protocol on the Spi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 161-176, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
Performance Evaluation of Complex Systems Using the SBIP Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 11-26, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Imene Ben Hafaiedh, Maroua Ben Slimane |
Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 177-192, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Zohra Hmidi, Laïd Kahloul, Saber Benharzallah, Cherifa Othmane |
Statistical Model Checking of CSMA/CA in WSNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 27-42, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Mohand Yazid, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 85-92, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Maximilian Senftleben, Klaus Schneider 0001 |
Specifying Weak Memory Consistency with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 107-122, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid |
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 43-58, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Abderraouf Boussif, Mohamed Ghazel |
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 93-104, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Wided Ghardallou, Ali Mili 0001, Nafi Diallo |
Relative Correctness: A Bridge Between Proving and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 141-156, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir |
On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 77-84, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Mohamed Ghazel, Mohamed Jmaiel (eds.) |
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Afef Jmal Maâlej, Moez Krichen |
A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016., pp. 123-140, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Admar Ajith Kumar Somappa, Andreas Prinz 0001, Lars Michael Kristensen |
Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 81-96, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
An Approach for Formal Verification of Updated Java Bytecode Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 51-64, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Liliana Cucu-Grosjean |
Probabilistic Approaches for Time Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 37-38, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Gabriel Ciobanu |
Timeout Interaction and Migration in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 79-80, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Mohamed Kaâniche |
Resilience Assessment: Accidental and Malicious Threats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 9, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Verification of Bounded Real-Time Distributed Systems With Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 109-120, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Abderraouf Boussif, Mohamed Ghazel, Kais Klai |
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 23-34, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|