Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John Mullins
@article{DBLP:journals/ijfcs/AmmarTMY21,
author = {Ikhlass Ammar and
Yamen El Touati and
John Mullins and
Moez Yeddes},
title = {Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized
Language},
journal = {Int. J. Found. Comput. Sci.},
volume = {32},
number = {2},
pages = {175--202},
year = {2021},
url = {https://doi.org/10.1142/S0129054121500106},
doi = {10.1142/S0129054121500106},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AmmarTMY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/AmmarTYM21,
author = {Ikhlass Ammar and
Yamen El Touati and
Moez Yeddes and
John Mullins},
title = {Bounded opacity for timed systems},
journal = {J. Inf. Secur. Appl.},
volume = {61},
pages = {102926},
year = {2021},
url = {https://doi.org/10.1016/j.jisa.2021.102926},
doi = {10.1016/J.JISA.2021.102926},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/istr/AmmarTYM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/MindomNKM21,
author = {Paulina Stevia Nouwou Mindom and
Amin Nikanjam and
Foutse Khomh and
John Mullins},
title = {On Assessing The Safety of Reinforcement Learning algorithms Using
Formal Methods},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {260--269},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00037},
doi = {10.1109/QRS54544.2021.00037},
timestamp = {Wed, 16 Mar 2022 22:32:21 +0100},
biburl = {https://dblp.org/rec/conf/qrs/MindomNKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04865,
author = {Paulina Stevia Nouwou Mindom and
Amin Nikanjam and
Foutse Khomh and
John Mullins},
title = {On Assessing The Safety of Reinforcement Learning algorithms Using
Formal Methods},
journal = {CoRR},
volume = {abs/2111.04865},
year = {2021},
url = {https://arxiv.org/abs/2111.04865},
eprinttype = {arXiv},
eprint = {2111.04865},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BejiHMG19,
author = {Sofiene Beji and
Sardaouna Hamadou and
John Mullins and
Abdelouahed Gherbi},
title = {Iterative integration of TTEthernet network flows},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {9},
number = {3},
pages = {167--192},
year = {2019},
url = {https://doi.org/10.1504/IJCCBS.2019.104488},
doi = {10.1504/IJCCBS.2019.104488},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/BejiHMG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BerardKMS18,
author = {B{\'{e}}atrice B{\'{e}}rard and
Olga Kouchnarenko and
John Mullins and
Mathieu Sassolas},
title = {Opacity for linear constraint Markov chains},
journal = {Discret. Event Dyn. Syst.},
volume = {28},
number = {1},
pages = {83--108},
year = {2018},
url = {https://doi.org/10.1007/s10626-017-0259-4},
doi = {10.1007/S10626-017-0259-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BerardKMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HelouetMM18,
author = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Herv{\'{e}} Marchand and
John Mullins},
title = {Concurrent Secrets with Quantified Suspicion},
booktitle = {18th International Conference on Application of Concurrency to System
Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
pages = {75--84},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.00011},
doi = {10.1109/ACSD.2018.00011},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/HelouetMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaihc/RobatiGKM17,
author = {Tiyam Robati and
Abdelouahed Gherbi and
Amine El Kouhen and
John Mullins},
title = {Design and simulation of distributed {IMA} architectures using TTEthernet:
a model-driven approach},
journal = {J. Ambient Intell. Humaniz. Comput.},
volume = {8},
number = {3},
pages = {345--355},
year = {2017},
url = {https://doi.org/10.1007/s12652-017-0449-9},
doi = {10.1007/S12652-017-0449-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaihc/RobatiGKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BerardHM17,
author = {B{\'{e}}atrice B{\'{e}}rard and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
John Mullins},
title = {Non-interference in Partial Order Models},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {44:1--44:34},
year = {2017},
url = {https://doi.org/10.1145/2984639},
doi = {10.1145/2984639},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BerardHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/SpencerCRGVKMM17,
author = {Edmund Spencer and
David Clark and
Samuel Russ and
Ravi Gollapalli and
Dimitris Vassiliadis and
Brannon Kerrigan and
John Mullins and
Jeffrey Mizell},
title = {First results from a time domain impedance probe for measuring plasma
properties in the ionosphere},
booktitle = {{IEEE} 60th International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2017, Boston, MA, USA, August 6-9, 2017},
pages = {1284--1287},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/MWSCAS.2017.8053165},
doi = {10.1109/MWSCAS.2017.8053165},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/mwscas/SpencerCRGVKMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/RobatiKGM16,
author = {Tiyam Robati and
Amine El Kouhen and
Abdelouahed Gherbi and
John Mullins},
title = {Time-Triggered Ethernet Metamodel: Design and Application},
journal = {J. Softw.},
volume = {11},
number = {10},
pages = {1040--1053},
year = {2016},
url = {https://doi.org/10.17706/jsw.11.10.1040-1053},
doi = {10.17706/JSW.11.10.1040-1053},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/RobatiKGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/RobatiGM16,
author = {Tiyam Robati and
Abdelouahed Gherbi and
John Mullins},
editor = {Elhadi M. Shakshuki},
title = {A Modeling and Verification Approach to the Design of Distributed
{IMA} Architectures Using TTEthernet},
booktitle = {The 7th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2016) / The 6th International Conference on Sustainable
Energy Information Technology {(SEIT-2016)} / Affiliated Workshops,
May 23-26, 2016, Madrid, Spain},
series = {Procedia Computer Science},
volume = {83},
pages = {229--236},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.04.120},
doi = {10.1016/J.PROCS.2016.04.120},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ant/RobatiGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/BejiGMH16,
author = {Sofiene Beji and
Abdelouahed Gherbi and
John Mullins and
Pierre{-}Emmanuel Hladik},
editor = {Jens Grabowski and
Steffen Herbold},
title = {Model-Driven Approach to the Optimal Configuration of Time-Triggered
Flows in a TTEthernet Network},
booktitle = {System Analysis and Modeling. Technology-Specific Aspects of Models
- 9th International Conference, {SAM} 2016, Saint-Melo, France, October
3-4, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9959},
pages = {164--179},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46613-2\_11},
doi = {10.1007/978-3-319-46613-2\_11},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/BejiGMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BerardKMS16,
author = {B{\'{e}}atrice B{\'{e}}rard and
Olga Kouchnarenko and
John Mullins and
Mathieu Sassolas},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Preserving opacity on Interval Markov Chains under simulation},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {319--324},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497866},
doi = {10.1109/WODES.2016.7497866},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BerardKMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/HamadouMG16,
author = {Sardaouna Hamadou and
John Mullins and
Abdelouahed Gherbi},
editor = {Thouraya Bouabana{-}Tebibel and
Stuart H. Rubin},
title = {A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems
Embedded in the {IMA} Connected Through TTEthernet},
booktitle = {Theoretical Information Reuse and Integration},
series = {Advances in Intelligent Systems and Computing},
volume = {446},
pages = {85--111},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31311-5\_4},
doi = {10.1007/978-3-319-31311-5\_4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/HamadouMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BerardMS15,
author = {B{\'{e}}atrice B{\'{e}}rard and
John Mullins and
Mathieu Sassolas},
title = {Quantifying opacity},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {2},
pages = {361--403},
year = {2015},
url = {https://doi.org/10.1017/S0960129513000637},
doi = {10.1017/S0960129513000637},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BerardMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BerardHM15,
author = {B{\'{e}}atrice B{\'{e}}rard and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
John Mullins},
title = {Non-interference in Partial Order Models},
booktitle = {15th International Conference on Application of Concurrency to System
Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ACSD.2015.11},
doi = {10.1109/ACSD.2015.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BerardHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/HamadouMCG15,
author = {Sardaouna Hamadou and
John Mullins and
Christophe Chareton and
Abdelouahed Gherbi},
title = {Specifying Avionic Embedded Systems by Denotations of the Time-Triggered
Constraint-Based Calculus},
booktitle = {2015 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2015, San Francisco, CA, USA, August 13-15, 2015},
pages = {303--310},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/IRI.2015.56},
doi = {10.1109/IRI.2015.56},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/HamadouMCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HamadouMGB15,
author = {Sardaouna Hamadou and
John Mullins and
Abdelouahed Gherbi and
Sofiene Beji},
title = {A Time-Triggered Constraint-Based Calculus for Avionic Systems},
booktitle = {2015 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2015,
Auckland, New Zealand, April 13-17, 2015},
pages = {58--65},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORCW.2015.53},
doi = {10.1109/ISORCW.2015.53},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/HamadouMGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RobatiKGM15,
author = {Tiyam Robati and
Amine El Kouhen and
Abdelouahed Gherbi and
John Mullins},
editor = {Vinay Kulkarni and
Omar Badreddin},
title = {Simulation-Based Verification of Avionic Systems Deployed on {IMA}
Architectures},
booktitle = {Proceedings of the MoDELS 2015 Demo and Poster Session co-located
with {ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27,
2015},
series = {{CEUR} Workshop Proceedings},
volume = {1554},
pages = {56--59},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1554/PD\_MoDELS\_2015\_paper\_18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/RobatiKGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerardKMS15,
author = {B{\'{e}}atrice B{\'{e}}rard and
Olga Kouchnarenko and
John Mullins and
Mathieu Sassolas},
title = {Probabilistic Opacity in Refinement-Based Modeling},
journal = {CoRR},
volume = {abs/1510.04316},
year = {2015},
url = {http://arxiv.org/abs/1510.04316},
eprinttype = {arXiv},
eprint = {1510.04316},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerardKMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BerardM14,
author = {B{\'{e}}atrice B{\'{e}}rard and
John Mullins},
title = {Verification of Information Flow Properties under Rational Observation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.979},
doi = {10.14279/TUJ.ECEASST.70.979},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BerardM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/BejiHGM14,
author = {Sofiene Beji and
Sardaouna Hamadou and
Abdelouahed Gherbi and
John Mullins},
title = {SMT-Based Cost Optimization Approach for the Integration of Avionic
Functions in {IMA} and TTEthernet Architectures},
booktitle = {18th {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, {DS-RT} 2014, Toulouse, France, October
1-3, 2014},
pages = {165--174},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DS-RT.2014.28},
doi = {10.1109/DS-RT.2014.28},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsrt/BejiHGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/TiyamKGHM14,
author = {Robati Tiyam and
Amine El Kouhen and
Abdelouahed Gherbi and
Sardaouna Hamadou and
John Mullins},
editor = {Julien Delange and
Peter H. Feiler},
title = {An Extension for {AADL} to Model Mixed-Criticality Avionic Systems
Deployed on {IMA} architectures with TTEthernet},
booktitle = {Proceedings of the First International Workshop on Architecture Centric
Virtual Integration co-located with the 17th International Conference
on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014,
Valencia, Spain, September 29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1233},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/TiyamKGHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MullinsY14,
author = {John Mullins and
Moez Yeddes},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Opacity with Orwellian Observers and Intransitive Non-Interference},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {344--349},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00016},
doi = {10.3182/20140514-3-FR-4046.00016},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MullinsY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerardM14,
author = {B{\'{e}}atrice B{\'{e}}rard and
John Mullins},
title = {Verification of Information Flow Properties under Rational Observation},
journal = {CoRR},
volume = {abs/1409.0871},
year = {2014},
url = {http://arxiv.org/abs/1409.0871},
eprinttype = {arXiv},
eprint = {1409.0871},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerardM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HamadouGMB14,
author = {Sardaouna Hamadou and
Abdelouahed Gherbi and
John Mullins and
Sofiene Beji},
title = {A Time-Triggered Constraint-Based Calculus for Avionic Systems},
journal = {CoRR},
volume = {abs/1410.3694},
year = {2014},
url = {http://arxiv.org/abs/1410.3694},
eprinttype = {arXiv},
eprint = {1410.3694},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HamadouGMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/idt/AbouzaidMMQ13,
author = {Faisal Abouzaid and
Manuel Mazzara and
John Mullins and
Nafees Qamar},
title = {Towards a formal analysis of dynamic reconfiguration in {WS-BPEL}},
journal = {Intell. Decis. Technol.},
volume = {7},
number = {3},
pages = {213--224},
year = {2013},
url = {https://doi.org/10.3233/IDT-130164},
doi = {10.3233/IDT-130164},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/idt/AbouzaidMMQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LauerMY13,
author = {Micha{\"{e}}l Lauer and
John Mullins and
Moez Yeddes},
title = {Cost Optimization Strategy for Iterative Integration of Multi-critical
Functions in {IMA} and TTEthernet Architecture},
booktitle = {{IEEE} 37th Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2013, Kyoto, Japan, July 22-26, 2013},
pages = {139--144},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSACW.2013.16},
doi = {10.1109/COMPSACW.2013.16},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/LauerMY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6799,
author = {B{\'{e}}atrice B{\'{e}}rard and
John Mullins and
Mathieu Sassolas},
title = {Quantifying Opacity},
journal = {CoRR},
volume = {abs/1301.6799},
year = {2013},
url = {http://arxiv.org/abs/1301.6799},
eprinttype = {arXiv},
eprint = {1301.6799},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MullinsY13,
author = {John Mullins and
Moez Yeddes},
title = {Opacity with Orwellian Observers and Intransitive Non-interference},
journal = {CoRR},
volume = {abs/1312.6426},
year = {2013},
url = {http://arxiv.org/abs/1312.6426},
eprinttype = {arXiv},
eprint = {1312.6426},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MullinsY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BenattarBLMRS12,
author = {Gilles Benattar and
B{\'{e}}atrice B{\'{e}}rard and
Didier Lime and
John Mullins and
Olivier H. Roux and
Mathieu Sassolas},
title = {Channel Synthesis for Finite Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {6},
pages = {1241--1260},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400503},
doi = {10.1142/S0129054112400503},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/BenattarBLMRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/AbouzaidMMD12,
author = {Faisal Abouzaid and
John Mullins and
Manuel Mazzara and
Nicola Dragoni},
editor = {Gordan Jezic and
Mario Kusek and
Ngoc Thanh Nguyen and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus},
booktitle = {Agent and Multi-Agent Systems. Technologies and Applications - 6th
{KES} International Conference, {KES-AMSTA} 2012,Dubrovnik, Croatia,
June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7327},
pages = {534--543},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30947-2\_58},
doi = {10.1007/978-3-642-30947-2\_58},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/AbouzaidMMD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/BenattarBLMRS11,
author = {Gilles Benattar and
B{\'{e}}atrice B{\'{e}}rard and
Didier Lime and
John Mullins and
Olivier H. Roux and
Mathieu Sassolas},
editor = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
Szabolcs Iv{\'{a}}n},
title = {Channel Synthesis for Finite Transducers},
booktitle = {Automata and Formal Languages, 13th International Conference, {AFL}
2011, Debrecen, Hungary, August 17-22, 2011, Proceedings},
pages = {79--92},
year = {2011},
timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
biburl = {https://dblp.org/rec/conf/afl/BenattarBLMRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/HamadouM10,
author = {Sardaouna Hamadou and
John Mullins},
title = {Calibrating the power of schedulers for probabilistic polynomial-time
calculus},
journal = {J. Comput. Secur.},
volume = {18},
number = {2},
pages = {265--316},
year = {2010},
url = {https://doi.org/10.3233/JCS-2010-0362},
doi = {10.3233/JCS-2010-0362},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/HamadouM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BerardMS10,
author = {B{\'{e}}atrice B{\'{e}}rard and
John Mullins and
Mathieu Sassolas},
title = {Quantifying Opacity},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {263--272},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.40},
doi = {10.1109/QEST.2010.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BerardMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/HernonSKKLHKMM09,
author = {Domhnaill Hernon and
Todd Salamon and
Roger Kempers and
Shankar Krishnan and
Alan Lyons and
Marc Hodes and
Paul Kolodner and
John Mullins and
Liam McGarry},
title = {Thermal management: Enabling enhanced functionality and reduced carbon
footprint},
journal = {Bell Labs Tech. J.},
volume = {14},
number = {3},
pages = {7--19},
year = {2009},
url = {https://doi.org/10.1002/bltj.20385},
doi = {10.1002/BLTJ.20385},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bell/HernonSKKLHKMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbouzaidM09,
author = {Faisal Abouzaid and
John Mullins},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Model-checking Web Services Orchestrations using BP-calculus},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {3--21},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.022},
doi = {10.1016/J.ENTCS.2009.10.022},
timestamp = {Tue, 06 Dec 2022 12:48:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbouzaidM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbouzaidM10,
author = {Faisal Abouzaid and
John Mullins},
editor = {Carlos Canal and
Corina S. Pasareanu},
title = {Formal Specification of Correlation in {WS} Orchestrations Using BP-calculus},
booktitle = {Proceedings of the 5th International Workshop on Formal Aspects of
Component Software, {FACS} 2008, Malaga, Spain, September 10-12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {260},
pages = {3--24},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.12.029},
doi = {10.1016/J.ENTCS.2009.12.029},
timestamp = {Thu, 09 Mar 2023 15:34:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbouzaidM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/MullinsO07,
author = {John Mullins and
Raveca Oarga},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Model Checking of Extended {OCL} Constraints on {UML} Models in SOCLe},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {59--75},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_4},
doi = {10.1007/978-3-540-72952-5\_4},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/MullinsO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/BoteanuFMM07,
author = {Daniel Boteanu and
Jos{\'{e}} M. Fernandez and
John McHugh and
John Mullins},
editor = {Juan A. Garay and
Arjen K. Lenstra and
Masahiro Mambo and
Ren{\'{e}} Peralta},
title = {Queue Management as a DoS Counter-Measure?},
booktitle = {Information Security, 10th International Conference, {ISC} 2007, Valpara{\'{\i}}so,
Chile, October 9-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4779},
pages = {263--280},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75496-1\_18},
doi = {10.1007/978-3-540-75496-1\_18},
timestamp = {Fri, 03 Feb 2023 21:39:19 +0100},
biburl = {https://dblp.org/rec/conf/isw/BoteanuFMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbouzaidM08,
author = {Faisal Abouzaid and
John Mullins},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {A Calculus for Generation, Verification and Refinement of {BPEL} Specifications},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {43--65},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.092},
doi = {10.1016/J.ENTCS.2008.04.092},
timestamp = {Mon, 13 Feb 2023 11:22:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbouzaidM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrlekHM07,
author = {Srecko Brlek and
Sardaouna Hamadou and
John Mullins},
editor = {Daniele Gorla and
Catuscia Palamidessi},
title = {A Probabilistic Scheduler for the Analysis of Cryptographic Protocols},
booktitle = {Proceedings of the Fifth Workshop on Security Issues in Concurrency,
SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {1},
pages = {61--83},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.009},
doi = {10.1016/J.ENTCS.2007.10.009},
timestamp = {Thu, 09 Feb 2023 10:31:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrlekHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BrlekHM06,
author = {Srecko Brlek and
Sardaouna Hamadou and
John Mullins},
title = {A flaw in the electronic commerce protocol {SET}},
journal = {Inf. Process. Lett.},
volume = {97},
number = {3},
pages = {104--108},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2005.10.002},
doi = {10.1016/J.IPL.2005.10.002},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BrlekHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/AnantharamanGHM06,
author = {Siva Anantharaman and
Paul Gastin and
Ga{\'{e}}tan Hains and
John Mullins and
Micha{\"{e}}l Rusinowitch},
title = {Editorial},
journal = {J. Autom. Lang. Comb.},
volume = {11},
number = {1},
pages = {5--6},
year = {2006},
url = {https://doi.org/10.25596/jalc-2006-005},
doi = {10.25596/JALC-2006-005},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/AnantharamanGHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aict/BrlekHM06,
author = {Srecko Brlek and
Sardaouna Hamadou and
John Mullins},
title = {Some Remarks on the Certificates Registration of the Electronic Commerce
Protocol {SET}},
booktitle = {Advanced International Conference on Telecommunications and International
Conference on Internet and Web Applications and Services {(AICT/ICIW}
2006), 19-25 February 2006, Guadeloupe, French Caribbean},
pages = {119},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/AICT-ICIW.2006.176},
doi = {10.1109/AICT-ICIW.2006.176},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aict/BrlekHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esas/GaliceMMU06,
author = {Samuel Galice and
Marine Minier and
John Mullins and
St{\'{e}}phane Ub{\'{e}}da},
editor = {Levente Butty{\'{a}}n and
Virgil D. Gligor and
Dirk Westhoff},
title = {Cryptographic Protocol to Establish Trusted History of Interactions},
booktitle = {Security and Privacy in Ad-Hoc and Sensor Networks, Third European
Workshop, {ESAS} 2006, Hamburg, Germany, September 20-21, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4357},
pages = {136--149},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11964254\_13},
doi = {10.1007/11964254\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/esas/GaliceMMU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/GaliceLMMU06,
author = {Samuel Galice and
V{\'{e}}ronique Legrand and
Marine Minier and
John Mullins and
St{\'{e}}phane Ub{\'{e}}da},
title = {A History-Based Framework to Build Trust Management Systems},
booktitle = {Second International Conference on Security and Privacy in Communication
Networks and the Workshops, SecureComm 2006, Baltimore, MD, USA, August
2, 2006 - September 1, 2006},
pages = {1--7},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/SECCOMW.2006.359580},
doi = {10.1109/SECCOMW.2006.359580},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/GaliceLMMU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0606005,
author = {Samuel Galice and
V{\'{e}}ronique Legrand and
Marine Minier and
John Mullins and
St{\'{e}}phane Ub{\'{e}}da},
title = {The {KAA} project: a trust policy point of view},
journal = {CoRR},
volume = {abs/cs/0606005},
year = {2006},
url = {http://arxiv.org/abs/cs/0606005},
eprinttype = {arXiv},
eprint = {cs/0606005},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0606005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/BrlekHM05,
author = {Srecko Brlek and
Sardaouna Hamadou and
John Mullins},
title = {Anonymous and Secure Electronic Transaction protocol},
journal = {Ann. des T{\'{e}}l{\'{e}}communications},
volume = {60},
number = {5-6},
pages = {530--557},
year = {2005},
url = {https://doi.org/10.1007/BF03219936},
doi = {10.1007/BF03219936},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adt/BrlekHM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/Hadj-AlouaneLLMY05,
author = {Nejib Ben Hadj{-}Alouane and
St{\'{e}}phane Lafrance and
Feng Lin and
John Mullins and
Moez Yeddes},
title = {Characterizing intransitive noninterference for 3-domain security
policies with observability},
journal = {{IEEE} Trans. Autom. Control.},
volume = {50},
number = {6},
pages = {920--925},
year = {2005},
url = {https://doi.org/10.1109/TAC.2005.850643},
doi = {10.1109/TAC.2005.850643},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/Hadj-AlouaneLLMY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/Hadj-AlouaneLLMY05,
author = {Nejib Ben Hadj{-}Alouane and
St{\'{e}}phane Lafrance and
Feng Lin and
John Mullins and
Mohamed Moez Yeddes},
title = {On the verification of intransitive noninterference in multilevel
security},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {35},
number = {5},
pages = {948--958},
year = {2005},
url = {https://doi.org/10.1109/TSMCB.2005.847749},
doi = {10.1109/TSMCB.2005.847749},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/Hadj-AlouaneLLMY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/FellahM05,
author = {Alaaeddine Fellah and
John Mullins},
editor = {Sihan Qing and
Wenbo Mao and
Javier L{\'{o}}pez and
Guilin Wang},
title = {Admissible Interference by Typing for Cryptographic Protocols},
booktitle = {Information and Communications Security, 7th International Conference,
{ICICS} 2005, Beijing, China, December 10-13, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3783},
pages = {123--135},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11602897\_11},
doi = {10.1007/11602897\_11},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icics/FellahM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GardeyMR07,
author = {Guillaume Gardey and
John Mullins and
Olivier H. Roux},
editor = {Michael Backes and
Andre Scedrov},
title = {Non-Interference Control Synthesis for Security Timed Automata},
booktitle = {Proceedings of the International Workshop on Security and Concurrency,
SecCo@CONCUR 2005, San Francisco, CA, USA, August 22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {1},
pages = {35--53},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.046},
doi = {10.1016/J.ENTCS.2005.05.046},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GardeyMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Hadj-AlouaneLLM04,
author = {Nejib Ben Hadj{-}Alouane and
St{\'{e}}phane Lafrance and
Feng Lin and
John Mullins and
Moez Yeddes},
title = {An algorithmic approach to verification of intransitive non-interference
in security policies},
booktitle = {43rd {IEEE} Conference on Decision and Control, {CDC} 2004, Nassau,
Bahamas, December 14-17, 2004},
pages = {51--56},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CDC.2004.1428605},
doi = {10.1109/CDC.2004.1428605},
timestamp = {Fri, 04 Mar 2022 13:24:31 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Hadj-AlouaneLLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/MullinsL03,
author = {John Mullins and
St{\'{e}}phane Lafrance},
title = {Bisimulation-based non-deterministic admissible interference and its
application to the analysis of cryptographic protocols},
journal = {Inf. Softw. Technol.},
volume = {45},
number = {11},
pages = {779--790},
year = {2003},
url = {https://doi.org/10.1016/S0950-5849(03)00072-7},
doi = {10.1016/S0950-5849(03)00072-7},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/MullinsL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LafranceM03,
author = {St{\'{e}}phane Lafrance and
John Mullins},
title = {An Information Flow Method to Detect Denial of Service Vulnerabilities},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {11},
pages = {1350},
year = {2003},
url = {http://www.jucs.org/jucs\_9\_11/an\_information\_flow\_method},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/LafranceM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BouchenebM03,
author = {Hanifa Boucheneb and
John Mullins},
title = {Analyse des r{\'{e}}seaux temporels. Calcul des classes en O(n\({}^{\mbox{2}}\))
et des temps de chemin en O(m x n)},
journal = {Tech. Sci. Informatiques},
volume = {22},
number = {4},
pages = {435--459},
year = {2003},
url = {https://doi.org/10.3166/tsi.22.435-459},
doi = {10.3166/TSI.22.435-459},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BouchenebM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/LafranceM03,
author = {St{\'{e}}phane Lafrance and
John Mullins},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {Using Admissible Interference to Detect Denial of Service Vulnerabilities},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4025},
timestamp = {Tue, 19 Jun 2018 08:05:11 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/LafranceM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LafranceM02,
author = {St{\'{e}}phane Lafrance and
John Mullins},
editor = {James Harland},
title = {Bisimulation-based Non-deterministic Admissible Interference and its
Application to the Analysis of Cryptographic Protocols},
booktitle = {Computing: the Australasian Theory Symposium, {CATS} 2002, Melbourne,
Australia},
series = {Electronic Notes in Theoretical Computer Science},
volume = {61},
pages = {154--177},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)00311-1},
doi = {10.1016/S1571-0661(04)00311-1},
timestamp = {Fri, 11 Nov 2022 16:14:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LafranceM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HainsLM01,
author = {Ga{\'{e}}tan Hains and
Fr{\'{e}}d{\'{e}}ric Loulergue and
John Mullins},
title = {Concrete data structures and functional parallel programming},
journal = {Theor. Comput. Sci.},
volume = {258},
number = {1-2},
pages = {233--267},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00010-4},
doi = {10.1016/S0304-3975(00)00010-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HainsLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Mullins00,
author = {John Mullins},
title = {Nondeterministic Admissible Interference},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {11},
pages = {1054--1070},
year = {2000},
url = {http://www.jucs.org/jucs\_6\_11/nondeterministic\_admissible\_interference},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Mullins00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mullins97,
author = {John Mullins},
title = {On an Effective Hierarchy of Communicating Processes: Separation Principle
and Testing},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {231--246},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00027-8},
doi = {10.1016/S0304-3975(96)00027-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mullins97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/97/DesharnaisHM97,
author = {Jules Desharnais and
Bernard Hodgson and
John Mullins},
editor = {Chris Brink and
Wolfram Kahl and
Gunther Schmidt},
title = {Linear Logic},
booktitle = {Relational Methods in Computer Science},
series = {Advances in computing science},
pages = {106--114},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6510-2\_7},
doi = {10.1007/978-3-7091-6510-2\_7},
timestamp = {Wed, 26 Jun 2019 17:54:44 +0200},
biburl = {https://dblp.org/rec/books/sp/97/DesharnaisHM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HainsM96,
author = {Ga{\'{e}}tan Hains and
John Mullins},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {Array Structures and Data-Parallel Algorithms},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1124},
pages = {409--416},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0024730},
doi = {10.1007/BFB0024730},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/HainsM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HainsM95,
author = {Ga{\'{e}}tan Hains and
John Mullins},
editor = {Seif Haridi and
Khayri A. M. Ali and
Peter Magnusson},
title = {A Metacircular Data-Parallel Functional Language},
booktitle = {Euro-Par '95 Parallel Processing, First International Euro-Par Conference,
Stockholm, Sweden, August 29-31, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {966},
pages = {711--714},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020508},
doi = {10.1007/BFB0020508},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/HainsM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Mullins92,
author = {John Mullins},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Kleene Automata and Recursion Theory},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {336--346},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023887},
doi = {10.1007/BFB0023887},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Mullins92.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-02-06 23:52 CET 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:
