|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 125 publication records. Showing 125 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Belgacem Ben Hedia, Florin Popentiu Vladicescu (eds.) |
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015.  |
VECoS  |
2015 |
DBLP BibTeX RDF |
|
| 1 | Patrice Bonhomme |
Fault Diagnosis of P-Time Labeled Petri net Systems. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Zohra Sbaï, Kamel Barkaoui |
On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui |
State Space Reduction Strategie for Model Checking Concurrent C Programs. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus |
Towards the Property-Based Testing of an L4 Microkernel API. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Hichem Debbi |
Diagnosis of Probabilistic Models using Causality and Regression. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mohand Yazid, Nassim Sahki, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
Analytical Modeling of the IEEE 802.11e EDCA Network. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Hocine Souilah, Abderrahmane Baadache, Louiza Bouallouche-Medjkoune |
Coping with Spoofed PS-Poll Based DoS Attack in IEEE 802.11 Networks. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Kahlessenane Fares, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
Cross-Layer Energy-Aware Protocol for Wireless Sensor Networks. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Bernd Heidergott |
Towards a Statistical System Analysis. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Aldjia Nait Abdesselam, Radouane Kara, Jean Jacques Loiseau |
Observer Design and Feedback Controller Synthesis with Observer in Idempotent Semiring. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Hassane Alla, Louiza Bouallouche-Medjkoune (eds.) |
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Samira Yessad, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
Comparison of Routing Protocols in Wireless Sensor Networks. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Ghazel, Florent Peres |
A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui |
Towards Formal Modeling and Verification of Context-Aware Systems. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Saddek Bensalem |
Compositional Verification of Timed Systems. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Hamza Sahli, Faiza Belala, Chafia Bouanaka |
Model-Checking Cloud Systems Using BigMC. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Miloud Bennama, Thouraya Bouabana-Tebibel |
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Nadjette Rebouh |
Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Zouweyna Mordji, Mourad Amad, Djamil Aïssani |
A Derived Queueing Network Model for Structured P2P Architectures. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | El Hassene Ait Mokhtar, Radouane Kara, Alaa Chateauneuf |
Bayesian Networks for the Evaluation of Complex Systems Availability. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Kamal Mehaoued, Larbi Sekhri, Malika Bourenane |
Fairness Improvement of MAC in Wireless Ad Hoc Networks. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mouloud Atmani, Djamil Aïssani, Yassine Hadjadj Aoul |
Applying Data Fragmentation in IEEE 802.15.4: Modeling and Analysis under Unsaturated Traffic. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Carla Seatzu |
Fault Diagnosis of Discrete Event Systems Using Petri Nets. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir |
Visual Specification Language and Automatic Checking of Business Process. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
Displaying result #101 - #125 of 125 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license