Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marcel Oliveira
@inproceedings{DBLP:conf/birthday/000100OSZ23,
author = {Jim Woodcock and
Ana Cavalcanti and
Simon Foster and
Marcel Oliveira and
Augusto Sampaio and
Frank Zeyda},
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {UTP, Circus, and Isabelle},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
pages = {19--51},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8\_2},
doi = {10.1007/978-3-031-40436-8\_2},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/000100OSZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BezerraOLP23,
author = {P. E. R. Bezerra and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Thierry Lecomte and
Dalay Israel de Almeida Pereira},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {{CSP} Specification and Verification of a Relay-Based Railway Interlocking
System},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {36--54},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_3},
doi = {10.1007/978-3-031-49342-3\_3},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/BezerraOLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PereiraOBBD22,
author = {Dalay Israel de Almeida Pereira and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
P. E. R. Bezerra and
Philippe Bon and
Simon Collart Dutilleul},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {{CSP} specification and verification of relay-based railway interlocking
systems},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {97--106},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507060},
doi = {10.1145/3477314.3507060},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/PereiraOBBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SilvaO22,
author = {Luciano Silva and
Marcel Oliveira},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Automatic Generation of Verified Concurrent Hardware Using {VHDL}},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {55--72},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_4},
doi = {10.1007/978-3-031-22476-8\_4},
timestamp = {Thu, 08 Dec 2022 15:05:31 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SilvaO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/DihegoSO20,
author = {Jos{\'{e}} Dihego and
Augusto Sampaio and
Marcel Oliveira},
title = {A refinement checking based strategy for component-based systems evolution},
journal = {J. Syst. Softw.},
volume = {167},
pages = {110598},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2020.110598},
doi = {10.1016/J.JSS.2020.110598},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/DihegoSO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LecomteDFO20,
author = {Thierry Lecomte and
David D{\'{e}}harbe and
Paulin Fournier and
Marcel Oliveira},
title = {The {CLEARSY} safety platform: 5 years of research, development and
deployment},
journal = {Sci. Comput. Program.},
volume = {199},
pages = {102524},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102524},
doi = {10.1016/J.SCICO.2020.102524},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LecomteDFO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/DiasOBCLOA20,
author = {Fagner Dias and
Marcel Oliveira and
Tha{\'{\i}}s Vasconcelos Batista and
Everton Cavalcante and
Jair C. Leite and
Fl{\'{a}}vio Oquendo and
Camila Ara{\'{u}}jo},
editor = {Anton Jansen and
Ivano Malavolta and
Henry Muccini and
Ipek Ozkaya and
Olaf Zimmermann},
title = {Empowering SysML-Based Software Architecture Description with Formal
Verification: From SysADL to {CSP}},
booktitle = {Software Architecture - 14th European Conference, {ECSA} 2020, L'Aquila,
Italy, September 14-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12292},
pages = {101--117},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58923-3\_7},
doi = {10.1007/978-3-030-58923-3\_7},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/DiasOBCLOA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-10295,
author = {Jos{\'{e}} Dihego and
Augusto Sampaio and
Marcel Oliveira},
title = {A refinement checking based strategy for component-based systems evolution},
journal = {CoRR},
volume = {abs/2005.10295},
year = {2020},
url = {https://arxiv.org/abs/2005.10295},
eprinttype = {arXiv},
eprint = {2005.10295},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-10295.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-10662,
author = {Thierry Lecomte and
David D{\'{e}}harbe and
Paulin Fournier and
Marcel Oliveira},
title = {The {CLEARSY} Safety Platform: 5 Years of Research, Development and
Deployment},
journal = {CoRR},
volume = {abs/2005.10662},
year = {2020},
url = {https://arxiv.org/abs/2005.10662},
eprinttype = {arXiv},
eprint = {2005.10662},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-10662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AraujoCBOO19,
author = {Camila Ara{\'{u}}jo and
Everton Cavalcante and
Tha{\'{\i}}s Batista and
Marcel Oliveira and
Fl{\'{a}}vio Oquendo},
title = {A Research Landscape on Formal Verification of Software Architecture
Descriptions},
journal = {{IEEE} Access},
volume = {7},
pages = {171752--171764},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2953858},
doi = {10.1109/ACCESS.2019.2953858},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AraujoCBOO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FilhoOSC18,
author = {Madiel Conserva Filho and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Augusto Sampaio and
Ana Cavalcanti},
title = {Compositional and local livelock analysis for {CSP}},
journal = {Inf. Process. Lett.},
volume = {133},
pages = {21--25},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2017.12.011},
doi = {10.1016/J.IPL.2017.12.011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FilhoOSC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/OliveiraOF18,
author = {Nelson Ion de Oliveira and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jorge Tarc{\'{\i}}sio da Rocha Falc{\~{a}}o},
editor = {Bruce M. McLaren and
Rob Reilly and
Susan Zvacek and
James Onohuome Uhomoibhi},
title = {An Automated Environment for Teaching Programming Logic on Distance
Learning {IT} Courses},
booktitle = {Proceedings of the 10th International Conference on Computer Supported
Education, {CSEDU} 2018, Funchal, Madeira, Portugal, March 15-17,
2018, Volume 1},
pages = {267--274},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006704602670274},
doi = {10.5220/0006704602670274},
timestamp = {Wed, 09 May 2018 16:57:24 +0200},
biburl = {https://dblp.org/rec/conf/csedu/OliveiraOF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PereiraOFS17,
author = {Dalay Israel de Almeida Pereira and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Madiel S. Conserva Filho and
Sarah Raquel Da Rocha Silva},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {{BTS:} {A} Tool for Formal Component-Based Development},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {211--226},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_14},
doi = {10.1007/978-3-319-66845-1\_14},
timestamp = {Fri, 07 Aug 2020 17:57:32 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PereiraOFS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OliveiraARSMR16,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Pedro Antonino and
Rodrigo Ramos and
Augusto Sampaio and
Alexandre Cabral Mota and
A. W. Roscoe},
title = {Rigorous development of component-based systems using component metadata
and patterns},
journal = {Formal Aspects Comput.},
volume = {28},
number = {6},
pages = {937--1004},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0375-1},
doi = {10.1007/S00165-016-0375-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OliveiraARSMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FilhoOSC16,
author = {Madiel S. Conserva Filho and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Augusto Sampaio and
Ana Cavalcanti},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Local Livelock Analysis of Component-Based Models},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {279--295},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_18},
doi = {10.1007/978-3-319-47846-3\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FilhoOSC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DihegoSO15,
author = {Jos{\'{e}} Dihego and
Augusto Sampaio and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Constructive extensibility of trustworthy component-based systems},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1808--1814},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695916},
doi = {10.1145/2695664.2695916},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/DihegoSO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MacarioO15,
author = {F. J. S. Mac{\'{a}}rio and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Hard-Wiring {CSP} Hiding: Implementing Channel Abstraction to Generate
Verified Concurrent Hardware},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_1},
doi = {10.1007/978-3-319-29473-5\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MacarioO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/OliveiraSF14,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Augusto C. A. Sampaio and
Madiel S. Conserva Filho},
editor = {Elvira Albert and
Emil Sekerinski},
title = {Model-Checking Circus State-Rich Specifications},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {39--54},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_3},
doi = {10.1007/978-3-319-10181-1\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/OliveiraSF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AntoninoOSKB14,
author = {Pedro R. G. Antonino and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Augusto Sampaio and
Klaus E. Kristensen and
Jeremy W. Bryans},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Leadership Election: An Industrial SoS Application of Compositional
Deadlock Verification},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {31--45},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_3},
doi = {10.1007/978-3-319-06200-6\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AntoninoOSKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OliveiraCW13,
author = {Marcel Oliveira and
Ana Cavalcanti and
Jim Woodcock},
title = {Unifying theories in ProofPower-Z},
journal = {Formal Aspects Comput.},
volume = {25},
number = {1},
pages = {133--158},
year = {2013},
url = {https://doi.org/10.1007/s00165-007-0044-5},
doi = {10.1007/S00165-007-0044-5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/OliveiraCW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/OliveiraLNARHF13,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jair Cavalcanti Leite and
Adri{\~{a}}o Duarte D{\'{o}}ria Neto and
Pablo Javier Alsina and
Jos{\'{e}} Ivonildo Rego and
Izabel Hazin and
Jorge Tarc{\'{\i}}sio da Rocha Falc{\~{a}}o},
editor = {Owen Foley and
Maria Teresa Restivo and
James Onohuome Uhomoibhi and
Markus Helfert},
title = {Using {IT} Education to Reveal New Horizons - {A} Large Scale Case
Study on Digital and Social Inclusion},
booktitle = {{CSEDU} 2013 - Proceedings of the 5th International Conference on
Computer Supported Education, Aachen, Germany, 6-8 May, 2013},
pages = {603--611},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004344606030611},
doi = {10.5220/0004344606030611},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csedu/OliveiraLNARHF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/OliveiraJW13,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Ivan Soares de Medeiros J{\'{u}}nior and
Jim Woodcock},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {A Verified Protocol to Implement Multi-way Synchronisation and Interleaving
in {CSP}},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {46--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_4},
doi = {10.1007/978-3-642-40561-7\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/OliveiraJW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZeydaOC12,
author = {Frank Zeyda and
Marcel Oliveira and
Ana Cavalcanti},
title = {Mechanised support for sound refinement tactics},
journal = {Formal Aspects Comput.},
volume = {24},
number = {1},
pages = {127--160},
year = {2012},
url = {https://doi.org/10.1007/s00165-011-0218-z},
doi = {10.1007/S00165-011-0218-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ZeydaOC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FilhoO12,
author = {Madiel Conserva Filho and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {Implementing Tactics of Refinement in CRefine},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {342--351},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_24},
doi = {10.1007/978-3-642-33826-7\_24},
timestamp = {Sat, 05 Sep 2020 18:01:22 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FilhoO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/BarrocasO12,
author = {S. L. M. Barrocas and
Marcel Oliveira},
editor = {Peter H. Welch and
Frederick R. M. Barnes and
Kevin Chalmers and
Jan B{\ae}kgaard Pedersen and
Adam T. Sampson},
title = {JCircus 2.0: an Extension of an Automatic Translator from Circus to
Java},
booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under
the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012},
pages = {15--36},
publisher = {Open Channel Publishing Ltd.},
year = {2012},
url = {http://wotug.org/paperdb/show\_pap.php?f=1\&\#38;num=662},
timestamp = {Tue, 09 Feb 2021 08:32:30 +0100},
biburl = {https://dblp.org/rec/conf/wotug/BarrocasO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OliveiraZC11,
author = {Marcel Oliveira and
Frank Zeyda and
Ana Cavalcanti},
title = {A tactic language for refinement of state-rich concurrent specifications},
journal = {Sci. Comput. Program.},
volume = {76},
number = {9},
pages = {792--833},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.012},
doi = {10.1016/J.SCICO.2010.11.012},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/OliveiraZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/OliveiraDC11,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
David D{\'{e}}harbe and
Lu{\'{\i}}s C. D. S. Cruz},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {B to {CSP} Migration: Towards a Formal and Automated Model-Driven
Engineering of Hardware/Software Co-design},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {44--59},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_4},
doi = {10.1007/978-3-642-25032-3\_4},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/OliveiraDC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurgelMOD10,
author = {Alessandro Cavalcante Gurgel and
Val{\'{e}}rio Gutemberg de Medeiros and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
David Boris Paul D{\'{e}}harbe},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Integrating SMT-Solvers in {Z} and {B} Tools},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {412--413},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_45},
doi = {10.1007/978-3-642-11811-1\_45},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurgelMOD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CostaJO10,
author = {Umberto Souza da Costa and
Ivan Soares de Medeiros J{\'{u}}nior and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Specification and Verification of a {MPI} Implementation for a MP-SoC},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {168--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_12},
doi = {10.1007/978-3-642-14808-8\_12},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/CostaJO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GomesO10,
author = {Artur Oliveira Gomes and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Formal Development of a Cardiac Pacemaker: From Specification to Code},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {210--225},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_14},
doi = {10.1007/978-3-642-19829-8\_14},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/GomesO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/WoodcockOBW10,
author = {Jim Woodcock and
Marcel Oliveira and
Alan Burns and
Kun Wei},
title = {Modelling and Implementing Complex Systems with Timebands},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010},
pages = {1--13},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI.2010.7},
doi = {10.1109/SSIRI.2010.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/WoodcockOBW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OliveiraCW09,
author = {Marcel Oliveira and
Ana Cavalcanti and
Jim Woodcock},
title = {A {UTP} semantics for \emph{Circus}},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {3--32},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0052-5},
doi = {10.1007/S00165-007-0052-5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/OliveiraCW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ChavezGBOSR09,
author = {Christina Chavez and
Alessandro F. Garcia and
Tha{\'{\i}}s Vasconcelos Batista and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Cl{\'{a}}udio Sant'Anna and
Awais Rashid},
editor = {Kevin J. Sullivan and
Ana Moreira and
Christa Schwanninger and
Jeff Gray},
title = {Composing architectural aspects based on style semantics},
booktitle = {Proceedings of the 8th International Conference on Aspect-Oriented
Software Development, {AOSD} 2009, Charlottesville, Virginia, USA,
March 2-6, 2009},
pages = {111--122},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1509239.1509254},
doi = {10.1145/1509239.1509254},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/ChavezGBOSR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GomesO09,
author = {Artur Oliveira Gomes and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Specification of a Cardiac Pacing System},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {692--707},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_44},
doi = {10.1007/978-3-642-05089-3\_44},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/GomesO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZeydaOC09,
author = {Frank Zeyda and
Marcel Oliveira and
Ana Cavalcanti},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Supporting ArcAngel in ProofPower},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {225--243},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.027},
doi = {10.1016/J.ENTCS.2009.12.027},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZeydaOC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2009,
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7},
doi = {10.1007/978-3-642-10452-7},
isbn = {978-3-642-10451-0},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurgelCO08,
author = {Alessandro Cavalcante Gurgel and
Cristiano Gurgel de Castro and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Tool Support for the CircusRefinement Calculus},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {349},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_37},
doi = {10.1007/978-3-540-87603-8\_37},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurgelCO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/OliveiraGC08,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Alessandro Cavalcante Gurgel and
Cristiano Gurgel de Castro},
editor = {Antonio Cerone and
Stefan Gruner},
title = {CRefine: Support for the Circus Refinement Calculus},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {281--290},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.9},
doi = {10.1109/SEFM.2008.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/OliveiraGC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OliveiraC08,
author = {Marcel Oliveira and
Ana Cavalcanti},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {ArcAngelC: a Refinement Tactic Language for Circus},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {203--229},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.010},
doi = {10.1016/J.ENTCS.2008.06.010},
timestamp = {Fri, 17 Feb 2023 10:04:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OliveiraC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OliveiraW07,
author = {Marcel Oliveira and
Jim Woodcock},
editor = {Michael J. Butler and
Michael G. Hinchey and
Mar{\'{\i}}a M. Larrondo{-}Petrie},
title = {Automatic Generation of Verified Concurrent Hardware},
booktitle = {Formal Methods and Software Engineering, 9th International Conference
on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
November 14-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4789},
pages = {286--306},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76650-6\_17},
doi = {10.1007/978-3-540-76650-6\_17},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/OliveiraW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/OliveiraCW06,
author = {Marcel Oliveira and
Ana Cavalcanti and
Jim Woodcock},
editor = {Steve Dunne and
Bill Stoddart},
title = {Unifying Theories in ProofPower-Z},
booktitle = {Unifying Theories of Programming, First International Symposium, {UTP}
2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4010},
pages = {123--140},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768173\_8},
doi = {10.1007/11768173\_8},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/utp/OliveiraCW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OliveiraCW07,
author = {Marcel Oliveira and
Ana Cavalcanti and
Jim Woodcock},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {A Denotational Semantics for Circus},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {107--123},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.047},
doi = {10.1016/J.ENTCS.2006.08.047},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OliveiraCW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Oliveira05,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira},
title = {Formal derivation of state-rich reactive programs using Circus},
school = {University of York, {UK}},
year = {2005},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428459},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Oliveira05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/OliveiraCW05,
author = {Marcel Oliveira and
Ana Cavalcanti and
Jim Woodcock},
title = {Formal development of industrial-scale systems in \emph{Circus}},
journal = {Innov. Syst. Softw. Eng.},
volume = {1},
number = {2},
pages = {125--146},
year = {2005},
url = {https://doi.org/10.1007/s11334-005-0014-0},
doi = {10.1007/S11334-005-0014-0},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/OliveiraCW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OliveiraC04,
author = {Marcel Oliveira and
Ana Cavalcanti},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {From Circus to {JCSP}},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {320--340},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_29},
doi = {10.1007/978-3-540-30482-1\_29},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/OliveiraC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/OliveiraXC04,
author = {Marcel Oliveira and
Manuela Xavier and
Ana Cavalcanti},
title = {Refine and Gabriel: Support for Refinement and Tactics},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {310--319},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.37},
doi = {10.1109/SEFM.2004.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/OliveiraXC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OliveiraCW03,
author = {Marcel Oliveira and
Ana Cavalcanti and
Jim Woodcock},
title = {ArcAngel: a Tactic Language for Refinement},
journal = {Formal Aspects Comput.},
volume = {15},
number = {1},
pages = {28--47},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0003-8},
doi = {10.1007/S00165-003-0003-8},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/OliveiraCW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/Oliveira000,
author = {Marcel Oliveira and
Ana Cavalcanti},
editor = {Augusto Sampaio},
title = {Tactics of Refinement},
booktitle = {Proceedings of the 14th Brazilian Symposium on Software Engineering,
{SBES} 2000, Jo{\~{a}}o Pessoa, PB, Brazil, October 4-6, 2000},
pages = {117--132},
publisher = {{SBC}},
year = {2000},
url = {https://doi.org/10.5753/sbes.2000.25924},
doi = {10.5753/SBES.2000.25924},
timestamp = {Thu, 11 Jan 2024 12:54:45 +0100},
biburl = {https://dblp.org/rec/conf/sbes/Oliveira000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
