Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stéphane Maag
@article{DBLP:journals/iot/AldanaMZ21,
author = {Jose Alfredo Alvarez Aldana and
Stephane Maag and
Fatiha Za{\"{\i}}di},
title = {A formal consensus-based distributed monitoring approach for mobile
IoT networks},
journal = {Internet Things},
volume = {13},
pages = {100352},
year = {2021},
url = {https://doi.org/10.1016/j.iot.2020.100352},
doi = {10.1016/J.IOT.2020.100352},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iot/AldanaMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/NguyenM20,
author = {Duyen Phuc Nguyen and
Stephane Maag},
editor = {Marten van Sinderen and
Hans{-}Georg Fill and
Leszek A. Maciaszek},
title = {Codeless Web Testing using Selenium and Machine Learning},
booktitle = {Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {51--60},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009885400510060},
doi = {10.5220/0009885400510060},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/NguyenM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/NguyenM20a,
author = {Duyen Phuc Nguyen and
Stephane Maag},
editor = {Marten van Sinderen and
Leszek A. Maciaszek and
Hans{-}Georg Fill},
title = {A Machine Learning Based Methodology for Web Systems Codeless Testing
with Selenium},
booktitle = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
Online Event, July 7-9, 2020, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1447},
pages = {184--202},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83007-6\_9},
doi = {10.1007/978-3-030-83007-6\_9},
timestamp = {Thu, 14 Oct 2021 10:27:24 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/NguyenM20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/DahabM19,
author = {Sarah A. Dahab and
St{\'{e}}phane Maag},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Suggesting Software Measurement Plans with Unsupervised Learning Data
Analysis},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {189--197},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007768101890197},
doi = {10.5220/0007768101890197},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/DahabM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/DahabM19a,
author = {Sarah A. Dahab and
Stephane Maag},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Automated Software Measurement Strategies Elaboration Using Unsupervised
Learning Data Analysis},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 14th International
Conference, {ENASE} 2019, Heraklion, Crete, Greece, May 4-5, 2019,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1172},
pages = {341--363},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-40223-5\_17},
doi = {10.1007/978-3-030-40223-5\_17},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/DahabM19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Ameur-BoulifaCM19a,
author = {Rab{\'{e}}a Ameur{-}Boulifa and
Ana R. Cavalli and
Stephane Maag},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {From Formal Test Objectives to {TTCN-3} for Verifying {ETCS} Complex
Software Control Systems},
booktitle = {Software Technologies - 14th International Conference, {ICSOFT} 2019,
Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1250},
pages = {156--178},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-52991-8\_8},
doi = {10.1007/978-3-030-52991-8\_8},
timestamp = {Fri, 31 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/Ameur-BoulifaCM19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Ameur-BoulifaCM19,
author = {Rab{\'{e}}a Ameur{-}Boulifa and
Ana R. Cavalli and
Stephane Maag},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Verifying Complex Software Control Systems from Test Objectives: Application
to the {ETCS} System},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {397--406},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007918203970406},
doi = {10.5220/0007918203970406},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/Ameur-BoulifaCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SambeMC19,
author = {Thierno Birahime Sambe and
Stephane Maag and
Ana R. Cavalli},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {A Methodology for Enterprise Resource Planning Automation Testing
Application to the Open Source {ERP-ODOO}},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {407--415},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007923004070415},
doi = {10.5220/0007923004070415},
timestamp = {Wed, 18 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/SambeMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/AldanaMZ18,
author = {Jose Alfredo Alvarez Aldana and
Stephane Maag and
Fatiha Za{\"{\i}}di},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Marek R. Ogiela and
Lidia Ogiela and
Nadeem Javaid},
title = {MANETs Interoperability: Current Trends and Open Research},
booktitle = {32nd International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2018 workshops, Krakow, Poland, May
16-18, 2018},
pages = {481--487},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/WAINA.2018.00132},
doi = {10.1109/WAINA.2018.00132},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/AldanaMZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/DahabPM18,
author = {Sarah A. Dahab and
Juan Jose Hernandez Porras and
Stephane Maag},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {A Novel Formal Approach to Automatically Suggest Metrics in Software
Measurement Plans},
booktitle = {Proceedings of the 13th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira,
Portugal, March 23-24, 2018},
pages = {283--290},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006710902830290},
doi = {10.5220/0006710902830290},
timestamp = {Mon, 30 Apr 2018 14:58:10 +0200},
biburl = {https://dblp.org/rec/conf/enase/DahabPM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/DahabSMCM18,
author = {Sarah A. Dahab and
Erika Silva and
Stephane Maag and
Ana Rosa Cavalli and
Wissam Mallouli},
editor = {Leszek A. Maciaszek and
Marten van Sinderen},
title = {Enhancing Software Development Process Quality based on Metrics Correlation
and Suggestion},
booktitle = {Proceedings of the 13th International Conference on Software Technologies,
{ICSOFT} 2018, Porto, Portugal, July 26-28, 2018},
pages = {154--165},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006856501540165},
doi = {10.5220/0006856501540165},
timestamp = {Wed, 29 Aug 2018 15:24:05 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/DahabSMCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/DahabMMC18,
author = {Sarah A. Dahab and
Stephane Maag and
Wissam Mallouli and
Ana R. Cavalli},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Smart Measurements and Analysis for Software Quality Enhancement},
booktitle = {Software Technologies - 13th International Conference, {ICSOFT} 2018,
Porto, Portugal, July 26-28, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1077},
pages = {194--219},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-29157-0\_9},
doi = {10.1007/978-3-030-29157-0\_9},
timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/DahabMMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/PetersenTMY18,
author = {Erick Petersen and
Marco Antonio To and
Stephane Maag and
Thierry Yamga},
title = {An Unsupervised Rule Generation Approach for Online Complex Event
Processing},
booktitle = {17th {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2018, Cambridge, MA, USA, November 1-3, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/NCA.2018.8548210},
doi = {10.1109/NCA.2018.8548210},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/PetersenTMY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-02717,
author = {Jose Alvarez and
St{\'{e}}phane Maag and
Fatiha Za{\"{\i}}di},
title = {MANETs monitoring with a distributed hybrid architecture},
journal = {CoRR},
volume = {abs/1805.02717},
year = {2018},
url = {http://arxiv.org/abs/1805.02717},
eprinttype = {arXiv},
eprint = {1805.02717},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-02717.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03513,
author = {Jose Alvarez and
Stephane Maag and
Fatiha Za{\"{\i}}di},
title = {Monitoring Dynamic Mobile Ad-Hoc Networks: {A} Fully Distributed Hybrid
Architecture},
journal = {CoRR},
volume = {abs/1805.03513},
year = {2018},
url = {http://arxiv.org/abs/1805.03513},
eprinttype = {arXiv},
eprint = {1805.03513},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/DahabMC17,
author = {Sarah A. Dahab and
Stephane Maag and
Xiaoping Che},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Hui{-}Huang Hsu and
Chi{-}Yi Lin},
title = {A Software Measurement Framework Guided by Support Vector Machines},
booktitle = {31st International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2017 Workshops, Taipei, Taiwan, March
27-29, 2017},
pages = {397--402},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/WAINA.2017.66},
doi = {10.1109/WAINA.2017.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/DahabMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/AlvarezMZ17,
author = {Jose Alvarez and
Stephane Maag and
Fatiha Za{\"{\i}}di},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Hui{-}Huang Hsu and
Chi{-}Yi Lin},
title = {Monitoring Dynamic Mobile Ad-Hoc Networks: {A} Fully Distributed Hybrid
Architecture},
booktitle = {31st {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2017, Taipei, Taiwan, March 27-29, 2017},
pages = {407--414},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/AINA.2017.74},
doi = {10.1109/AINA.2017.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/AlvarezMZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latincom/PetersenTM17,
author = {Erick Petersen and
Marco Antonio To and
Stephane Maag},
title = {A novel online {CEP} learning engine for {MANET} {IDS}},
booktitle = {9th {IEEE} Latin-American Conference on Communications, {LATINCOM}
2017, Guatemala City, Guatemala, November 8-10, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/LATINCOM.2017.8240196},
doi = {10.1109/LATINCOM.2017.8240196},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/latincom/PetersenTM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01676,
author = {Jose Alvarez and
Stephane Maag and
Fatiha Za{\"{\i}}di},
title = {{DHYMON:} a Continuous Decentralized Hybrid Monitoring Architecture
for MANETs},
journal = {CoRR},
volume = {abs/1712.01676},
year = {2017},
url = {http://arxiv.org/abs/1712.01676},
eprinttype = {arXiv},
eprint = {1712.01676},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-01676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/LopezMM16,
author = {Jorge L{\'{o}}pez and
St{\'{e}}phane Maag and
Gerardo Morales},
title = {Behavior evaluation for trust management based on formal distributed
network monitoring},
journal = {World Wide Web},
volume = {19},
number = {1},
pages = {21--39},
year = {2016},
url = {https://doi.org/10.1007/s11280-015-0324-6},
doi = {10.1007/S11280-015-0324-6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/www/LopezMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LeM16,
author = {Thi Hien Le and
Stephane Maag},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Antonio J. Jara and
Yann Bocchi},
title = {Ads Network Monitoring Integrating Realistic Urban Mobility Patterns},
booktitle = {30th International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2016 Workshops, Crans-Montana, Switzerland,
March 23-25, 2016},
pages = {737--742},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WAINA.2016.99},
doi = {10.1109/WAINA.2016.99},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/LeM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/DahabMBS16,
author = {Sarah A. Dahab and
Stephane Maag and
Alessandra Bagnato and
Marcos Aur{\'{e}}lio Almeida da Silva},
editor = {Nelly Condori{-}Fern{\'{a}}ndez and
Giuseppe Procaccianti and
Coral Calero and
Alessandra Bagnato},
title = {A Learning based approach for Green Software Measurements},
booktitle = {Proceedings of the 3rd International Workshop on Measurement and Metrics
for Green and Sustainable Software Systems, MeGSuS 2016, co-located
with 10th International Symposium on Empirical Software Engineering
and Measurement {(ESEM} 2016), Ciudad Real, Spain, September 7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1708},
pages = {13--22},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1708/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/esem/DahabMBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latincom/PetersenTM16,
author = {Erick Petersen and
Marco Antonio To and
Stephane Maag},
title = {An online learning based approach for {CEP} rule generation},
booktitle = {8th {IEEE} Latin-American Conference on Communications, {LATINCOM}
2016, Medellin, Colombia, November 15-17, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/LATINCOM.2016.7811563},
doi = {10.1109/LATINCOM.2016.7811563},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/latincom/PetersenTM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/AlvarezMZ16,
author = {Jose Alvarez and
St{\'{e}}phane Maag and
Fatiha Za{\"{\i}}di},
editor = {Alessandro Pellegrini and
Aris Gkoulalas{-}Divanis and
Pierangelo di Sanzo and
Dimiter R. Avresky},
title = {MANETs monitoring with a distributed hybrid architecture},
booktitle = {15th {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2016, Cambridge, Boston, MA, USA, October 31 - November 2, 2016},
pages = {388--391},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/NCA.2016.7778646},
doi = {10.1109/NCA.2016.7778646},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/AlvarezMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/CheLMM15,
author = {Xiaoping Che and
Jorge L{\'{o}}pez and
St{\'{e}}phane Maag and
Gerardo Morales},
title = {Testing trust properties using a formal distributed network monitoring
approach},
journal = {Ann. des T{\'{e}}l{\'{e}}communications},
volume = {70},
number = {3-4},
pages = {95--105},
year = {2015},
url = {https://doi.org/10.1007/s12243-014-0454-3},
doi = {10.1007/S12243-014-0454-3},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adt/CheLMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijssc/CheM15,
author = {Xiaoping Che and
Stephane Maag},
title = {Formally testing the protocol performances},
journal = {Int. J. Space Based Situated Comput.},
volume = {5},
number = {2},
pages = {76--88},
year = {2015},
url = {https://doi.org/10.1504/IJSSC.2015.069197},
doi = {10.1504/IJSSC.2015.069197},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijssc/CheM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/CheMTTZ15,
author = {Xiaoping Che and
St{\'{e}}phane Maag and
Hwee{-}Xian Tan and
Hwee{-}Pink Tan and
Zhangbing Zhou},
title = {A Passive Testing Approach for Protocols in Wireless Sensor Networks},
journal = {Sensors},
volume = {15},
number = {11},
pages = {29250--29272},
year = {2015},
url = {https://doi.org/10.3390/s151129250},
doi = {10.3390/S151129250},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/CheMTTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/LopezMM15,
author = {Jorge L{\'{o}}pez and
St{\'{e}}phane Maag and
Gerardo Morales},
title = {{TEAR:} {A} Multi-purpose Formal Language Specification for TEsting
at Runtime},
booktitle = {10th International Conference on Availability, Reliability and Security,
{ARES} 2015, Toulouse, France, August 24-27, 2015},
pages = {727--734},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ARES.2015.90},
doi = {10.1109/ARES.2015.90},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/LopezMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/ToACM15,
author = {Marco Antonio To and
Jose Alvarez and
Marcos Cano and
Stephane Maag},
editor = {Yulei Wu and
Geyong Min and
Nektarios Georgalas and
Jia Hu and
Luigi Atzori and
Xiaolong Jin and
Stephen A. Jarvis and
Lei (Chris) Liu and
Ram{\'{o}}n Ag{\"{u}}ero Calvo},
title = {Spanning Data Across Heterogeneous MANETs through Proactive Strip
Interoperability},
booktitle = {15th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2015; 14th {IEEE} International Conference on Ubiquitous Computing
and Communications, {IUCC} 2015; 13th {IEEE} International Conference
on Dependable, Autonomic and Secure Computing, {DASC} 2015; 13th {IEEE}
International Conference on Pervasive Intelligence and Computing,
PICom 2015, Liverpool, United Kingdom, October 26-28, 2015},
pages = {116--124},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CIT/IUCC/DASC/PICOM.2015.19},
doi = {10.1109/CIT/IUCC/DASC/PICOM.2015.19},
timestamp = {Thu, 22 Oct 2020 17:33:50 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcit/ToACM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LopezMSBC15,
author = {Jorge L{\'{o}}pez and
Stephane Maag and
Cecilia Saint{-}Pierre and
Javier Bustos{-}Jim{\'{e}}nez and
Ana R. Cavalli},
editor = {Leonard Barolli and
Makoto Takizawa and
Fatos Xhafa and
Tomoya Enokido and
Jong Hyuk Park},
title = {Process Mining for Trust Monitoring},
booktitle = {29th {IEEE} International Conference on Advanced Information Networking
and Applications Workshops, {AINA} 2015 Workshops, Gwangju, South
Korea, March 24-27, 2015},
pages = {605--610},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/WAINA.2015.71},
doi = {10.1109/WAINA.2015.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/LopezMSBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latincom/MarroquinGM15,
author = {Alberto Marroquin and
Douglas Gonzalez and
Stephane Maag},
title = {Testing distributed systems with test cases dependencies architecture},
booktitle = {7th {IEEE} Latin-American Conference on Communications, {LATINCOM}
2015, Arequipa, Peru, November 4-6, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/LATINCOM.2015.7430116},
doi = {10.1109/LATINCOM.2015.7430116},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/latincom/MarroquinGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latincom/RodasTAM15,
author = {Oscar Rodas and
Marco Antonio To and
Jose Alvarez and
Stephane Maag},
title = {Protecting Wireless Mesh Networks through a distributed intrusion
prevention framework},
booktitle = {7th {IEEE} Latin-American Conference on Communications, {LATINCOM}
2015, Arequipa, Peru, November 4-6, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/LATINCOM.2015.7430126},
doi = {10.1109/LATINCOM.2015.7430126},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/latincom/RodasTAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latincom/ToRBM15,
author = {Marco Antonio To and
Oscar Rodas and
Preng Biba and
St{\'{e}}phane Maag},
title = {A proactive approach for strip interoperability in wireless ad hoc
routing protocols},
booktitle = {7th {IEEE} Latin-American Conference on Communications, {LATINCOM}
2015, Arequipa, Peru, November 4-6, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/LATINCOM.2015.7430121},
doi = {10.1109/LATINCOM.2015.7430121},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/latincom/ToRBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CheMNZ15,
author = {Xiaoping Che and
Stephane Maag and
Huu Nghia Nguyen and
Fatiha Za{\"{\i}}di},
editor = {Khaled El{-}Fakih and
Gerassimos D. Barlas and
Nina Yevtushenko},
title = {Guiding Testers' Hands in Monitoring Tools: Application of Testing
Approaches on {SIP}},
booktitle = {Testing Software and Systems - 27th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2015, Sharjah and Dubai, United Arab Emirates,
November 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9447},
pages = {105--123},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25945-1\_7},
doi = {10.1007/978-3-319-25945-1\_7},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/CheMNZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/racs/MarroquinGM15,
author = {Alberto Marroquin and
Douglas Gonzalez and
Stephane Maag},
editor = {Esmaeil S. Nadimi and
Tom{\'{a}}s Cern{\'{y}} and
Sung{-}Ryul Kim and
Wei Wang},
title = {A novel distributed testing approach based on test cases dependencies
for communication protocols},
booktitle = {Proceedings of the 2015 Conference on research in adaptive and convergent
systems, {RACS} 2015, Prague, Czech Republic, October 9-12, 2015},
pages = {497--504},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2811411.2811554},
doi = {10.1145/2811411.2811554},
timestamp = {Tue, 06 Nov 2018 11:07:49 +0100},
biburl = {https://dblp.org/rec/conf/racs/MarroquinGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/LopezM15,
author = {Jorge L{\'{o}}pez and
Stephane Maag},
title = {Towards a Generic Trust Management Framework Using a Machine-Learning-Based
Trust Model},
booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22,
2015, Volume 1},
pages = {1343--1348},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/Trustcom.2015.528},
doi = {10.1109/TRUSTCOM.2015.528},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/LopezM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/CheMTT15,
author = {Xiaoping Che and
Stephane Maag and
Hwee{-}Xian Tan and
Hwee{-}Pink Tan},
title = {Passively Testing Routing Protocols in Wireless Sensor Networks},
booktitle = {2015 {IEEE} 12th Intl Conf on Ubiquitous Intelligence and Computing
and 2015 {IEEE} 12th Intl Conf on Autonomic and Trusted Computing
and 2015 {IEEE} 15th Intl Conf on Scalable Computing and Communications
and Its Associated Workshops (UIC-ATC-ScalCom), Beijing, China, August
10-14, 2015},
pages = {270--277},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.59},
doi = {10.1109/UIC-ATC-SCALCOM-CBDCOM-IOP.2015.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/CheMTT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/CheM14,
author = {Xiaoping Che and
Stephane Maag},
title = {Testing protocols in Internet of Things by a formal passive technique},
journal = {Sci. China Inf. Sci.},
volume = {57},
number = {3},
pages = {1--13},
year = {2014},
url = {https://doi.org/10.1007/s11432-014-5068-x},
doi = {10.1007/S11432-014-5068-X},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/CheM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/CheM14,
author = {Xiaoping Che and
Stephane Maag},
title = {Passive performance testing of network protocols},
journal = {Comput. Commun.},
volume = {51},
pages = {36--47},
year = {2014},
url = {https://doi.org/10.1016/j.comcom.2014.06.001},
doi = {10.1016/J.COMCOM.2014.06.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/CheM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LopezCMM14,
author = {Jorge L{\'{o}}pez and
Xiaoping Che and
St{\'{e}}phane Maag and
Gerardo Morales},
editor = {Leonard Barolli and
Kin Fun Li and
Tomoya Enokido and
Fatos Xhafa and
Makoto Takizawa},
title = {A Distributed Monitoring Approach for Trust Assessment Based on Formal
Testing},
booktitle = {28th International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2014 Workshops, Victoria, BC, Canada,
May 13-16, 2014},
pages = {702--707},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WAINA.2014.114},
doi = {10.1109/WAINA.2014.114},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/LopezCMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/CheLM14,
author = {Xiaoping Che and
Jorge L{\'{o}}pez and
St{\'{e}}phane Maag},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Online Testing: {A} Passive Approach for Protocols},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 9th International
Conference, {ENASE} 2014, Lisbon, Portugal, April 28-30, 2014. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {551},
pages = {79--92},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-27218-4\_6},
doi = {10.1007/978-3-319-27218-4\_6},
timestamp = {Tue, 16 Aug 2022 23:04:41 +0200},
biburl = {https://dblp.org/rec/conf/enase/CheLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/LopezCM14,
author = {Jorge L{\'{o}}pez and
Xiaoping Che and
Stephane Maag},
editor = {Joaquim Filipe and
Leszek A. Maciaszek},
title = {An Online Passive Testing Approach for Communication Protocols},
booktitle = {{ENASE} 2014 - Proceedings of the 9th International Conference on
Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal,
28-30 April, 2014},
pages = {136--143},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004885501360143},
doi = {10.5220/0004885501360143},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/enase/LopezCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/ToMM14,
author = {Marco Antonio To and
Gerardo Morales and
Stephane Maag},
title = {Strip Interoperability for Wireless Ad Hoc Routing Protocols},
booktitle = {2014 {IEEE} 13th International Symposium on Network Computing and
Applications, {NCA} 2014, Cambridge, MA, USA, 21-23 August, 2014},
pages = {32--36},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/NCA.2014.9},
doi = {10.1109/NCA.2014.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/ToMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CheMLC14,
author = {Xiaoping Che and
St{\'{e}}phane Maag and
Jorge L{\'{o}}pez and
Ana R. Cavalli},
editor = {Marek Z. Reformat},
title = {Testing Network Protocols: formally, at runtime and online},
booktitle = {The 26th International Conference on Software Engineering and Knowledge
Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
pages = {90--93},
publisher = {Knowledge Systems Institute Graduate School},
year = {2014},
timestamp = {Thu, 06 Oct 2022 12:30:17 +0200},
biburl = {https://dblp.org/rec/conf/seke/CheMLC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/MouttappaMC13,
author = {Pramila Mouttappa and
Stephane Maag and
Ana R. Cavalli},
title = {Using passive testing based on symbolic execution and slicing techniques:
Application to the validation of communication protocols},
journal = {Comput. Networks},
volume = {57},
number = {15},
pages = {2992--3008},
year = {2013},
url = {https://doi.org/10.1016/j.comnet.2013.06.019},
doi = {10.1016/J.COMNET.2013.06.019},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/MouttappaMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/LalanneM13,
author = {Felipe Lalanne and
Stephane Maag},
title = {A Formal Data-Centric Approach for Passive Testing of Communication
Protocols},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {21},
number = {3},
pages = {788--801},
year = {2013},
url = {https://doi.org/10.1109/TNET.2012.2210443},
doi = {10.1109/TNET.2012.2210443},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/LalanneM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/CheM13,
author = {Xiaoping Che and
St{\'{e}}phane Maag},
editor = {Leonard Barolli and
Fatos Xhafa and
Makoto Takizawa and
Tomoya Enokido and
Hui{-}Huang Hsu},
title = {Passive Testing on Performance Requirements of Network Protocols},
booktitle = {27th International Conference on Advanced Information Networking and
Applications Workshops, {WAINA} 2013, Barcelona, Spain, March 25-28,
2013},
pages = {1439--1444},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WAINA.2013.12},
doi = {10.1109/WAINA.2013.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/CheM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MouttappaMC13,
author = {Pramila Mouttappa and
Stephane Maag and
Ana R. Cavalli},
title = {Monitoring Based on {IOSTS} for Testing Functional and Security Properties:
Application to an Automotive Case Study},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.5},
doi = {10.1109/COMPSAC.2013.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/MouttappaMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/CheM13,
author = {Xiaoping Che and
Stephane Maag},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {A Formal Passive Performance Testing Approach for Distributed Communication
Systems},
booktitle = {{ENASE} 2013 - Proceedings of the 8th International Conference on
Evaluation of Novel Approaches to Software Engineering, Angers, France,
4-6 July, 2013},
pages = {74--84},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004444000740084},
doi = {10.5220/0004444000740084},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/CheM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/CheM13a,
author = {Xiaoping Che and
Stephane Maag},
editor = {Joaquim Filipe and
Leszek A. Maciaszek},
title = {Testing Distributed Communication Protocols by Formal Performance
Monitoring},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 8th International
Conference, {ENASE} 2013, Angers, France, July 4-6, 2013, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {417},
pages = {110--125},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54092-9\_8},
doi = {10.1007/978-3-642-54092-9\_8},
timestamp = {Sat, 19 Oct 2019 20:01:10 +0200},
biburl = {https://dblp.org/rec/conf/enase/CheM13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/greencom/CheM13,
author = {Xiaoping Che and
St{\'{e}}phane Maag},
title = {A Passive Testing Approach for Protocols in Internet of Things},
booktitle = {2013 {IEEE} International Conference on Green Computing and Communications
(GreenCom) and {IEEE} Internet of Things (iThings) and {IEEE} Cyber,
Physical and Social Computing (CPSCom), Beijing, China, August 20-23,
2013},
pages = {678--684},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/GreenCom-iThings-CPSCom.2013.124},
doi = {10.1109/GREENCOM-ITHINGS-CPSCOM.2013.124},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/greencom/CheM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/LalanneM13,
author = {Felipe Lalanne and
Stephane Maag},
editor = {Roberto Saracco and
Khaled Ben Letaief and
Mario Gerla and
Sergio Palazzo and
Luigi Atzori},
title = {DataMonitor - {A} formal approach for passively testing a {MANET}
routing protocol},
booktitle = {2013 9th International Wireless Communications and Mobile Computing
Conference, {IWCMC} 2013, Sardinia, Italy, July 1-5, 2013},
pages = {207--212},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IWCMC.2013.6583560},
doi = {10.1109/IWCMC.2013.6583560},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/LalanneM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medes/LopezMM13,
author = {Jorge L{\'{o}}pez and
Stephane Maag and
Gerardo Morales},
editor = {Latif Ladid and
Antonio Montes and
Peter A. Bruck and
Fernando Ferri and
Richard Chbeir},
title = {A formal distributed network monitoring approach for enhancing trust
management systems},
booktitle = {Fifth International Conference on Management of Emergent Digital EcoSystems,
{MEDES} '13, Luxembourg, Luxembourg, October 29-31, 2013},
pages = {76--83},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2536146.2536160},
doi = {10.1145/2536146.2536160},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medes/LopezMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/CheLM12,
author = {Xiaoping Che and
Felipe Lalanne and
Stephane Maag},
editor = {Joaquim Filipe and
Leszek A. Maciaszek},
title = {A Logic-based Passive Testing Approach for the Validation of Communicating
Protocols},
booktitle = {{ENASE} 2012 - Proceedings of the 7th International Conference on
Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland,
29-30 June, 2012},
pages = {53--64},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 26 Oct 2012 15:38:17 +0200},
biburl = {https://dblp.org/rec/conf/enase/CheLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/CheLM12a,
author = {Xiaoping Che and
Felipe Lalanne and
Stephane Maag},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {A Formal Monitoring Technique for {SIP} Conformance Testing},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 7th International
Conference, {ENASE} 2012, Warsaw, Poland, June 29-30, 2012, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {410},
pages = {79--94},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-45422-6\_6},
doi = {10.1007/978-3-642-45422-6\_6},
timestamp = {Sat, 19 Oct 2019 20:01:10 +0200},
biburl = {https://dblp.org/rec/conf/enase/CheLM12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/MouttappaMC12,
author = {Pramila Mouttappa and
St{\'{e}}phane Maag and
Ana R. Cavalli},
editor = {Antony Tang and
Henry Muccini},
title = {An {IOSTS} Based Passive Testing Approach for the Validation of Data-Centric
Protocols},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {49--58},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.33},
doi = {10.1109/QSIC.2012.33},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/qsic/MouttappaMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sitis/LalanneCM12,
author = {Felipe Lalanne and
Ana R. Cavalli and
Stephane Maag},
editor = {Kokou Y{\'{e}}tongnon and
Richard Chbeir and
Albert Dipanda and
Luigi Gallo},
title = {Quality of Experience as a Selection Criterion for Web Services},
booktitle = {Eighth International Conference on Signal Image Technology and Internet
Based Systems, {SITIS} 2012, Sorrento, Naples, Italy, November 25-29,
2012},
pages = {519--526},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SITIS.2012.81},
doi = {10.1109/SITIS.2012.81},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/sitis/LalanneCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/VianaMZ11,
author = {Aline Carneiro Viana and
Stephane Maag and
Fatiha Za{\"{\i}}di},
title = {One step forward: Linking wireless self-organizing network validation
techniques with formal testing approaches},
journal = {{ACM} Comput. Surv.},
volume = {43},
number = {2},
pages = {7:1--7:36},
year = {2011},
url = {https://doi.org/10.1145/1883612.1883614},
doi = {10.1145/1883612.1883614},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/VianaMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LalanneM11,
author = {Felipe Lalanne and
Stephane Maag},
title = {Protocol Data Parts Inclusion in a Formal Passive Testing Approach},
booktitle = {25th {IEEE} International Conference on Advanced Information Networking
and Applications Workshops, {WAINA} 2011, Biopolis, Singapore, March
22-25, 2011},
pages = {569--573},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WAINA.2011.21},
doi = {10.1109/WAINA.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/LalanneM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/ZhigulinYMC11,
author = {Maxim Zhigulin and
Nina Yevtushenko and
St{\'{e}}phane Maag and
Ana R. Cavalli},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Robert M. Hierons and
Mercedes G. Merayo},
title = {FSM-Based Test Derivation Strategies for Systems with Time-Outs},
booktitle = {Proceedings of the 11th International Conference on Quality Software,
{QSIC} 2011, Madrid, Spain, July 13-14, 2011},
pages = {141--149},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QSIC.2011.30},
doi = {10.1109/QSIC.2011.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/ZhigulinYMC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/DorofeevaEMCY10,
author = {Rita Dorofeeva and
Khaled El{-}Fakih and
St{\'{e}}phane Maag and
Ana R. Cavalli and
Nina Yevtushenko},
title = {FSM-based conformance testing methods: {A} survey annotated with experimental
evaluation},
journal = {Inf. Softw. Technol.},
volume = {52},
number = {12},
pages = {1286--1297},
year = {2010},
url = {https://doi.org/10.1016/j.infsof.2010.07.001},
doi = {10.1016/J.INFSOF.2010.07.001},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/DorofeevaEMCY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/ZaidiLM10,
author = {Fatiha Za{\"{\i}}di and
Mounir Lallali and
St{\'{e}}phane Maag},
title = {A component based testing technique for a {MANET} routing protocol},
booktitle = {The 8th {ACS/IEEE} International Conference on Computer Systems and
Applications, {AICCSA} 2010, Hammamet, Tunisia, May 16-19, 2010},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/AICCSA.2010.5587040},
doi = {10.1109/AICCSA.2010.5587040},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/ZaidiLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/SarakbiM10,
author = {Bakr Sarakbi and
St{\'{e}}phane Maag},
title = {Partial Complete iBGP},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2010, Cape Town, South Africa, 23-27 May 2010},
pages = {1--5},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICC.2010.5502388},
doi = {10.1109/ICC.2010.5502388},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/SarakbiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/MoralesMCMOW10,
author = {Gerardo Morales and
St{\'{e}}phane Maag and
Ana R. Cavalli and
Wissam Mallouli and
Edgardo Montes de Oca and
Bachar Wehbi},
title = {Timed Extended Invariants for the Passive Testing of Web Services},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2010, Miami,
Florida, USA, July 5-10, 2010},
pages = {592--599},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICWS.2010.17},
doi = {10.1109/ICWS.2010.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/MoralesMCMOW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/SarakbiM10,
author = {Bakr Sarakbi and
St{\'{e}}phane Maag},
title = {{BGP} Skeleton - An Alternative to iBGP Route Reflection},
booktitle = {{INFOCOM} 2010. 29th {IEEE} International Conference on Computer Communications,
Joint Conference of the {IEEE} Computer and Communications Societies,
15-19 March 2010, San Diego, CA, {USA}},
pages = {301--305},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/INFCOM.2010.5462223},
doi = {10.1109/INFCOM.2010.5462223},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/infocom/SarakbiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AndresMCMN09,
author = {C{\'{e}}sar Andr{\'{e}}s and
St{\'{e}}phane Maag and
Ana R. Cavalli and
Mercedes G. Merayo and
Manuel N{\'{u}}{\~{n}}ez},
editor = {Shahida Sulaiman and
Noor Maizura Mohamad Noor},
title = {Analysis of the {OLSR} Protocol by Using Formal Passive Testing},
booktitle = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3
December 2009, Batu Ferringhi, Penang, Malaysia},
pages = {152--159},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/APSEC.2009.37},
doi = {10.1109/APSEC.2009.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AndresMCMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LalanneMOCMG09,
author = {Felipe Lalanne and
St{\'{e}}phane Maag and
Edgardo Montes de Oca and
Ana R. Cavalli and
Wissam Mallouli and
Arnaud Gonguet},
title = {An Automated Passive Testing Approach for the {IMS} PoC Service},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {535--539},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.33},
doi = {10.1109/ASE.2009.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LalanneMOCMG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobility/LalanneM09,
author = {Felipe Lalanne and
St{\'{e}}phane Maag},
title = {From the {IMS} PoC service monitoring to its formal conformance testing},
booktitle = {Proceedings of the 6th International Conference on Mobile Technology,
Applications, and Systems, Mobility Conference 2009, Nice, France,
September 2-4, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1710035.1710043},
doi = {10.1145/1710035.1710043},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobility/LalanneM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/CavalliMOZ09,
author = {Ana R. Cavalli and
St{\'{e}}phane Maag and
Edgardo Montes de Oca and
Fatiha Za{\"{\i}}di},
title = {A Formal Passive Testing Approach to test a {MANET} Routing Protocol},
booktitle = {Seventh Annual {IEEE} International Conference on Pervasive Computing
and Communications - Workshops (PerCom Workshops 2009), 9-13 March
2009, Galveston, TX, {USA}},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/PERCOM.2009.4912874},
doi = {10.1109/PERCOM.2009.4912874},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/CavalliMOZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CavalliMO09,
author = {Ana R. Cavalli and
St{\'{e}}phane Maag and
Edgardo Montes de Oca},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {A passive conformance testing approach for a {MANET} routing protocol},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {207--211},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529326},
doi = {10.1145/1529282.1529326},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CavalliMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/MaagGC08,
author = {St{\'{e}}phane Maag and
Cyril Grepet and
Ana R. Cavalli},
title = {A formal validation methodology for {MANET} routing protocols based
on nodes' self similarity},
journal = {Comput. Commun.},
volume = {31},
number = {4},
pages = {827--841},
year = {2008},
url = {https://doi.org/10.1016/j.comcom.2007.10.031},
doi = {10.1016/J.COMCOM.2007.10.031},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/MaagGC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MaagG08,
author = {St{\'{e}}phane Maag and
Cyril Grepet},
title = {A Node Self Similarity Approach for Interoperability Testing of Ad
Hoc Routing Protocols},
booktitle = {22nd International Conference on Advanced Information Networking and
Applications, {AINA} 2008, Workshops Proceedings, GinoWan, Okinawa,
Japan, March 25-28, 2008},
pages = {983--988},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WAINA.2008.61},
doi = {10.1109/WAINA.2008.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/MaagG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MaagG08,
author = {St{\'{e}}phane Maag and
Cyril Grepet},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Interoperability testing of a {MANET} routing protocol using a node
self-similarity approach},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {1908--1912},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1364148},
doi = {10.1145/1363686.1364148},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/MaagG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/GrepetM07,
author = {Cyril Grepet and
St{\'{e}}phane Maag},
title = {A Testing Methodology for a {MANET} Routing Protocol Using a Node
Self-Similarity Approach},
booktitle = {Fifth Annual {IEEE} International Conference on Pervasive Computing
and Communications - Workshops (PerCom Workshops 2007), 19-23 March
2007, White Plains, New York, {USA}},
pages = {514--519},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PERCOMW.2007.16},
doi = {10.1109/PERCOMW.2007.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/GrepetM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GrepetM07,
author = {Cyril Grepet and
St{\'{e}}phane Maag},
editor = {Alexandre Petrenko and
Margus Veanes and
Jan Tretmans and
Wolfgang Grieskamp},
title = {Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols},
booktitle = {Testing of Software and Communicating Systems, 19th {IFIP} {TC6/WG6.1}
International Conference, TestCom 2007, 7th International Workshop,
{FATES} 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4581},
pages = {123--137},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73066-8\_9},
doi = {10.1007/978-3-540-73066-8\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/GrepetM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sitis/CavalliMM07,
author = {Ana R. Cavalli and
St{\'{e}}phane Maag and
Gerardo Morales},
editor = {Kokou Y{\'{e}}tongnon and
Richard Chbeir and
Albert Dipanda},
title = {Regression and Performance Testing of an e-Learning Web Application:
dotLRN},
booktitle = {Third International {IEEE} Conference on Signal-Image Technologies
and Internet-Based System, {SITIS} 2007, Shanghai, China, December
16-18, 2007},
pages = {369--376},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SITIS.2007.129},
doi = {10.1109/SITIS.2007.129},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sitis/CavalliMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/GrepetM06,
author = {Cyril Grepet and
St{\'{e}}phane Maag},
title = {Conformance and Interoperability Testing of an Ad Hoc Routing Protocol},
booktitle = {7th International Conference on Mobile Data Management {(MDM} 2006),
Nara, Japan, May 9-13, 2006},
pages = {124},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MDM.2006.49},
doi = {10.1109/MDM.2006.49},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mdm/GrepetM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/MaagZ06,
author = {St{\'{e}}phane Maag and
Fatiha Za{\"{\i}}di},
editor = {Mohamed Ould{-}Khaoua and
Mar{\'{\i}}a Blanca Caminero},
title = {Testing methodology for an ad hoc routing protocol},
booktitle = {Proceedings of the 1st {ACM} Workshop on Performance Monitoring and
Measurement of Heterogeneous Wireless and Wired Networks, {PM2HW2N}
2006, Terromolinos, Spain, October 2, 2006},
pages = {48--55},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1163653.1163663},
doi = {10.1145/1163653.1163663},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mswim/MaagZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CavalliMMMQ06,
author = {Ana R. Cavalli and
St{\'{e}}phane Maag and
Wissam Mallouli and
Mikael Marche and
Yves{-}Marie Quemener},
editor = {M. {\"{U}}mit Uyar and
Ali Y. Duale and
Mariusz A. Fecko},
title = {Application of Two Test Generation Tools to an Industrial Case Study},
booktitle = {Testing of Communicating Systems, 18th {IFIP} {TC6/WG6.1} International
Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3964},
pages = {134--148},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11754008\_9},
doi = {10.1007/11754008\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/CavalliMMMQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/CavalliGMT04,
author = {Ana R. Cavalli and
Cyril Grepet and
St{\'{e}}phane Maag and
Vincent Tortajada},
title = {A Validation Model for the {DSR} Protocol},
booktitle = {24th International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan},
pages = {768--773},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICDCSW.2004.1284120},
doi = {10.1109/ICDCSW.2004.1284120},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/CavalliGMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-5/CavalliMPVZ04,
author = {Ana R. Cavalli and
St{\'{e}}phane Maag and
Sofia Papagiannaki and
Georgios Verigakis and
Fatiha Za{\"{\i}}di},
editor = {Carlos Delgado Kloos and
Abelardo Pardo},
title = {A Testing Methodology for an Open Software E-learning Platform},
booktitle = {EDUTECH, Computer-Aided Design Meets Computer-Aided Learning, {IFIP}
18th World Computer Congress, {TC10} / {WG10.5} EduTech Workshop,
22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {151},
pages = {165--174},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8162-6\_18},
doi = {10.1007/1-4020-8162-6\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-5/CavalliMPVZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CavalliM04,
author = {Ana R. Cavalli and
St{\'{e}}phane Maag},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Automated test scenarios generation for an e-barter system},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {795--799},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968064},
doi = {10.1145/967900.968064},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/CavalliM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CavalliMPV05,
author = {Ana R. Cavalli and
St{\'{e}}phane Maag and
Sofia Papagiannaki and
Georgios Verigakis},
editor = {Mauro Pezz{\`{e}}},
title = {From {UML} models to automatic generated tests for the dotLRN e-learning
platform},
booktitle = {Proceedings of the International Workshop on Test and Analysis of
Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {116},
pages = {133--144},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.072},
doi = {10.1016/J.ENTCS.2004.02.072},
timestamp = {Fri, 09 Dec 2022 13:14:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CavalliMPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CavalliM02,
author = {Ana R. Cavalli and
St{\'{e}}phane Maag},
editor = {Chris George and
Huaikou Miao},
title = {A New Algorithm for Service Interaction Detection},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {371--382},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_38},
doi = {10.1007/3-540-36103-0\_38},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CavalliM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:02 CEST 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:
