BibTeX records: Riadh Robbana

download as .bib file

@article{DBLP:journals/ijccbs/HafaiedhSR18,
  author    = {Imene Ben Hafaiedh and
               Maroua Ben Slimane and
               Riadh Robbana},
  title     = {A formal model for the analysis and verification of a pre-emptive
               round-robin arbiter},
  journal   = {{IJCCBS}},
  volume    = {8},
  number    = {2},
  pages     = {169--192},
  year      = {2018},
  url       = {https://doi.org/10.1504/IJCCBS.2018.096193},
  doi       = {10.1504/IJCCBS.2018.096193},
  timestamp = {Fri, 01 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijccbs/HafaiedhSR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emcis/ChaiebYLR18,
  author    = {Marwa Chaieb and
               Souheib Yousfi and
               Pascal Lafourcade and
               Riadh Robbana},
  title     = {Verify-Your-Vote: {A} Verifiable Blockchain-Based Online Voting Protocol},
  booktitle = {Information Systems - 15th European, Mediterranean, and Middle Eastern
               Conference, {EMCIS} 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings},
  pages     = {16--30},
  year      = {2018},
  crossref  = {DBLP:conf/emcis/2018},
  url       = {https://doi.org/10.1007/978-3-030-11395-7\_2},
  doi       = {10.1007/978-3-030-11395-7\_2},
  timestamp = {Wed, 16 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emcis/ChaiebYLR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HamoudaBHR18,
  author    = {Roua Ben Hamouda and
               Sabrine Boussema and
               Imene Ben Hafaiedh and
               Riadh Robbana},
  title     = {Performance Evaluation of Dynamic Load Balancing Protocols Based on
               Formal Models in Cloud Environments},
  booktitle = {Verification and Evaluation of Computer and Communication Systems
               - 12th International Conference, VECoS 2018, Grenoble, France, September
               26-28, 2018, Proceedings},
  pages     = {64--79},
  year      = {2018},
  crossref  = {DBLP:conf/vecos/2018},
  url       = {https://doi.org/10.1007/978-3-030-00359-3\_5},
  doi       = {10.1007/978-3-030-00359-3\_5},
  timestamp = {Wed, 19 Sep 2018 10:33:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/HamoudaBHR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/SlimaneHR17,
  author    = {Maroua Ben Slimane and
               Imene Ben Hafaiedh and
               Riadh Robbana},
  title     = {Formal-Based Design and Verification of SoC Arbitration Protocols:
               {A} Comparative Analysis of {TDMA} and Round-Robin},
  journal   = {{IEEE} Design {\&} Test},
  volume    = {34},
  number    = {5},
  pages     = {54--62},
  year      = {2017},
  url       = {https://doi.org/10.1109/MDAT.2017.2713352},
  doi       = {10.1109/MDAT.2017.2713352},
  timestamp = {Wed, 11 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dt/SlimaneHR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/HafaiedhSHR17,
  author    = {Imene Ben Hafaiedh and
               Maroua Ben Slimane and
               Sourour Haouala and
               Riadh Robbana},
  title     = {Formal Distributed Model for the Verification of Job-Scheduling in
               Cloud Environments},
  booktitle = {14th {IEEE/ACS} International Conference on Computer Systems and Applications,
               {AICCSA} 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017},
  pages     = {660--667},
  year      = {2017},
  crossref  = {DBLP:conf/aiccsa/2017},
  url       = {https://doi.org/10.1109/AICCSA.2017.144},
  doi       = {10.1109/AICCSA.2017.144},
  timestamp = {Tue, 05 Feb 2019 09:50:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/HafaiedhSHR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/SaoudiYR17,
  author    = {Safa Saoudi and
               Souheib Yousfi and
               Riadh Robbana},
  title     = {Elliptic Curve Cryptography on E-Passport Authentication Protocol},
  booktitle = {14th {IEEE/ACS} International Conference on Computer Systems and Applications,
               {AICCSA} 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017},
  pages     = {1253--1260},
  year      = {2017},
  crossref  = {DBLP:conf/aiccsa/2017},
  url       = {https://doi.org/10.1109/AICCSA.2017.176},
  doi       = {10.1109/AICCSA.2017.176},
  timestamp = {Tue, 05 Feb 2019 09:50:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/SaoudiYR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/BouaskerLR16,
  author    = {Taycir Bouasker and
               Mahjoub Langar and
               Riadh Robbana},
  title     = {Novel time related quality of service criteria},
  booktitle = {13th {IEEE/ACS} International Conference of Computer Systems and Applications,
               {AICCSA} 2016, Agadir, Morocco, November 29 - December 2, 2016},
  pages     = {1--8},
  year      = {2016},
  crossref  = {DBLP:conf/aiccsa/2016},
  url       = {https://doi.org/10.1109/AICCSA.2016.7945777},
  doi       = {10.1109/AICCSA.2016.7945777},
  timestamp = {Tue, 05 Feb 2019 09:50:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/BouaskerLR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NasraouiR16,
  author    = {Brahim Nasraoui and
               Riadh Robbana},
  title     = {Reachability Analysis of Multithreaded Programs Using Communicating
               Rewriting Systems},
  booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
               {COMPSAC} Workshops 2016, Atlanta, GA, USA, June 10-14, 2016},
  pages     = {228--233},
  year      = {2016},
  crossref  = {DBLP:conf/compsac/2016w},
  url       = {https://doi.org/10.1109/COMPSAC.2016.174},
  doi       = {10.1109/COMPSAC.2016.174},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/NasraouiR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/HafaiedhSR16,
  author    = {Imene Ben Hafaiedh and
               Maroua Ben Slimane and
               Riadh Robbana},
  title     = {A Distributed Formal Model for the Analysis and Verification of Arbitration
               Protocols on MPSoCs Architecture},
  booktitle = {Algorithms and Architectures for Parallel Processing - 16th International
               Conference, {ICA3PP} 2016, Granada, Spain, December 14-16, 2016, Proceedings},
  pages     = {658--674},
  year      = {2016},
  crossref  = {DBLP:conf/ica3pp/2016},
  url       = {https://doi.org/10.1007/978-3-319-49583-5\_51},
  doi       = {10.1007/978-3-319-49583-5\_51},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ica3pp/HafaiedhSR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/BouaskerLR16,
  author    = {Taycir Bouasker and
               Mahjoub Langar and
               Riadh Robbana},
  title     = {NFRs based web services scoring as web service},
  booktitle = {{IEEE} Symposium on Computers and Communication, {ISCC} 2016, Messina,
               Italy, June 27-30, 2016},
  pages     = {1032--1038},
  year      = {2016},
  crossref  = {DBLP:conf/iscc/2016},
  url       = {https://doi.org/10.1109/ISCC.2016.7543872},
  doi       = {10.1109/ISCC.2016.7543872},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscc/BouaskerLR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/FouratiBR16,
  author    = {Farah Fourati and
               Mohamed Tahar Bhiri and
               Riadh Robbana},
  title     = {Coupling Event-B/ProB for the Analysis of the Software Architecture
               Evolution Described in {PDDL}},
  booktitle = {Intelligent Systems Design and Applications - 16th International Conference
               on Intelligent Systems Design and Applications {(ISDA} 2016) held
               in Porto, Portugal, December 16-18, 2016},
  pages     = {821--830},
  year      = {2016},
  crossref  = {DBLP:conf/isda/2016},
  url       = {https://doi.org/10.1007/978-3-319-53480-0\_81},
  doi       = {10.1007/978-3-319-53480-0\_81},
  timestamp = {Wed, 17 May 2017 14:24:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isda/FouratiBR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/HaddedLR16,
  author    = {Imene Hadded and
               Mahjoub Langar and
               Riadh Robbana},
  title     = {Web Services Orchestration's Monitor as a Web Service},
  booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings
               of the Fifteenth SoMeT{\_}16, Larnaca, Cyprus, 12-14 September 2016},
  pages     = {258--269},
  year      = {2016},
  crossref  = {DBLP:conf/somet/2016},
  url       = {https://doi.org/10.3233/978-1-61499-674-3-258},
  doi       = {10.3233/978-1-61499-674-3-258},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/somet/HaddedLR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SaoudiYR16,
  author    = {Safa Saoudi and
               Souheib Yousfi and
               Riadh Robbana},
  title     = {ePassport Protocol on the Spi Calculus},
  booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
               Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
               6-7, 2016.},
  pages     = {161--176},
  year      = {2016},
  crossref  = {DBLP:conf/vecos/2016},
  url       = {http://ceur-ws.org/Vol-1689/paper14.pdf},
  timestamp = {Tue, 27 Sep 2016 21:31:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/SaoudiYR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/MHemdiJMR16,
  author    = {Hana M'Hemdi and
               Jacques Julliand and
               Pierre{-}Alain Masson and
               Riadh Robbana},
  title     = {Conformance Testing for Non-deterministic Timed Pushdown Automata
               with Deadlines},
  booktitle = {25th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE} 2016, Paris, France, June
               13-15, 2016},
  pages     = {211--213},
  year      = {2016},
  crossref  = {DBLP:conf/wetice/2016},
  url       = {https://doi.org/10.1109/WETICE.2016.54},
  doi       = {10.1109/WETICE.2016.54},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wetice/MHemdiJMR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/KridGR15,
  author    = {Donia Khemakhem Krid and
               Naouel Ben Salem Grati and
               Riadh Robbana},
  title     = {A new model for Online Social Networks case of Facebook},
  booktitle = {12th {IEEE/ACS} International Conference of Computer Systems and Applications,
               {AICCSA} 2015, Marrakech, Morocco, November 17-20, 2015},
  pages     = {1--6},
  year      = {2015},
  crossref  = {DBLP:conf/aiccsa/2015},
  url       = {https://doi.org/10.1109/AICCSA.2015.7507177},
  doi       = {10.1109/AICCSA.2015.7507177},
  timestamp = {Tue, 05 Feb 2019 09:50:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/KridGR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MHemdiJMR15,
  author    = {Hana M'Hemdi and
               Jacques Julliand and
               Pierre{-}Alain Masson and
               Riadh Robbana},
  title     = {Test generation from timed pushdown automata with inputs and outputs},
  booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17,
               2015},
  pages     = {1--10},
  year      = {2015},
  crossref  = {DBLP:conf/icst/2015w},
  url       = {https://doi.org/10.1109/ICSTW.2015.7107404},
  doi       = {10.1109/ICSTW.2015.7107404},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/MHemdiJMR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/provsec/DahmaniLR15,
  author    = {Karim Dahmani and
               Mahjoub Langar and
               Riadh Robbana},
  title     = {A Formal Dynamic Verification of Choreographed Web Services Conversations},
  booktitle = {Provable Security - 9th International Conference, ProvSec 2015, Kanazawa,
               Japan, November 24-26, 2015, Proceedings},
  pages     = {340--353},
  year      = {2015},
  crossref  = {DBLP:conf/provsec/2015},
  url       = {https://doi.org/10.1007/978-3-319-26059-4\_19},
  doi       = {10.1007/978-3-319-26059-4\_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/provsec/DahmaniLR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/MHemdiJMR15,
  author    = {Hana M'Hemdi and
               Jacques Julliand and
               Pierre{-}Alain Masson and
               Riadh Robbana},
  title     = {Non-deterministic Timed Pushdown Automata-Based Testing Evaluated
               by Mutation},
  booktitle = {24th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE} 2015, Larnaca, Cyprus, June
               15-17, 2015},
  pages     = {198--203},
  year      = {2015},
  crossref  = {DBLP:conf/wetice/2015w},
  url       = {https://doi.org/10.1109/WETICE.2015.35},
  doi       = {10.1109/WETICE.2015.35},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wetice/MHemdiJMR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014fms,
  editor    = {V{\'{e}}ronique Cortier and
               Riadh Robbana},
  title     = {Proceedings of the Formal Methods for Security Workshop co-located
               with the PetriNets-2014 Conference , Tunis, Tunisia, June 23rd, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1158},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1158},
  urn       = {urn:nbn:de:0074-1158-8},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014fms},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/SfaxiARL13,
  author    = {Lilia Sfaxi and
               Takoua Abdellatif and
               Riadh Robbana and
               Yassine Lakhnech},
  title     = {Information flow control of component-based distributed systems},
  journal   = {Concurrency and Computation: Practice and Experience},
  volume    = {25},
  number    = {2},
  pages     = {161--179},
  year      = {2013},
  url       = {https://doi.org/10.1002/cpe.2807},
  doi       = {10.1002/cpe.2807},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/concurrency/SfaxiARL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/SfaxiALR12,
  author    = {Lilia Sfaxi and
               Takoua Abdellatif and
               Yassine Lakhnech and
               Riadh Robbana},
  title     = {S{\'{e}}curiser les syst{\`{e}}mes distribu{\'{e}}s {\`{a}}
               base de composants par contr{\^{o}}le de flux d'information},
  journal   = {Technique et Science Informatiques},
  volume    = {31},
  number    = {2},
  pages     = {245--279},
  year      = {2012},
  url       = {https://doi.org/10.3166/tsi.31.245.279},
  doi       = {10.3166/tsi.31.245.279},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tsi/SfaxiALR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ShilBRN13,
  author    = {Assia Ben Shil and
               Kaouthar Blibech and
               Riadh Robbana and
               Wafa Neji},
  title     = {A New {PVSS} Scheme with a Simple Encryption Function},
  booktitle = {Proceedings Fourth International Symposium on Symbolic Computation
               in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
               2012.},
  pages     = {11--22},
  year      = {2012},
  crossref  = {DBLP:journals/corr/BouhoulaIK13},
  url       = {https://doi.org/10.4204/EPTCS.122.2},
  doi       = {10.4204/EPTCS.122.2},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ShilBRN13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/AbdellatifSRL11,
  author    = {Takoua Abdellatif and
               Lilia Sfaxi and
               Riadh Robbana and
               Yassine Lakhnech},
  title     = {Automating information flow control in component-based distributed
               systems},
  booktitle = {Proceedings of the 14th International {ACM} Sigsoft Symposium on Component
               Based Software Engineering, {CBSE} 2011, part of Comparch '11 Federated
               Events on Component-Based Software Engineering and Software Architecture,
               Boulder, CO, USA, June 20-24, 2011},
  pages     = {73--82},
  year      = {2011},
  crossref  = {DBLP:conf/cbse/2011},
  url       = {https://doi.org/10.1145/2000229.2000241},
  doi       = {10.1145/2000229.2000241},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cbse/AbdellatifSRL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cans/AraujoRRTY10,
  author    = {Roberto Ara{\'{u}}jo and
               Narjes Ben Rajeb and
               Riadh Robbana and
               Jacques Traor{\'{e}} and
               Souheib Yousfi},
  title     = {Towards Practical and Secure Coercion-Resistant Electronic Elections},
  booktitle = {Cryptology and Network Security - 9th International Conference, {CANS}
               2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings},
  pages     = {278--297},
  year      = {2010},
  crossref  = {DBLP:conf/cans/2010},
  url       = {https://doi.org/10.1007/978-3-642-17619-7\_20},
  doi       = {10.1007/978-3-642-17619-7\_20},
  timestamp = {Fri, 23 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cans/AraujoRRTY10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/RajebNRT09,
  author    = {Narjes Ben Rajeb and
               Brahim Nasraoui and
               Riadh Robbana and
               Tayssir Touili},
  title     = {Verifying Multithreaded Recursive Programs with Integer Variables},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {239},
  pages     = {143--154},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.05.036},
  doi       = {10.1016/j.entcs.2009.05.036},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/RajebNRT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MajdoubR09,
  author    = {Lotfi Majdoub and
               Riadh Robbana},
  title     = {Test Cases Generation for Nondeterministic Duration Systems},
  booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
               Systems, Proceedings of the 7th International Workshop on Modelling,
               Simulation, Verification and Validation of Enterprise Information
               Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
               May 2009},
  pages     = {14--23},
  year      = {2009},
  crossref  = {DBLP:conf/vveis/2009},
  timestamp = {Thu, 10 Sep 2009 10:12:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vveis/MajdoubR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/YousfiBR08,
  author    = {Souheib Yousfi and
               Alexis Bonnecaze and
               Riadh Robbana},
  title     = {Apport de la cryptographie elliptique dans le vote {\'{e}}lectronique},
  booktitle = {CRiSIS '08, Third International Conference on Risks and Security of
               Internet and Systems, Tozeur, Tunisia, October 28-30, 2008},
  pages     = {185--192},
  year      = {2008},
  crossref  = {DBLP:conf/crisis/2008},
  timestamp = {Wed, 20 Jun 2018 17:12:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crisis/YousfiBR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/ShilBR08,
  author    = {Assia Ben Shil and
               Kaouthar Blibech and
               Riadh Robbana},
  title     = {A new timestamping schema in the Bounded Storage Model},
  booktitle = {CRiSIS '08, Third International Conference on Risks and Security of
               Internet and Systems, Tozeur, Tunisia, October 28-30, 2008},
  pages     = {199--205},
  year      = {2008},
  crossref  = {DBLP:conf/crisis/2008},
  url       = {https://doi.org/10.1109/CRISIS.2008.4757479},
  doi       = {10.1109/CRISIS.2008.4757479},
  timestamp = {Wed, 20 Jun 2018 17:12:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crisis/ShilBR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/NaijaCBR08,
  author    = {Yosr Na{\"{\i}}ja and
               Salem Chakhar and
               Kaouthar Blibech and
               Riadh Robbana},
  title     = {Extension of Partitional Clustering Methods for Handling Mixed Data},
  booktitle = {Workshops Proceedings of the 8th {IEEE} International Conference on
               Data Mining {(ICDM} 2008), December 15-19, 2008, Pisa, Italy},
  pages     = {257--266},
  year      = {2008},
  crossref  = {DBLP:conf/icdm/2008w},
  url       = {https://doi.org/10.1109/ICDMW.2008.85},
  doi       = {10.1109/ICDMW.2008.85},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdm/NaijaCBR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/MajdoubR07,
  author    = {Lotfi Majdoub and
               Riadh Robbana},
  title     = {Testing Duration Systems using an approximation method},
  booktitle = {2007 International Conference on Dependability of Computer Systems
               (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland},
  pages     = {119--126},
  year      = {2007},
  crossref  = {DBLP:conf/depcos/2007},
  url       = {https://doi.org/10.1109/DEPCOS-RELCOMEX.2007.46},
  doi       = {10.1109/DEPCOS-RELCOMEX.2007.46},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/depcos/MajdoubR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BensalemKMRT07,
  author    = {Saddek Bensalem and
               Moez Krichen and
               Lotfi Majdoub and
               Riadh Robbana and
               Stavros Tripakis},
  title     = {A Simplified Approach for Testing Real-Time Systems Based on Action
               Refinement},
  booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
               Verification and Validation, Poitiers-Futuroscope, France, December
               12-14, 2007},
  pages     = {191--202},
  year      = {2007},
  crossref  = {DBLP:conf/isola/2007},
  url       = {http://editions-rnti.fr/?inprocid=1000545},
  timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/BensalemKMRT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MajdoubR06,
  author    = {Lotfi Majdoub and
               Riadh Robbana},
  title     = {Test Purpose of Duration Systems},
  booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
               Systems, Proceedings of the 4th International Workshop on Modelling,
               Simulation, Verification and Validation of Enterprise Information
               Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
               Cyprus, May 2006},
  pages     = {67--75},
  year      = {2006},
  crossref  = {DBLP:conf/vveis/2006},
  timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vveis/MajdoubR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/BerregebRT04,
  author    = {Narjes Berregeb and
               Riadh Robbana and
               Ashish Tiwari},
  title     = {Towards automated proofs of observational properties},
  journal   = {Discrete Mathematics {\&} Theoretical Computer Science},
  volume    = {6},
  number    = {2},
  pages     = {143--162},
  year      = {2004},
  url       = {http://dmtcs.episciences.org/331},
  timestamp = {Thu, 11 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dmtcs/BerregebRT04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iajit/BerregebR04,
  author    = {Narjes Berregeb and
               Riadh Robbana},
  title     = {On the Verification by Approximation of Duration Systems},
  journal   = {Int. Arab J. Inf. Technol.},
  volume    = {1},
  number    = {2},
  pages     = {147--155},
  year      = {2004},
  url       = {http://www.iajit.org/ABSTRACTS-2.htm\#01},
  timestamp = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iajit/BerregebR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Robbana03,
  author    = {Riadh Robbana},
  title     = {Verification of Duration Systems Using an Approximation Approach},
  journal   = {J. Comput. Sci. Technol.},
  volume    = {18},
  number    = {2},
  pages     = {153--162},
  year      = {2003},
  url       = {https://doi.org/10.1007/BF02948880},
  doi       = {10.1007/BF02948880},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcst/Robbana03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Robbana95,
  author    = {Riadh Robbana},
  title     = {Sp{\'{e}}cification et v{\'{e}}rification de syst{\`{e}}mes
               hybrides. (Specification and verification of hybrid systems)},
  school    = {Joseph Fourier University, Grenoble, France},
  year      = {1995},
  url       = {https://tel.archives-ouvertes.fr/tel-00346070},
  timestamp = {Wed, 13 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Robbana95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniLR95,
  author    = {Ahmed Bouajjani and
               Yassine Lakhnech and
               Riadh Robbana},
  title     = {From Duration Calculus To Linear Hybrid Automata},
  booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
               Belgium, July, 3-5, 1995, Proceedings},
  pages     = {196--210},
  year      = {1995},
  crossref  = {DBLP:conf/cav/1995},
  url       = {https://doi.org/10.1007/3-540-60045-0\_51},
  doi       = {10.1007/3-540-60045-0\_51},
  timestamp = {Wed, 14 Nov 2018 10:51:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BouajjaniLR95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniR95,
  author    = {Ahmed Bouajjani and
               Riadh Robbana},
  title     = {Verifying omega-Regular Properties for a Subclass of Linear Hybrid
               Systems},
  booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
               Belgium, July, 3-5, 1995, Proceedings},
  pages     = {437--450},
  year      = {1995},
  crossref  = {DBLP:conf/cav/1995},
  url       = {https://doi.org/10.1007/3-540-60045-0\_68},
  doi       = {10.1007/3-540-60045-0\_68},
  timestamp = {Wed, 14 Nov 2018 10:51:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BouajjaniR95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniER94,
  author    = {Ahmed Bouajjani and
               Rachid Echahed and
               Riadh Robbana},
  title     = {Verification of Context-Free Timed Systems Using Linear Hybrid Observers},
  booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
               Stanford, California, USA, June 21-23, 1994, Proceedings},
  pages     = {118--131},
  year      = {1994},
  crossref  = {DBLP:conf/cav/1994},
  url       = {https://doi.org/10.1007/3-540-58179-0\_48},
  doi       = {10.1007/3-540-58179-0\_48},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BouajjaniER94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniER94,
  author    = {Ahmed Bouajjani and
               Rachid Echahed and
               Riadh Robbana},
  title     = {Verification of Nonregular Temporal Properties for Context-Free Processes},
  booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
               Sweden, August 22-25, 1994, Proceedings},
  pages     = {81--97},
  year      = {1994},
  crossref  = {DBLP:conf/concur/1994},
  url       = {https://doi.org/10.1007/978-3-540-48654-1\_8},
  doi       = {10.1007/978-3-540-48654-1\_8},
  timestamp = {Mon, 22 May 2017 12:56:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/BouajjaniER94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouajjaniER94,
  author    = {Ahmed Bouajjani and
               Rachid Echahed and
               Riadh Robbana},
  title     = {Verfying Invariance Properties of Timed Systems with Duration Variables},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
               Symposium Organized Jointly with the Working Group Provably Correct
               Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  pages     = {193--210},
  year      = {1994},
  crossref  = {DBLP:conf/ftrtft/1994},
  url       = {https://doi.org/10.1007/3-540-58468-4\_166},
  doi       = {10.1007/3-540-58468-4\_166},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/BouajjaniER94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BouajjaniER94,
  author    = {Ahmed Bouajjani and
               Rachid Echahed and
               Riadh Robbana},
  title     = {On the Automatic Verification of Systems with Continuous Variables
               and Unbounded Discrete Data Structures},
  booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
               on Hybrid Systems, Ithaca, NY, USA, October 1994},
  pages     = {64--85},
  year      = {1994},
  crossref  = {DBLP:conf/hybrid/1994},
  url       = {https://doi.org/10.1007/3-540-60472-3\_4},
  doi       = {10.1007/3-540-60472-3\_4},
  timestamp = {Wed, 22 Nov 2017 15:17:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/BouajjaniER94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emcis/2018,
  editor    = {Marinos Themistocleous and
               Paulo Rupino da Cunha},
  title     = {Information Systems - 15th European, Mediterranean, and Middle Eastern
               Conference, {EMCIS} 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {341},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-11395-7},
  doi       = {10.1007/978-3-030-11395-7},
  isbn      = {978-3-030-11394-0},
  timestamp = {Mon, 14 Jan 2019 18:06:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emcis/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2018,
  editor    = {Mohamed Faouzi Atig and
               Saddek Bensalem and
               Simon Bliudze and
               Bruno Monsuez},
  title     = {Verification and Evaluation of Computer and Communication Systems
               - 12th International Conference, VECoS 2018, Grenoble, France, September
               26-28, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11181},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00359-3},
  doi       = {10.1007/978-3-030-00359-3},
  isbn      = {978-3-030-00358-6},
  timestamp = {Wed, 19 Sep 2018 10:33:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2017,
  title     = {14th {IEEE/ACS} International Conference on Computer Systems and Applications,
               {AICCSA} 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8308223},
  isbn      = {978-1-5386-3581-0},
  timestamp = {Tue, 05 Feb 2019 09:50:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2016,
  title     = {13th {IEEE/ACS} International Conference of Computer Systems and Applications,
               {AICCSA} 2016, Agadir, Morocco, November 29 - December 2, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7937763},
  isbn      = {978-1-5090-4320-0},
  timestamp = {Tue, 05 Feb 2019 09:50:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2016w,
  title     = {40th {IEEE} Annual Computer Software and Applications Conference,
               {COMPSAC} Workshops 2016, Atlanta, GA, USA, June 10-14, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7551592},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/2016w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ica3pp/2016,
  editor    = {Jes{\'{u}}s Carretero and
               Javier Garc{\'{\i}}a Blas and
               Ryan K. L. Ko and
               Peter Mueller and
               Koji Nakano},
  title     = {Algorithms and Architectures for Parallel Processing - 16th International
               Conference, {ICA3PP} 2016, Granada, Spain, December 14-16, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10048},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-49583-5},
  doi       = {10.1007/978-3-319-49583-5},
  isbn      = {978-3-319-49582-8},
  timestamp = {Fri, 26 May 2017 00:48:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ica3pp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscc/2016,
  title     = {{IEEE} Symposium on Computers and Communication, {ISCC} 2016, Messina,
               Italy, June 27-30, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7536670},
  isbn      = {978-1-5090-0679-3},
  timestamp = {Tue, 20 Sep 2016 12:04:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isda/2016,
  editor    = {Ana Maria Madureira and
               Ajith Abraham and
               Dorabela Gamboa and
               Paulo Novais},
  title     = {Intelligent Systems Design and Applications - 16th International Conference
               on Intelligent Systems Design and Applications {(ISDA} 2016) held
               in Porto, Portugal, December 16-18, 2016},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {557},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-53480-0},
  doi       = {10.1007/978-3-319-53480-0},
  isbn      = {978-3-319-53479-4},
  timestamp = {Wed, 17 May 2017 14:24:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isda/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/somet/2016,
  editor    = {Hamido Fujita and
               George Angelos Papadopoulos},
  title     = {New Trends in Software Methodologies, Tools and Techniques - Proceedings
               of the Fifteenth SoMeT{\_}16, Larnaca, Cyprus, 12-14 September 2016},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {286},
  publisher = {{IOS} Press},
  year      = {2016},
  isbn      = {978-1-61499-673-6},
  timestamp = {Tue, 30 Aug 2016 11:35:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/somet/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2016,
  editor    = {Mohamed Ghazel and
               Mohamed Jmaiel},
  title     = {Proceedings of the 10th Workshop on Verification and Evaluation of
               Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
               6-7, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1689},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1689},
  urn       = {urn:nbn:de:0074-1689-2},
  timestamp = {Tue, 27 Sep 2016 21:31:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wetice/2016,
  editor    = {Sumitra Reddy and
               Walid Gaaloul},
  title     = {25th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE} 2016, Paris, France, June
               13-15, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7510489},
  isbn      = {978-1-5090-1663-1},
  timestamp = {Tue, 20 Sep 2016 12:04:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wetice/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2015,
  title     = {12th {IEEE/ACS} International Conference of Computer Systems and Applications,
               {AICCSA} 2015, Marrakech, Morocco, November 17-20, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7502233},
  isbn      = {978-1-5090-0478-2},
  timestamp = {Tue, 05 Feb 2019 09:50:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2015w,
  title     = {Eighth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17,
               2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7100633},
  isbn      = {978-1-4799-1885-0},
  timestamp = {Fri, 05 Aug 2016 12:49:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2015w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/provsec/2015,
  editor    = {Man Ho Au and
               Atsuko Miyaji},
  title     = {Provable Security - 9th International Conference, ProvSec 2015, Kanazawa,
               Japan, November 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9451},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26059-4},
  doi       = {10.1007/978-3-319-26059-4},
  isbn      = {978-3-319-26058-7},
  timestamp = {Sun, 21 May 2017 00:20:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/provsec/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wetice/2015w,
  editor    = {Sumitra Reddy},
  title     = {24th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE} 2015, Larnaca, Cyprus, June
               15-17, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7194241},
  isbn      = {978-1-4673-7692-1},
  timestamp = {Wed, 11 May 2016 11:02:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wetice/2015w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BouhoulaIK13,
  editor    = {Adel Bouhoula and
               Tetsuo Ida and
               Fairouz Kamareddine},
  title     = {Proceedings Fourth International Symposium on Symbolic Computation
               in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
               2012},
  series    = {{EPTCS}},
  volume    = {122},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.122},
  doi       = {10.4204/EPTCS.122},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BouhoulaIK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cbse/2011,
  editor    = {Ivica Crnkovic and
               Judith A. Stafford and
               Antonia Bertolino and
               Kendra M. L. Cooper},
  title     = {Proceedings of the 14th International {ACM} Sigsoft Symposium on Component
               Based Software Engineering, {CBSE} 2011, part of Comparch '11 Federated
               Events on Component-Based Software Engineering and Software Architecture,
               Boulder, CO, USA, June 20-24, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0723-9},
  timestamp = {Tue, 13 Sep 2011 14:37:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cbse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cans/2010,
  editor    = {Swee{-}Huay Heng and
               Rebecca N. Wright and
               Bok{-}Min Goi},
  title     = {Cryptology and Network Security - 9th International Conference, {CANS}
               2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6467},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17619-7},
  doi       = {10.1007/978-3-642-17619-7},
  isbn      = {978-3-642-17618-0},
  timestamp = {Wed, 24 May 2017 08:27:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cans/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2009,
  editor    = {Daniel Moldt and
               Juan Carlos Augusto and
               Ulrich Ultes{-}Nitsche},
  title     = {Modelling, Simulation, Verification and Validation of Enterprise Information
               Systems, Proceedings of the 7th International Workshop on Modelling,
               Simulation, Verification and Validation of Enterprise Information
               Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
               May 2009},
  publisher = {{INSTICC} {PRESS}},
  year      = {2009},
  isbn      = {978-989-8111-90-6},
  timestamp = {Thu, 10 Sep 2009 10:12:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vveis/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/crisis/2008,
  editor    = {Mohamed Jmaiel and
               Mohamed Mosbah},
  title     = {CRiSIS '08, Third International Conference on Risks and Security of
               Internet and Systems, Tozeur, Tunisia, October 28-30, 2008},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4733895},
  isbn      = {978-1-4244-3309-4},
  timestamp = {Wed, 20 Jun 2018 17:12:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crisis/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdm/2008w,
  title     = {Workshops Proceedings of the 8th {IEEE} International Conference on
               Data Mining {(ICDM} 2008), December 15-19, 2008, Pisa, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4733896},
  isbn      = {978-0-7695-3503-6},
  timestamp = {Tue, 16 Sep 2014 18:00:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdm/2008w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/depcos/2007,
  title     = {2007 International Conference on Dependability of Computer Systems
               (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4272875},
  isbn      = {0-7695-2850-3},
  timestamp = {Thu, 09 Oct 2014 16:51:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/depcos/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2007,
  editor    = {Yamine A{\"{\i}}t Ameur and
               Fr{\'{e}}d{\'{e}}ric Boniol and
               Virginie Wiels},
  title     = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
               Verification and Validation, Poitiers-Futuroscope, France, December
               12-14, 2007},
  series    = {Revue des Nouvelles Technologies de l'Information},
  volume    = {{RNTI-SM-1}},
  publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year      = {2007},
  url       = {http://editions-rnti.fr/?procid=100068},
  isbn      = {978-2-85428-814-8},
  timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2006,
  editor    = {Joseph Barjis and
               Ulrich Ultes{-}Nitsche and
               Juan Carlos Augusto},
  title     = {Modelling, Simulation, Verification and Validation of Enterprise Information
               Systems, Proceedings of the 4th International Workshop on Modelling,
               Simulation, Verification and Validation of Enterprise Information
               Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
               Cyprus, May 2006},
  publisher = {{INSTICC} Press},
  year      = {2006},
  isbn      = {978-972-8865-49-8},
  timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vveis/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1995,
  editor    = {Pierre Wolper},
  title     = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
               Belgium, July, 3-5, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {939},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60045-0},
  doi       = {10.1007/3-540-60045-0},
  isbn      = {3-540-60045-0},
  timestamp = {Wed, 14 Nov 2018 10:51:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1994,
  editor    = {David L. Dill},
  title     = {Computer Aided Verification, 6th International Conference, {CAV} '94,
               Stanford, California, USA, June 21-23, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {818},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58179-0},
  doi       = {10.1007/3-540-58179-0},
  isbn      = {3-540-58179-0},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1994,
  editor    = {Bengt Jonsson and
               Joachim Parrow},
  title     = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
               Sweden, August 22-25, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {836},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/978-3-540-48654-1},
  doi       = {10.1007/978-3-540-48654-1},
  isbn      = {3-540-58329-7},
  timestamp = {Mon, 22 May 2017 12:56:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1994,
  editor    = {Hans Langmaack and
               Willem P. de Roever and
               Jan Vytopil},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
               Symposium Organized Jointly with the Working Group Provably Correct
               Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {863},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58468-4},
  doi       = {10.1007/3-540-58468-4},
  isbn      = {3-540-58468-4},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/1994,
  editor    = {Panos J. Antsaklis and
               Wolf Kohn and
               Anil Nerode and
               Shankar Sastry},
  title     = {Hybrid Systems II, Proceedings of the Third International Workshop
               on Hybrid Systems, Ithaca, NY, USA, October 1994},
  series    = {Lecture Notes in Computer Science},
  volume    = {999},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60472-3},
  doi       = {10.1007/3-540-60472-3},
  isbn      = {3-540-60472-3},
  timestamp = {Wed, 22 Nov 2017 15:17:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier