Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Miquel Bertran
@article{DBLP:journals/acta/BertranBC14,
author = {Miquel Bertran and
Francesc{-}Xavier Babot and
August Climent},
title = {Formal communication elimination and sequentialization equivalence
proofs for distributed system models},
journal = {Acta Informatica},
volume = {51},
number = {6},
pages = {347--418},
year = {2014},
url = {https://doi.org/10.1007/s00236-014-0203-0},
doi = {10.1007/S00236-014-0203-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BertranBC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/ClimentNBB09,
author = {August Climent and
Joan Navarro and
Miquel Bertran and
Francesc{-}Xavier Babot},
editor = {Hans Weghorn and
Pedro T. Isa{\'{\i}}as},
title = {Optimistic concurrency control with partial replication design},
booktitle = {Proceedings of the {IADIS} International Conference Applied Computing
2009, 19-21 November, Rome, Italy, 2 Volumes},
pages = {181--186},
publisher = {{IADIS} Press},
year = {2009},
timestamp = {Tue, 04 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iadis/ClimentNBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BertranBC07,
author = {Miquel Bertran and
Francesc{-}Xavier Babot and
August Climent},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Formal Sequentialization of Distributed Systems via Program Rewriting},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {53--75},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.038},
doi = {10.1016/J.ENTCS.2007.05.038},
timestamp = {Tue, 31 Jan 2023 15:25:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BertranBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BabotBC05,
author = {Francesc{-}Xavier Babot and
Miquel Bertran and
August Climent},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {A Static Communication Elimination Algorithm for Distributed System
Verification},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {375--389},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_26},
doi = {10.1007/11576280\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BabotBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BertranBC05,
author = {Miquel Bertran and
Francesc{-}Xavier Babot and
August Climent},
editor = {Salvador Lucas},
title = {An Input/Output Semantics for Distributed Program Equivalence Reasoning},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {25--46},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.038},
doi = {10.1016/J.ENTCS.2005.01.038},
timestamp = {Mon, 12 Dec 2022 16:37:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BertranBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/ClimentBBM03,
author = {August Climent and
Miquel Bertran and
Francesc{-}Xavier Babot and
Josep M. Muixi},
title = {Performance Analysis of Speculative Concurrency Control Algorithms
based on Wait Depth Limited for Distributed Database Systems},
booktitle = {2nd International Symposium on Parallel and Distributed Computing
{(ISPDC} 2003), 13-14 October 2003, Ljubljana, Slovenia},
pages = {64--71},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISPDC.2003.1267645},
doi = {10.1109/ISPDC.2003.1267645},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/ClimentBBM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/BertranDPBCN02,
author = {Miquel Bertran and
Albert Duran and
Miquel Porta and
Francesc{-}Xavier Babot and
August Climent and
Miquel Nicolau},
editor = {Matilde Celma and
Oscar Pastor and
Natalia Juristo Juzgado and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Integrating Formal Verification of Parallelization in the {PADD/RALE}
Environment},
booktitle = {{VII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2002), 19-21 Noviembre 2002, El Escorial (Madrid)},
pages = {305--314},
year = {2002},
timestamp = {Mon, 18 Jan 2021 08:56:33 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/BertranDPBCN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BertranR01,
author = {Miquel Bertran and
Teodor Rus},
title = {Papers from ARTS'97 - Preface},
journal = {Theor. Comput. Sci.},
volume = {253},
number = {1},
pages = {1},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00086-4},
doi = {10.1016/S0304-3975(00)00086-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BertranR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BertranBCN01,
author = {Miquel Bertran and
Francesc{-}Xavier Babot and
August Climent and
Miquel Nicolau},
editor = {Patrick Cousot},
title = {Communication and Parallelism Introduction and Elimination in Imperative
Concurrent Programs},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {20--39},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_2},
doi = {10.1007/3-540-47764-0\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BertranBCN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Bertran97,
author = {Miquel Bertran},
editor = {Miquel Bertran and
Teodor Rus},
title = {A Transformation of Monitor into Communication Synchronized Parallel
Processes: {A} Systematic Refinement Step in Design},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {199--215},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_14},
doi = {10.1007/3-540-63010-4\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/Bertran97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/BertranAD97,
author = {Miquel Bertran and
Felipe Alvarez{-}Cuevas and
Albert Duran},
editor = {Miquel Bertran and
Teodor Rus},
title = {Communication Extended Abstract Types in the Refinement of Parallel
Communicating Processes},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {263--279},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_18},
doi = {10.1007/3-540-63010-4\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/BertranAD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arts/1997,
editor = {Miquel Bertran and
Teodor Rus},
title = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4},
doi = {10.1007/3-540-63010-4},
isbn = {3-540-63010-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/camad/BertranAVDCGGENPPEOFS94,
author = {Miquel Bertran and
Felipe Alvarez{-}Cuevas and
Joan Viaplana and
Albert Duran and
Daniel Cabedo and
Antoni Garrell and
Josep Maria Garrell i Guiu and
Francesc Escudero and
Miquel Nicolau and
Miquel Porta and
Bartomeu Palmer and
Joan M. Espejo and
Frances Oller and
Jordi Forga and
Josep M. Solanas},
title = {A design environment with simulation and formal verification (syr-padde)},
booktitle = {Fifth {IEEE} International Workshop on Computer-Aided Modeling, Analysis,
and Design of Communication Links and Networks, {CAMAD} '94, Princeton,
NJ, USA, April 24-27, 1994},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/CAMAD.1994.765636},
doi = {10.1109/CAMAD.1994.765636},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/camad/BertranAVDCGGENPPEOFS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1994,
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9},
doi = {10.1007/3-540-58555-9},
isbn = {3-540-58555-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/network/Alvarez-CuevasB93,
author = {Felipe Alvarez{-}Cuevas and
Miquel Bertran and
Francesco Oller and
Josep M. Selga},
title = {Voice synchronization in packet switching networks},
journal = {{IEEE} Netw.},
volume = {7},
number = {5},
pages = {20--25},
year = {1993},
url = {https://doi.org/10.1109/65.238151},
doi = {10.1109/65.238151},
timestamp = {Wed, 05 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/network/Alvarez-CuevasB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/BertranOFFERHAV93,
author = {Miquel Bertran and
Frances Oller and
Jordi Forga and
J. A. Frau and
Joan M. Espejo and
A. Ripoll and
J. C. Herranz and
F. Alvarez and
Joan Viaplana and
Albert Duran and
Miquel Porta and
J. Ramio},
title = {An environment for {DSP} system development with extended abstract
types, and dimensional design {(PADDE)}},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '93, Minneapolis, Minnesota, USA, April 27-30, 1993},
pages = {449--452},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.ieeecomputersociety.org/10.1109/ICASSP.1993.319152},
doi = {10.1109/ICASSP.1993.319152},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/BertranOFFERHAV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/LawsonBS78,
author = {Harold W. Lawson Jr. and
Miquel Bertran and
Javier Sanagustin},
title = {The Formal Definition of Human/Machine Communications},
journal = {Softw. Pract. Exp.},
volume = {8},
number = {1},
pages = {51--58},
year = {1978},
url = {https://doi.org/10.1002/spe.4380080107},
doi = {10.1002/SPE.4380080107},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/LawsonBS78.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-11 02:11 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:
