Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rom Langerak
@inproceedings{DBLP:conf/birthday/LangerakPPS17,
author = {Rom Langerak and
Jaco van de Pol and
Janine N. Post and
Stefano Schivo},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Improving the Timed Automata Approach to Biological Pathway Dynamics},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {96--111},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_5},
doi = {10.1007/978-3-319-63121-9\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LangerakPPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchivoL17,
author = {Stefano Schivo and
Rom Langerak},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Discretization of Continuous Dynamical Systems Using {UPPAAL}},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {297--315},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_15},
doi = {10.1007/978-3-319-68270-9\_15},
timestamp = {Thu, 14 Oct 2021 10:33:18 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchivoL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brinksma,
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9},
doi = {10.1007/978-3-319-68270-9},
isbn = {978-3-319-68269-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2017brinksma.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/SchivoSVKPPL16,
author = {Stefano Schivo and
Jetse Scholma and
Paul E. van der Vet and
Marcel Karperien and
Janine N. Post and
Jaco van de Pol and
Rom Langerak},
title = {Modelling with {ANIMO:} between fuzzy logic and differential equations},
journal = {{BMC} Syst. Biol.},
volume = {10},
pages = {56},
year = {2016},
url = {https://doi.org/10.1186/s12918-016-0286-z},
doi = {10.1186/S12918-016-0286-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/SchivoSVKPPL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/SchivoSWCVKLPP14,
author = {Stefano Schivo and
Jetse Scholma and
Brend Wanders and
Ricardo A. Urquidi Camacho and
Paul E. van der Vet and
Marcel Karperien and
Rom Langerak and
Jaco van de Pol and
Janine N. Post},
title = {Modeling Biological Pathway Dynamics With Timed Automata},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {18},
number = {3},
pages = {832--839},
year = {2014},
url = {https://doi.org/10.1109/JBHI.2013.2292880},
doi = {10.1109/JBHI.2013.2292880},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/SchivoSWCVKLPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KordyLMP14,
author = {Piotr Kordy and
Rom Langerak and
Sjouke Mauw and
Jan Willem Polderman},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {A Symbolic Algorithm for the Analysis of Robust Timed Automata},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {351--366},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_25},
doi = {10.1007/978-3-319-06410-9\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KordyLMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SchivoSKPPL14,
author = {Stefano Schivo and
Jetse Scholma and
Marcel Karperien and
Janine N. Post and
Jaco van de Pol and
Rom Langerak},
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {Setting Parameters for Biological Models With {ANIMO}},
booktitle = {Proceedings 1st International Workshop on Synthesis of Continuous
Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
series = {{EPTCS}},
volume = {145},
pages = {35--47},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.145.5},
doi = {10.4204/EPTCS.145.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchivoSKPPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/PoldermanL12,
author = {Jan Willem Polderman and
Rom Langerak},
title = {Stability and robustness of planar switching linear systems},
journal = {Syst. Control. Lett.},
volume = {61},
number = {9},
pages = {904--910},
year = {2012},
url = {https://doi.org/10.1016/j.sysconle.2012.06.005},
doi = {10.1016/J.SYSCONLE.2012.06.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scl/PoldermanL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/SchivoSWCVKLPP12,
author = {Stefano Schivo and
Jetse Scholma and
Brend Wanders and
Ricardo A. Urquidi Camacho and
Paul E. van der Vet and
Marcel Karperien and
Rom Langerak and
Jaco van de Pol and
Janine N. Post},
title = {Modelling biological pathway dynamics with Timed Automata},
booktitle = {12th {IEEE} International Conference on Bioinformatics {\&} Bioengineering,
{BIBE} 2012, Larnaca, Cyprus, November 11-13, 2012},
pages = {447--453},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/BIBE.2012.6399719},
doi = {10.1109/BIBE.2012.6399719},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibe/SchivoSWCVKLPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LaarmanLPWW11,
author = {Alfons Laarman and
Rom Langerak and
Jaco van de Pol and
Michael Weber and
Anton Wijs},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Multi-core Nested Depth-First Search},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {321--335},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_23},
doi = {10.1007/978-3-642-24372-1\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LaarmanLPWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/XingTLPTV10,
author = {Jiansheng Xing and
Bart D. Theelen and
Rom Langerak and
Jaco van de Pol and
Jan Tretmans and
Jeroen Voeten},
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {From {POOSL} to {UPPAAL:} Transformation and Quantitative Analysis},
booktitle = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACSD.2010.21},
doi = {10.1109/ACSD.2010.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/XingTLPTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/XingTLPTV10,
author = {Jiansheng Xing and
Bart D. Theelen and
Rom Langerak and
Jaco van de Pol and
Jan Tretmans and
Jeroen Voeten},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{UPPAAL} in Practice: Quantitative Verification of a RapidIO Network},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {160--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_20},
doi = {10.1007/978-3-642-16561-0\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/XingTLPTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-0431,
author = {Piotr Kordy and
Rom Langerak and
Jan Willem Polderman},
editor = {Manuela{-}Luminita Bujorianu and
Michael Fisher},
title = {Re-verification of a Lip Synchronization Protocol using Robust Reachability},
booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {20},
pages = {49--62},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.20.5},
doi = {10.4204/EPTCS.20.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-0431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BujorianuLL08,
author = {Manuela{-}Luminita Bujorianu and
John Lygeros and
Rom Langerak},
editor = {Magnus Egerstedt and
Bud Mishra},
title = {Reachability Analysis of Stochastic Hybrid Systems by Optimal Control},
booktitle = {Hybrid Systems: Computation and Control, 11th International Workshop,
{HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4981},
pages = {610--613},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78929-1\_46},
doi = {10.1007/978-3-540-78929-1\_46},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BujorianuLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LangerakP05,
author = {Rom Langerak and
Jan Willem Polderman},
title = {Tools for Stability of Switching Linear Systems: Gain Automata and
Delay Compensation},
booktitle = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
December, 2005},
pages = {4867--4872},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CDC.2005.1582932},
doi = {10.1109/CDC.2005.1582932},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/LangerakP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/StrubbeL05,
author = {Stefan Strubbe and
Rom Langerak},
editor = {Farn Wang},
title = {A Composition Operator for Systems with Active and Passive Actions},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {24--37},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_4},
doi = {10.1007/11562436\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/StrubbeL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LangerakPK03,
author = {Rom Langerak and
Jan Willem Polderman and
Tomas Krilavicius},
editor = {Sebastian Engell and
Herv{\'{e}} Gu{\'{e}}guen and
Janan Zaytoon},
title = {Stability Analysis for Hybrid Automata Using Conservative Gains},
booktitle = {{IFAC} Conference on Analysis and Design of Hybrid Systems, 2003,
St Malo, Brittany, France, June 16-18, 2003},
series = {{IFAC} Proceedings Volumes},
volume = {36},
number = {6},
pages = {337--342},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1474-6670(17)36454-6},
doi = {10.1016/S1474-6670(17)36454-6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/LangerakPK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RuysLKLM01,
author = {Theo C. Ruys and
Rom Langerak and
Joost{-}Pieter Katoen and
Diego Latella and
Mieke Massink},
editor = {Tiziana Margaria and
Wang Yi},
title = {First Passage Time Analysis of Stochastic Process Algebra Using Partial
Orders},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {220--235},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_16},
doi = {10.1007/3-540-45319-9\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RuysLKLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LangerakB99,
author = {Rom Langerak and
Ed Brinksma},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {A Complete Finite Prefix for Process Algebra},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {184--195},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_18},
doi = {10.1007/3-540-48683-6\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LangerakB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Langerak99,
author = {Rom Langerak},
editor = {Ilaria Castellani and
Bj{\"{o}}rn Victor},
title = {Deriving a Graph Rewriting System from a Complete Finite Prefix of
an Unfolding},
booktitle = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
1999, Eindhoven, The Netherlands, August 23, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {27},
pages = {25--41},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80293-2},
doi = {10.1016/S1571-0661(05)80293-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Langerak99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BrinksmaKLL98,
author = {Ed Brinksma and
Joost{-}Pieter Katoen and
Rom Langerak and
Diego Latella},
title = {Partial Order Models for Quantitative Extensions of {LOTOS}},
journal = {Comput. Networks},
volume = {30},
number = {9-10},
pages = {925--950},
year = {1998},
url = {https://doi.org/10.1016/S0169-7552(97)00134-7},
doi = {10.1016/S0169-7552(97)00134-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BrinksmaKLL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KatoenLBLB98,
author = {Joost{-}Pieter Katoen and
Rom Langerak and
Ed Brinksma and
Diego Latella and
Tommaso Bolognesi},
title = {A Consistent Causality-Based View on a Timed Process Algebra Including
Urgent Interactions},
journal = {Formal Methods Syst. Des.},
volume = {12},
number = {2},
pages = {189--216},
year = {1998},
url = {https://doi.org/10.1023/A:1008649927166},
doi = {10.1023/A:1008649927166},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KatoenLBLB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LangerakBK97,
author = {Rom Langerak and
Ed Brinksma and
Joost{-}Pieter Katoen},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Causal Ambiguity and Partial Orders in Event Structures},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {317--331},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_22},
doi = {10.1007/3-540-63141-0\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LangerakBK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KatoenLLB96,
author = {Joost{-}Pieter Katoen and
Rom Langerak and
Diego Latella and
Ed Brinksma},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {On Specifying Real-Time Systems in a Causality-Based Setting},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {385--404},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_52},
doi = {10.1007/3-540-61648-9\_52},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/KatoenLLB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BrinksmaKLL95,
author = {Ed Brinksma and
Joost{-}Pieter Katoen and
Rom Langerak and
Diego Latella},
title = {A Stochastic Causality-Based Process Algebra},
journal = {Comput. J.},
volume = {38},
number = {7},
pages = {552--565},
year = {1995},
url = {https://doi.org/10.1093/comjnl/38.7.552},
doi = {10.1093/COMJNL/38.7.552},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BrinksmaKLL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BotmaL94,
author = {B. Botma and
Rom Langerak},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Simulator for {LOTOS} to study the independence and causality of events},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {221--223},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BotmaL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrinksmaLB93,
author = {Ed Brinksma and
Rom Langerak and
Peter Broekroelofs},
editor = {Costas Courcoubetis},
title = {Functionality Decomposition by Compositional Correstness Preserving
Transformation},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {371--384},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_31},
doi = {10.1007/3-540-56922-7\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrinksmaLB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KatoenLL93,
author = {Joost{-}Pieter Katoen and
Rom Langerak and
Diego Latella},
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"{U}}mit Uyar},
title = {Modeling Systems by Probabilistic Process Algebra: an Event Structures
Approach},
booktitle = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
Sixth International Conference on Formal Description Techniques -
{FORTE} '93, Boston, MA, USA, 26-29 October 1993},
series = {{IFIP} Transactions},
volume = {{C-22}},
pages = {253--268},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/KatoenLL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Langerak92,
author = {Rom Langerak},
editor = {Michel Diaz and
Roland Groz},
title = {Bundle event structures: a non-interleaving semantics for {LOTOS}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {331--346},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 04 Nov 2004 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/forte/Langerak92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Langerak91,
author = {Rom Langerak},
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Event Structures for Design and Transformation in {LOTOS}},
booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
Fourth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
Australia, 19-22 November 1991},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {265--280},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Langerak91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/Langerak90,
author = {Rom Langerak},
title = {View Updates in Relational Databases with an Independent Scheme},
journal = {{ACM} Trans. Database Syst.},
volume = {15},
number = {1},
pages = {40--66},
year = {1990},
url = {https://doi.org/10.1145/77643.77645},
doi = {10.1145/77643.77645},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/Langerak90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Langerak90,
author = {Rom Langerak},
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {Decomposition of functionality: a correctness-preserving {LOTOS} transformation},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of
the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
pages = {229--242},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Langerak90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Langerak89,
author = {Rom Langerak},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {A Testing Theory for {LOTOS} using Deadlock Detection},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {87--98},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Langerak89.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-05-08 23:24 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:
