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 |
VECoS |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel |
A Sound Abstraction Method Towards Efficient Neural Networks Verification. |
VECoS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai |
Towards Formal Verification of Node RED-Based IoT Applications. |
VECoS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mariem Fourati, Amel Meddeb-Makhlouf, Faouzi Zarai |
Blockchain-Based Trust Management for IoMT Environment. |
VECoS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Afef Jmal Maâlej, Mariam Lahami |
White-Box Mutation Testing of Smart Contracts: A Quick Review. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
An Enhanced Interface-Based Probabilistic Compositional Verification Approach. |
VECoS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Loulergue, Ali Ed-Dbali |
Verified High Performance Computing: The SyDPaCC Approach. |
VECoS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johan Arcile, Raymond R. Devillers, Hanna Klaudel |
Factorization of the State Space Construction for Cyclic Systems with Data. |
VECoS |
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. |
VECoS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abdeslam Rehaimi, Yassine Sadqi, Yassine Maleh |
A Comparative Study of Online Cybersecurity Training Platforms. |
VECoS |
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. |
VECoS |
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 |
VECoS |
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. |
VECoS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michal Kanski, Artur Niewiadomski 0001, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
SMT-Based Unbounded Model Checking for ATL. |
VECoS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Astrid Rakow, Janis Kröger |
Roles and Responsibilities for a Predictable Update Process - A Position Paper. |
VECoS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Youcef Sklab, Samir Aknine, Onn Shehory, Hanane Ariouat |
Coalition Formation with Multiple Alternatives of Interdependent Tasks. |
VECoS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone |
On Decentralized Monitoring. |
VECoS |
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. |
VECoS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hongbin Zhang, Jiliang Luo, Jinjun Long, Yisheng Huang, Weimin Wu |
Multi-robot Path Planning Using Petri Nets. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pei Wang |
Vehicle Scheduling Problem in Terminals: A Review. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li 0001 |
Towards Efficient Partial Order Techniques for Time Petri Nets. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Huimin Zhang, Lei Feng, Wu Xie, Feng Yu 0006 |
An Approach for Supervisor Reduction of Discrete-Event Systems. |
VECoS |
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. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nanyan Liu, Jingyang You |
Research on Vehicle Detection Based on Visual Convolution Network Optimization. |
VECoS |
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. |
VECoS |
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 |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lina Zhang, Xiangqin Zheng, Xuan Dang, Jiehui Zhang |
Weighted Lightweight Image Retrieval Method Based on Linear Regression. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | ZhaoYu Xiang |
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Amir Eaman, Amy P. Felty |
Formal Verification of a Certified Policy Language. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mariia Vasileva, Paolo Zuliani |
An Evaluation of Estimation Techniques for Probabilistic Verification. |
VECoS |
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. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yasmina Abdeddaïm |
Accurate Strategy for Mixed Criticality Scheduling. |
VECoS |
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. |
VECoS |
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 |
VECoS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Phi Tuong Lau |
Static Detection of Event-Driven Races in HTML5-Based Mobile Apps. |
VECoS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon |
Analysing Security Protocols Using Scenario Based Simulation. |
VECoS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho |
Modeling Concurrent Behaviors as Words. |
VECoS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Glanon, Selma Azaiez, Chokri Mraidha |
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules. |
VECoS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ayman Aljarbouh |
Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alireza Farhadi, Mohammad Izadi, Jafar Habibi |
A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario |
Analysis of a Road/Tramway Intersection by the ORIS Tool. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Inna Vistbakka, Elena Troubitsyna |
Modelling and Verification of Dynamic Role-Based Access Control. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Renault |
Improving Parallel State-Space Exploration Using Genetic Algorithms. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Given-Wilson, Nisrine Jafri, Axel Legay |
The State of Fault Injection Vulnerability Detection. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Pommellet, Tayssir Touili |
LTL Model-Checking for Communicating Concurrent Programs. |
VECoS |
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 |
VECoS |
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. |
VECoS |
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? |
VECoS |
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. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Redouane Bouchekir, Mohand Cherif Boukala |
Toward Implicit Learning for the Compositional Verification of Markov Decision Processes. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li 0001 |
Exploiting Local Persistency for Reduced State Space Generation. |
VECoS |
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. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre André, Nicolas Rivière, Hélène Waeselynck |
A Toolset for Mobile Systems Testing. |
VECoS |
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. |
VECoS |
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 |
VECoS |
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. |
VECoS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Saad Ayub, Osman Hasan |
Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. |
VECoS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ibtissem Seghaier, Sofiène Tahar |
Intertwined Global Optimization Based Reachability Analysis. |
VECoS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mojgan Kamali, Luigia Petre |
Uppaal vs Event-B for Modelling Optimised Link State Routing. |
VECoS |
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. |
VECoS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. |
VECoS |
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. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Éric Badouel |
Petri Net Synthesis from Labelled Transition Systems and from Languages. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur |
Towards correct Evolution of Conversation Protocols. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Serge Haddad |
Exact and Approximate Diagnosis of Probabilistic Systems. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Safa Saoudi, Souheib Yousfi, Riadh Robbana |
ePassport Protocol on the Spi Calculus. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
Performance Evaluation of Complex Systems Using the SBIP Framework. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Imene Ben Hafaiedh, Maroua Ben Slimane |
Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Zohra Hmidi, Laïd Kahloul, Saber Benharzallah, Cherifa Othmane |
Statistical Model Checking of CSMA/CA in WSNs. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Mohand Yazid, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Maximilian Senftleben, Klaus Schneider 0001 |
Specifying Weak Memory Consistency with Temporal Logic. |
VECoS |
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. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Abderraouf Boussif, Mohamed Ghazel |
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. |
VECoS |
2016 |
DBLP BibTeX RDF |
|
1 | Wided Ghardallou, Ali Mili 0001, Nafi Diallo |
Relative Correctness: A Bridge Between Proving and Testing. |
VECoS |
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. |
VECoS |
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. |
VECoS |
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. |
VECoS |
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. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
1 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
An Approach for Formal Verification of Updated Java Bytecode Programs. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
1 | Liliana Cucu-Grosjean |
Probabilistic Approaches for Time Critical Embedded Systems. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
1 | Gabriel Ciobanu |
Timeout Interaction and Migration in Distributed Systems. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
1 | Mohamed Kaâniche |
Resilience Assessment: Accidental and Malicious Threats. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Verification of Bounded Real-Time Distributed Systems With Mobility. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
1 | Abderraouf Boussif, Mohamed Ghazel, Kais Klai |
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. |
VECoS |
2015 |
DBLP BibTeX RDF |
|