default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/ftrtft:"
download as .bib file
@inproceedings{DBLP:conf/formats/AbdullaDMN04,
author = {Parosh Aziz Abdulla and
Johann Deneux and
Pritha Mahata and
Aletta Nyl{\'{e}}n},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Forward Reachability Analysis of Timed Petri Nets},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {343--362},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_24},
doi = {10.1007/978-3-540-30206-3\_24},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AbdullaDMN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BernadskySA04,
author = {Mikhail Bernadsky and
Raman Sharykin and
Rajeev Alur},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Structured Modeling of Concurrent Stochastic Hybrid Systems},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {309--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_22},
doi = {10.1007/978-3-540-30206-3\_22},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BernadskySA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BernardiDD04,
author = {Simona Bernardi and
Susanna Donatelli and
Giovanna Dondossola},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Towards a Methodological Approach to Specification and Analysis of
Dependable Automation Systems},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {36--51},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_5},
doi = {10.1007/978-3-540-30206-3\_5},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BernardiDD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BrihayeBR04,
author = {Thomas Brihaye and
V{\'{e}}ronique Bruy{\`{e}}re and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Model-Checking for Weighted Timed Automata},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {277--292},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_20},
doi = {10.1007/978-3-540-30206-3\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BrihayeBR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/CottonAMN04,
author = {Scott Cotton and
Eugene Asarin and
Oded Maler and
Peter Niebert},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Some Progress in Satisfiability Checking for Difference Logic},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {263--276},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_19},
doi = {10.1007/978-3-540-30206-3\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/CottonAMN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DSouzaT04,
author = {Deepak D'Souza and
Nicolas Tabareau},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {On Timed Automata with Input-Determined Guards},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {68--83},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_7},
doi = {10.1007/978-3-540-30206-3\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DSouzaT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Dajani-BrownCB04,
author = {Samar Dajani{-}Brown and
Darren D. Cofer and
Amar Bouali},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Formal Verification of an Avionics Sensor Voter Using {SCADE}},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {5--20},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_3},
doi = {10.1007/978-3-540-30206-3\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Dajani-BrownCB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DavorenMGCN04,
author = {Jennifer M. Davoren and
Thomas Moor and
Rajeev Gor{\'{e}} and
Vaughan Coulthard and
Anil Nerode},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {On Two-Sided Approximate Model-Checking: Problem Formulation and Solution
via Finite Topologies},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {52--67},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_6},
doi = {10.1007/978-3-540-30206-3\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DavorenMGCN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DimaGS04,
author = {Catalin Dima and
Alain Girault and
Yves Sorel},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological"
Orders},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {215--230},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_16},
doi = {10.1007/978-3-540-30206-3\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DimaGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DutertreS04,
author = {Bruno Dutertre and
Maria Sorea},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol
Using Calendar Automata},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {199--214},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_15},
doi = {10.1007/978-3-540-30206-3\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DutertreS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Feautrier04,
author = {Paul Feautrier},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {From Software to Hardware and Back},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {1--2},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_1},
doi = {10.1007/978-3-540-30206-3\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Feautrier04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Fecher04,
author = {Harald Fecher},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {The Influence of Durational Actions on Time Equivalences},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {231--245},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_17},
doi = {10.1007/978-3-540-30206-3\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Fecher04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GartnerJ04,
author = {Felix C. G{\"{a}}rtner and
Arshad Jhumka},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed
Specifications},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {183--198},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_14},
doi = {10.1007/978-3-540-30206-3\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GartnerJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GernerD04,
author = {Philippe Gerner and
Thao Dang},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Computing Schedules for Multithreaded Real-Time Programs Using Geometry},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {325--342},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_23},
doi = {10.1007/978-3-540-30206-3\_23},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GernerD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GrinchteinJL04,
author = {Olga Grinchtein and
Bengt Jonsson and
Martin Leucker},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Learning of Event-Recording Automata},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {379--396},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_26},
doi = {10.1007/978-3-540-30206-3\_26},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GrinchteinJL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KaynarL04,
author = {Dilsun Kirli Kaynar and
Nancy A. Lynch},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Decomposing Verification of Timed {I/O} Automata},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {84--101},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_8},
doi = {10.1007/978-3-540-30206-3\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/KaynarL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KossentiniC04,
author = {Chiheb Kossentini and
Paul Caspi},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Mixed Delay and Threshold Voters in Critical Real-Time Systems},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {21--35},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_4},
doi = {10.1007/978-3-540-30206-3\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/KossentiniC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KrichenT04,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Real-Time Testing with Timed Automata Testers and Coverage Criteria},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {134--151},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_11},
doi = {10.1007/978-3-540-30206-3\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/KrichenT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KwiatkowskaNSW04,
author = {Marta Z. Kwiatkowska and
Gethin Norman and
Jeremy Sproston and
Fuzhi Wang},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Symbolic Model Checking for Probabilistic Timed Automata},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {293--308},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_21},
doi = {10.1007/978-3-540-30206-3\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/KwiatkowskaNSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MalerN04,
author = {Oded Maler and
Dejan Nickovic},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Monitoring Temporal Properties of Continuous Signals},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {152--166},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_12},
doi = {10.1007/978-3-540-30206-3\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/MalerN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MarkeyS04,
author = {Nicolas Markey and
Philippe Schnoebelen},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Symbolic Model Checking for Simply-Timed Systems},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {102--117},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_9},
doi = {10.1007/978-3-540-30206-3\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/MarkeyS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MinerGPM04,
author = {Paul S. Miner and
Alfons Geser and
Lee Pike and
Jeffrey Maddalon},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {A Unified Fault-Tolerance Protocol},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {167--182},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_13},
doi = {10.1007/978-3-540-30206-3\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MinerGPM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Ryan04,
author = {Peter Y. A. Ryan},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Of Elections and Electrons},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {3--4},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_2},
doi = {10.1007/978-3-540-30206-3\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Ryan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Sorea04,
author = {Maria Sorea},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Lazy Approximation for Dense Real-Time Systems},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {363--378},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_25},
doi = {10.1007/978-3-540-30206-3\_25},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/Sorea04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/WulfDMR04,
author = {Martin De Wulf and
Laurent Doyen and
Nicolas Markey and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Robustness and Implementability of Timed Automata},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {118--133},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_10},
doi = {10.1007/978-3-540-30206-3\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/WulfDMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/YuWH04,
author = {Fang Yu and
Bow{-}Yaw Wang and
Yao{-}Wen Huang},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Bounded Model Checking for Region Automata},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {246--262},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_18},
doi = {10.1007/978-3-540-30206-3\_18},
timestamp = {Thu, 30 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/YuWH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2004,
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100824},
doi = {10.1007/B100824},
isbn = {3-540-23167-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BehrmannBDLPY02,
author = {Gerd Behrmann and
Johan Bengtsson and
Alexandre David and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {{UPPAAL} Implementation Secrets},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {3--22},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_1},
doi = {10.1007/3-540-45739-9\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BehrmannBDLPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouajjaniM02,
author = {Ahmed Bouajjani and
Agathe Merceron},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Parametric Verification of a Group Membership Algorithm},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {311--330},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_19},
doi = {10.1007/3-540-45739-9\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BouajjaniM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Buttazzo02,
author = {Giorgio C. Buttazzo},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Real-Time Operating Systems: Problems and Novel Solutions},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {37--52},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_3},
doi = {10.1007/3-540-45739-9\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Buttazzo02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DammJ02,
author = {Werner Damm and
Bengt Jonsson},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Eliminating Queues from {RT} {UML} Model Representations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {375--394},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_22},
doi = {10.1007/3-540-45739-9\_22},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DammJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DierksL02,
author = {Henning Dierks and
Marc Lettrari},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Constructing Test Automata from Graphical Real-Time Requirements},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {433--454},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_25},
doi = {10.1007/3-540-45739-9\_25},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DierksL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Douglass02,
author = {Bruce Powel Douglass},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Real-Time {UML}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {53--70},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_4},
doi = {10.1007/3-540-45739-9\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Douglass02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Franzle02,
author = {Martin Fr{\"{a}}nzle},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Take It NP-Easy: Bounded Model Construction for Duration Calculus},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {245--264},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_16},
doi = {10.1007/3-540-45739-9\_16},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Franzle02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JansenHK02,
author = {David N. Jansen and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {A Probabilistic Extension of {UML} Statecharts},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {355--374},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_21},
doi = {10.1007/3-540-45739-9\_21},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JansenHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JhumkaHS02,
author = {Arshad Jhumka and
Martin Hiller and
Neeraj Suri},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Component-Based Synthesis of Dependable Embedded Software},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {111--128},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_9},
doi = {10.1007/3-540-45739-9\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JhumkaHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Khoumsi02,
author = {Ahmed Khoumsi},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {A Method for Testing the Conformance of Real Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {331--354},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_20},
doi = {10.1007/3-540-45739-9\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Khoumsi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KnappMR02,
author = {Alexander Knapp and
Stephan Merz and
Christopher Rauh},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Model Checking - Timed {UML} State Machines and Collaborations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {395--416},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_23},
doi = {10.1007/3-540-45739-9\_23},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/KnappMR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KozenS02,
author = {Dexter Kozen and
Matthew Stillerman},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Eager Class Initialization for Java},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {71--80},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_5},
doi = {10.1007/3-540-45739-9\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/KozenS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LohrC02,
author = {Christophe Lohr and
Jean{-}Pierre Courtiat},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {From the Specification to the Scheduling of Time-Dependent Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {129--146},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_10},
doi = {10.1007/3-540-45739-9\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/LohrC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MalerKM02,
author = {Oded Maler and
Bruce H. Krogh and
Moez Mahfoudh},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {On Control with Bounded Computational Resources},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {147--164},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_11},
doi = {10.1007/3-540-45739-9\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MalerKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/McDermid02,
author = {John Alexander McDermid},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Software Hazard and Safety Analysis},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {23--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_2},
doi = {10.1007/3-540-45739-9\_2},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/McDermid02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/NiebertMABMJ02,
author = {Peter Niebert and
Moez Mahfoudh and
Eugene Asarin and
Marius Bozga and
Oded Maler and
Navendu Jain},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Timed Automata via Satisfiability Checking},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {225--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_15},
doi = {10.1007/3-540-45739-9\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/NiebertMABMJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PalsbergM02,
author = {Jens Palsberg and
Di Ma},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {A Typed Interrupt Calculus},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {291--310},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_18},
doi = {10.1007/3-540-45739-9\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PalsbergM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PenczekWZ02,
author = {Wojciech Penczek and
Bozena Wozna and
Andrzej Zbrzezny},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Towards Bounded Model Checking for the Universal Fragment of {TCTL}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {265--290},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_17},
doi = {10.1007/3-540-45739-9\_17},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PenczekWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pnueli02,
author = {Amir Pnueli},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Applications of Formal Methods in Biology},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {81--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_6},
doi = {10.1007/3-540-45739-9\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Pnueli02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Rushby02,
author = {John M. Rushby},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {An Overview of Formal Verification for the Time-Triggered Architecture},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {83--106},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_7},
doi = {10.1007/3-540-45739-9\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Rushby02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Sifakis02,
author = {Joseph Sifakis},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Scheduler Modeling Based on the Controller Synthesis Paradigm},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {107--110},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_8},
doi = {10.1007/3-540-45739-9\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Sifakis02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Tripakis02,
author = {Stavros Tripakis},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Fault Diagnosis for Timed Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {205--224},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_14},
doi = {10.1007/3-540-45739-9\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Tripakis02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/VilasAR02,
author = {Ana Fern{\'{a}}ndez Vilas and
Jos{\'{e}} Juan Pazos{-}Arias and
Rebeca P. D{\'{\i}}az Redondo},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {185--204},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_13},
doi = {10.1007/3-540-45739-9\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/VilasAR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YamamotoCH02,
author = {Mitsuharu Yamamoto and
Jean{-}Marie Cottin and
Masami Hagiya},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Decidability of Safety Properties of Timed Multiset Rewriting},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {165--184},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_12},
doi = {10.1007/3-540-45739-9\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/YamamotoCH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ZhaoXXTG02,
author = {Jianhua Zhao and
He Xu and
Xuandong Li and
Tao Zheng and
Guoliang Zheng},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Partial Order Path Technique for Checking Parallel Timed Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {417--432},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_24},
doi = {10.1007/3-540-45739-9\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ZhaoXXTG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/2002,
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9},
doi = {10.1007/3-540-45739-9},
isbn = {3-540-44165-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/AdlaideR00,
author = {Micha{\"{e}}l Ad{\'{e}}la{\"{\i}}de and
Olivier F. Roux},
editor = {Mathai Joseph},
title = {Using Cylindrical Algebraic Decomposition for the Analysis of Slope
Parametric Hybrid Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {252--263},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_21},
doi = {10.1007/3-540-45352-0\_21},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/AdlaideR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/AltisenGS00,
author = {Karine Altisen and
Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Mathai Joseph},
title = {A Methodology for the Construction of Scheduled Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {106--120},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_11},
doi = {10.1007/3-540-45352-0\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/AltisenGS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BackPP00,
author = {Ralph{-}Johan Back and
Luigia Petre and
Ivan Porres},
editor = {Mathai Joseph},
title = {Generalizing Action Systems to Hybrid Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {202--213},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_17},
doi = {10.1007/3-540-45352-0\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BackPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BaukusLS00,
author = {Kai Baukus and
Yassine Lakhnech and
Karsten Stahl},
editor = {Mathai Joseph},
title = {Verifying Universal Properties of Parameterized Networks},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {291--303},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_24},
doi = {10.1007/3-540-45352-0\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BaukusLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BhattacharjeeSDKRS00,
author = {A. K. Bhattacharjee and
Gopa Sen and
S. D. Dhodapkar and
Kundapur Karunakar and
Basant Rajan and
R. K. Shyamasundar},
editor = {Mathai Joseph},
title = {A System for Object Code Validation},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {152--169},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_14},
doi = {10.1007/3-540-45352-0\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BhattacharjeeSDKRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Breitling00,
author = {Max Breitling},
editor = {Mathai Joseph},
title = {Modeling Faults of Distributed, Reactive Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {58--69},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_7},
doi = {10.1007/3-540-45352-0\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Breitling00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CaspiS00,
author = {Paul Caspi and
Rym Salem},
editor = {Mathai Joseph},
title = {Threshold and Bounded-Delay Voting in Critical Control Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {70--81},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_8},
doi = {10.1007/3-540-45352-0\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/CaspiS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DSouza00,
author = {Deepak D'Souza},
editor = {Mathai Joseph},
title = {A Logical Characterisation of Event Recording Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {240--251},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_20},
doi = {10.1007/3-540-45352-0\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DSouza00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Damm00,
author = {Werner Damm},
editor = {Mathai Joseph},
title = {Challenges in the Verification of Electronic Control Units},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {18},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_3},
doi = {10.1007/3-540-45352-0\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Damm00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GeilenD00,
author = {Marc Geilen and
Dennis Dams},
editor = {Mathai Joseph},
title = {An On-the-Fly Tableau Construction for a Real-Time Temporal Logic},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {276--290},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_23},
doi = {10.1007/3-540-45352-0\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/GeilenD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Guelev00,
author = {Dimitar P. Guelev},
editor = {Mathai Joseph},
title = {Probabilistic Neighbourhood Logic},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {264--275},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_22},
doi = {10.1007/3-540-45352-0\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Guelev00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HalbwachsHLN00,
author = {Nicolas Halbwachs and
J.{-}F. H{\'{e}}ry and
J.{-}C. Laleuf and
Xavier Nicollin},
editor = {Mathai Joseph},
title = {Stability of Discrete Sampled Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {1--11},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_1},
doi = {10.1007/3-540-45352-0\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HalbwachsHLN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HanssonNP00,
author = {Hans Hansson and
Christer Norstr{\"{o}}m and
Sasikumar Punnekkat},
editor = {Mathai Joseph},
title = {Reliability Modelling of Time-Critical Distributed Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {94--105},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_10},
doi = {10.1007/3-540-45352-0\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HanssonNP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Hayes00,
author = {Ian J. Hayes},
editor = {Mathai Joseph},
title = {Real-Time Program Refinement Using Auxiliary Variables},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {170--184},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_15},
doi = {10.1007/3-540-45352-0\_15},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Hayes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Holenderski00,
author = {Leszek Holenderski},
editor = {Mathai Joseph},
title = {Compositional Verification of Synchronous Networks},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {214--227},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_18},
doi = {10.1007/3-540-45352-0\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Holenderski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JensenLS00,
author = {Henrik Ejersbo Jensen and
Kim Guldstrand Larsen and
Arne Skou},
editor = {Mathai Joseph},
title = {Scaling up Uppaal Automatic Verification of Real-Time Systems Using
Compositionality and Abstraction},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {19--30},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_4},
doi = {10.1007/3-540-45352-0\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JensenLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KulkarniA00,
author = {Sandeep S. Kulkarni and
Anish Arora},
editor = {Mathai Joseph},
title = {Automating the Addition of Fault-Tolerance},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {82--93},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_9},
doi = {10.1007/3-540-45352-0\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/KulkarniA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LanoCAK00,
author = {Kevin Lano and
David Clark and
Kelly Androutsopoulos and
Pauline Kan},
editor = {Mathai Joseph},
title = {Invariant-Based Synthesis of Fault-Tolerant Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {46--57},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_6},
doi = {10.1007/3-540-45352-0\_6},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/LanoCAK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MeydenM00,
author = {Ron van der Meyden and
Yoram Moses},
editor = {Mathai Joseph},
title = {On Refinement and Temporal Annotations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {185--201},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_16},
doi = {10.1007/3-540-45352-0\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MeydenM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Moses00,
author = {Yoram Moses},
editor = {Mathai Joseph},
title = {Issues in the Refinement of Distributed Programs},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {12--17},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_2},
doi = {10.1007/3-540-45352-0\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Moses00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Sproston00,
author = {Jeremy Sproston},
editor = {Mathai Joseph},
title = {Decidable Model Checking of Probabilistic Hybrid Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {31--45},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_5},
doi = {10.1007/3-540-45352-0\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Sproston00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SubramaniA00,
author = {K. Subramani and
Ashok K. Agrawala},
editor = {Mathai Joseph},
title = {A Dual Interpretation of "Standard Constraints" in Parametric Scheduling},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {121--133},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_12},
doi = {10.1007/3-540-45352-0\_12},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/SubramaniA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/TudoretNBS00,
author = {St{\'{e}}phane Tudoret and
Simin Nadjm{-}Tehrani and
Albert Beneviste and
Jan{-}Erik Str{\"{o}}mberg},
editor = {Mathai Joseph},
title = {Co-simulation of Hybrid Systems: Signal-Simulink},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {134--151},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_13},
doi = {10.1007/3-540-45352-0\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/TudoretNBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/VeloudisN00,
author = {Simeon Veloudis and
Nimal Nissanke},
editor = {Mathai Joseph},
title = {Modelling Coordinated Atomic Actions in Timed {CSP}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {228--239},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_19},
doi = {10.1007/3-540-45352-0\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/VeloudisN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/2000,
editor = {Mathai Joseph},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0},
doi = {10.1007/3-540-45352-0},
isbn = {3-540-41055-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BosnackiD98,
author = {Dragan Bosnacki and
Dennis Dams},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Discrete-Time Promela and Spin},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {307--310},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055359},
doi = {10.1007/BFB0055359},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BosnackiD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BozgaDMOTY98,
author = {Marius Bozga and
Conrado Daws and
Oded Maler and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Anders P. Ravn and
Hans Rischel},
title = {{KRONOS:} {A} Model-Checking Tool for Real-Time Systems (Tool-Presentation
for {FTRTFT} '98)},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {298--302},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055357},
doi = {10.1007/BFB0055357},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/BozgaDMOTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Cardell-OliverG98,
author = {Rachel Cardell{-}Oliver and
Tim Glover},
editor = {Anders P. Ravn and
Hans Rischel},
title = {A Practical and Complete Algorithm for Testing Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {251--261},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055352},
doi = {10.1007/BFB0055352},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Cardell-OliverG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CauCZ98,
author = {Antonio Cau and
Chris A. Czarnecki and
Hussein Zedan},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Designing a Provably Correct Robot Control System Using a 'Lean' Formal
Method},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {123--132},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055342},
doi = {10.1007/BFB0055342},
timestamp = {Wed, 13 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/CauCZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Coen-PorisiniPP98,
author = {Alberto Coen{-}Porisini and
Matteo Pradella and
Pierluigi {San Pietro}},
editor = {Anders P. Ravn and
Hans Rischel},
title = {A Finite-Domain Semantics for Testing Temporal Logic Specifications},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {41--54},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055335},
doi = {10.1007/BFB0055335},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/Coen-PorisiniPP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DierksFMV98,
author = {Henning Dierks and
Ansgar Fehnker and
Angelika Mader and
Frits W. Vaandrager},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Operational and Logical Semantics for Polling Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {29--40},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055334},
doi = {10.1007/BFB0055334},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/DierksFMV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FranzleL98,
author = {Martin Fr{\"{a}}nzle and
Karsten L{\"{u}}th},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Compiling Graphical Real-Time Specifications into Silicon},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {272--281},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055354},
doi = {10.1007/BFB0055354},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/FranzleL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GotzheinKP98,
author = {Reinhard Gotzhein and
Martin Kronenburg and
Christian Peper},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Reuse in Requirements Engineering: Discovery and Application of a
Real-Time Requirement Pattern},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {65--74},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055337},
doi = {10.1007/BFB0055337},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/GotzheinKP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GrosuSB98,
author = {Radu Grosu and
Thomas Stauner and
Manfred Broy},
editor = {Anders P. Ravn and
Hans Rischel},
title = {A Modular Visual Model for Hybrid Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {75--91},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055338},
doi = {10.1007/BFB0055338},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/GrosuSB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Heitmeyer98,
author = {Constance L. Heitmeyer},
editor = {Anders P. Ravn and
Hans Rischel},
title = {On the Need for Practical Formal Methods},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {18--26},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055332},
doi = {10.1007/BFB0055332},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Heitmeyer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JianhuaH98,
author = {Jianhua Zhao and
Dang Van Hung},
editor = {Anders P. Ravn and
Hans Rischel},
title = {On Checking Parallel Real-Time Systems for Linear Duration Properties},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {241--250},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055351},
doi = {10.1007/BFB0055351},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JianhuaH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Knight98,
author = {John C. Knight},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Challenges in the Utilization of Formal Methods},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {1--17},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055331},
doi = {10.1007/BFB0055331},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Knight98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Lann98,
author = {G{\'{e}}rard Le Lann},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Predictability in Critical Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {315--338},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055361},
doi = {10.1007/BFB0055361},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Lann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Luth98,
author = {Karsten L{\"{u}}th},
editor = {Anders P. Ravn and
Hans Rischel},
title = {The {ICOS} Synthesis Environment},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {294--297},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055356},
doi = {10.1007/BFB0055356},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Luth98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MarreroSCM98,
author = {Mario Marrero and
{\'{A}}lvaro Su{\'{a}}rez Sarmiento and
Elena Carri{\'{o}}n and
Elsa M. Mac{\'{\i}}as},
editor = {Anders P. Ravn and
Hans Rischel},
title = {{SGLOT:} {A} Visual Tool for Structural {LOTOS} Specifications},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {303--306},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055358},
doi = {10.1007/BFB0055358},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MarreroSCM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PandyaH98,
author = {Paritosh K. Pandya and
Dang Van Hung},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Duration Calculus of Weakly Monotonic Time},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {55--64},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055336},
doi = {10.1007/BFB0055336},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PandyaH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ParkSD98,
author = {David Y. W. Park and
Jens U. Skakkeb{\ae}k and
David L. Dill},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Static Analysis to Identify Invariants in {RSML} Specifications},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {133--142},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055343},
doi = {10.1007/BFB0055343},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ParkSD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PnueliSS98,
author = {Amir Pnueli and
Natarajan Shankar and
Eli Singerman},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Fair Synchronous Transition Systems and Their Liveness Proofs},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {198--209},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055348},
doi = {10.1007/BFB0055348},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PnueliSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PoelZ98,
author = {Mannes Poel and
Job Zwiers},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Synchronizing Clocked Transition Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {173--185},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055346},
doi = {10.1007/BFB0055346},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PoelZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PreussigKWH98,
author = {J{\"{o}}rg Preu{\ss}ig and
Stefan Kowalewski and
Howard Wong{-}Toi and
Thomas A. Henzinger},
editor = {Anders P. Ravn and
Hans Rischel},
title = {An Algorithm for the Approximative Analysis of Rectangular Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {228--240},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055350},
doi = {10.1007/BFB0055350},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PreussigKWH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PriddinB98,
author = {Darren George Priddin and
Alan Burns},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Integrating Real-Time Structured Design and Formal Techniques},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {92--102},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055339},
doi = {10.1007/BFB0055339},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/PriddinB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Puri98,
author = {Anuj Puri},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Dynamical Properties of Timed Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {210--227},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055349},
doi = {10.1007/BFB0055349},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Puri98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SatpathyHP98,
author = {Manoranjan Satpathy and
Dang Van Hung and
Paritosh K. Pandya},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Some Decidability Results for Duration Calculus under Synchronous
Interpretation},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {186--197},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055347},
doi = {10.1007/BFB0055347},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SatpathyHP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SchneiderX98,
author = {Gerardo Schneider and
Qiwen Xu},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Towards a Formal Semantics of Verilog Using Duration Calculus},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {282--293},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055355},
doi = {10.1007/BFB0055355},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SchneiderX98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SchwierH98,
author = {Detlef Schwier and
Friedrich W. von Henke},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Mechanical Verification of Clock Synchronization Algorithms},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {262--271},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055353},
doi = {10.1007/BFB0055353},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SchwierH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Siegel98,
author = {Michael Siegel},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Formal Verification of Stabilizing Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {158--172},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055345},
doi = {10.1007/BFB0055345},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Siegel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Sifakis98,
author = {Joseph Sifakis},
editor = {Anders P. Ravn and
Hans Rischel},
title = {A General Framework for the Composition of Timed Systems Extended
Abstract},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {27--28},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055333},
doi = {10.1007/BFB0055333},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Sifakis98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SpelbergTA98,
author = {Ronald F. Lutje Spelberg and
Hans Toetenel and
Marcel Ammerlaan},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Partition Refinement in Real-Time Model Checking},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {143--157},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055344},
doi = {10.1007/BFB0055344},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/SpelbergTA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/StollerS98,
author = {Scott D. Stoller and
Fred B. Schneider},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Automated Stream-Based Analysis of Fault-Tolerance},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {113--122},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055341},
doi = {10.1007/BFB0055341},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/StollerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/TapkenD98,
author = {Josef Tapken and
Henning Dierks},
editor = {Anders P. Ravn and
Hans Rischel},
title = {{MOBY/PLC} - Graphical Development of PLC-Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {311--314},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055360},
doi = {10.1007/BFB0055360},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/TapkenD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/VeloudisN98,
author = {Simeon Veloudis and
Nimal Nissanke},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Duration Calculus in the Specification of Safety Requirements},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {103--112},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055340},
doi = {10.1007/BFB0055340},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/VeloudisN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1998,
editor = {Anders P. Ravn and
Hans Rischel},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055330},
doi = {10.1007/BFB0055330},
isbn = {3-540-65003-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/AmadioD96,
author = {Roberto M. Amadio and
Mads Dam},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Toward a Modal Theory of Types for the pi-Calculus},
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 = {347--365},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_50},
doi = {10.1007/3-540-61648-9\_50},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/AmadioD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BawaE96,
author = {Rajesh K. Bawa and
Emmanuelle Encrenaz},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {A Tool for Translation of {VHDL} Descriptions into a Formal Model
and its Application to Formal Verification and Synthesis},
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 = {471--474},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_59},
doi = {10.1007/3-540-61648-9\_59},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BawaE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BiehlKR96,
author = {Morten Biehl and
Nils Klarlund and
Theis Rauhe},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Mona: Decidable Arithmetic in Practice},
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 = {459--462},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_56},
doi = {10.1007/3-540-61648-9\_56},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BiehlKR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoerTRH96,
author = {Frank S. de Boer and
H. Tej and
Willem P. de Roever and
M. van Hulst},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Compositionality in Real-Time Shared Variable Concurrency},
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 = {420--439},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_54},
doi = {10.1007/3-540-61648-9\_54},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BoerTRH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouajjaniLY96,
author = {Ahmed Bouajjani and
Yassine Lakhnech and
Sergio Yovine},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Model-Checking for Extended Timed Temporal Logics},
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 = {306--326},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_48},
doi = {10.1007/3-540-61648-9\_48},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/BouajjaniLY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoualiMST96,
author = {Amar Bouali and
Jean{-}Paul Marmorat and
Robert de Simone and
Horia Toma},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Verifying Synchronous Reactive Systems Programmed in {ESTEREL}},
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 = {463--466},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_57},
doi = {10.1007/3-540-61648-9\_57},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BoualiMST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ChoquetGC96,
author = {Annie Choquet and
Dominique Geniet and
Francis Cottet},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Exhaustive Computation of the Scheduled Task Execution Sequences of
a Real-Time Application},
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 = {246--262},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_44},
doi = {10.1007/3-540-61648-9\_44},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ChoquetGC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Cristian96,
author = {Flaviu Cristian},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {On the Semantics of Group Communication},
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 = {1--21},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_31},
doi = {10.1007/3-540-61648-9\_31},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Cristian96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DArgenioB96,
author = {Pedro R. D'Argenio and
Ed Brinksma},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {A Calculus for Timed Automata},
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 = {110--129},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_37},
doi = {10.1007/3-540-61648-9\_37},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DArgenioB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DavoliTG96,
author = {Renzo Davoli and
Fabio Tamburini and
Luigi{-}Alberto Giachini},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Scheduling Data Flow Programs in Hard Real-Time Environments},
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 = {263--278},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_45},
doi = {10.1007/3-540-61648-9\_45},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DavoliTG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Dierks96,
author = {Henning Dierks},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {The Production Cell: {A} Verified Real-Time System},
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 = {208--227},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_42},
doi = {10.1007/3-540-61648-9\_42},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Dierks96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Dietz96,
author = {Cheryl Dietz},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Graphical Formalization of Real-Time Requirements},
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 = {366--384},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_51},
doi = {10.1007/3-540-61648-9\_51},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Dietz96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FowlerW96,
author = {Simon Fowler and
Andy J. Wellings},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Formal Analysis of a Real-Time Kernel Specification},
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 = {440--458},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_55},
doi = {10.1007/3-540-61648-9\_55},
timestamp = {Thu, 23 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/FowlerW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Franzle96,
author = {Martin Fr{\"{a}}nzle},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Synthesizing Controllers from Duration Calculus},
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 = {168--187},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_40},
doi = {10.1007/3-540-61648-9\_40},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Franzle96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Holzmann96,
author = {Gerard J. Holzmann},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Formal Methods for Early Fault Detection},
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 = {40--54},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_33},
doi = {10.1007/3-540-61648-9\_33},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Holzmann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HuberSSS96,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz and
Alexander Schmidt and
Katharina Spies},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {AutoFocus: {A} Tool for Distributed Systems Specification},
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 = {467--470},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_58},
doi = {10.1007/3-540-61648-9\_58},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HuberSSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HungG96,
author = {Dang Van Hung and
Phan Hong Giang},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Sampling Semantics of Duration Calculus},
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 = {188--207},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_41},
doi = {10.1007/3-540-61648-9\_41},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HungG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JankowskiJ96,
author = {Tomasz Janowski and
Mathai Joseph},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Dynamic Scheduling in the Presence of Faults: Specification and Verification},
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 = {279--297},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_46},
doi = {10.1007/3-540-61648-9\_46},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JankowskiJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KarsistoV96,
author = {Konsta Karsisto and
Antti Valmari},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Verification-Driven Development of a Collision-Avoidance Protocol
for the Ethernet},
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 = {228--245},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_43},
doi = {10.1007/3-540-61648-9\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/KarsistoV96.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}
}
@inproceedings{DBLP:conf/ftrtft/Maggiolo-SchettiniP96,
author = {Andrea Maggiolo{-}Schettini and
Adriano Peron},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Retiming Techniques for Statecharts},
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 = {55--71},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_34},
doi = {10.1007/3-540-61648-9\_34},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Maggiolo-SchettiniP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MaraninchiH96,
author = {Florence Maraninchi and
Nicolas Halbwachs},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Compiling {ARGOS} into Boolean Equations},
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 = {72--89},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_35},
doi = {10.1007/3-540-61648-9\_35},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/MaraninchiH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MarreroS96,
author = {Mario Marrero and
{\'{A}}lvaro Su{\'{a}}rez Sarmiento},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {{EVGC:} {A} Tool for Visualizing {LOTOS} Behavioural Specifications},
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 = {475--478},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_60},
doi = {10.1007/3-540-61648-9\_60},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MarreroS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MeiIS96,
author = {Aohan Mei and
Yoshihide Igarashi and
Naoki Shimizu},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Efficient Broadcasting on Faulty Star Networks},
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 = {298--305},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_47},
doi = {10.1007/3-540-61648-9\_47},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MeiIS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pagani96,
author = {Florence Pagani},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Partial Orders and Verification of Real-Time systems},
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 = {327--346},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_49},
doi = {10.1007/3-540-61648-9\_49},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Pagani96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pandya96,
author = {Paritosh K. Pandya},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Weak Chop Inverses and Liveness in Mean-Value Calculus},
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 = {148--167},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_39},
doi = {10.1007/3-540-61648-9\_39},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Pandya96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Paynter96,
author = {Stephen Paynter},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Real-Time Mode-Machines},
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 = {90--109},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_36},
doi = {10.1007/3-540-61648-9\_36},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Paynter96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Shankar96,
author = {Natarajan Shankar},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Unifying Verification Paradigms},
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 = {22--39},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_32},
doi = {10.1007/3-540-61648-9\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Shankar96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SpringintveldV96,
author = {Jan Springintveld and
Frits W. Vaandrager},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Minimizable Timed Automata},
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 = {130--147},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_38},
doi = {10.1007/3-540-61648-9\_38},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SpringintveldV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WestheadN96,
author = {Martin Westhead and
Simin Nadjm{-}Tehrani},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Verification of Embedded Systems Using Synchronous Observers},
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 = {405--419},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_53},
doi = {10.1007/3-540-61648-9\_53},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/WestheadN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1996,
editor = {Bengt Jonsson and
Joachim Parrow},
title = {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},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9},
doi = {10.1007/3-540-61648-9},
isbn = {3-540-61648-9},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Arora94,
author = {Anish Arora},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Efficient Reconfiguration of Trees: {A} Case Study in Methodical Design
of Nonmasking Fault-Tolerant Programs},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {110--127},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_162},
doi = {10.1007/3-540-58468-4\_162},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Arora94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Beeck94,
author = {Michael von der Beeck},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {A Comparison of Statecharts Variants},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {128--148},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_163},
doi = {10.1007/3-540-58468-4\_163},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Beeck94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BenvenisteLFG94,
author = {Albert Benveniste and
Bernard C. Levy and
Eric Fabre and
Paul {Le Guernic}},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {A Calculus of Stochastic Systems for the Specification, Simulation,
And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {149--169},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_164},
doi = {10.1007/3-540-58468-4\_164},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BenvenisteLFG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BosscherPV94,
author = {Doeko Bosscher and
Indra Polak and
Frits W. Vaandrager},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Verification of an Audio Control Protocol},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {170--192},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_165},
doi = {10.1007/3-540-58468-4\_165},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BosscherPV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouajjaniER94,
author = {Ahmed Bouajjani and
Rachid Echahed and
Riadh Robbana},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Verfying Invariance Properties of Timed Systems with Duration Variables},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {193--210},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_166},
doi = {10.1007/3-540-58468-4\_166},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BouajjaniER94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouchenebB94,
author = {Hanifa Boucheneb and
G{\'{e}}rard Berthelot},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Predicting Logical and Temporal Properties of Real-Time Systems Using
Synchronized Elementary Nets},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {211--227},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_167},
doi = {10.1007/3-540-58468-4\_167},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BouchenebB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BradleyHKR94,
author = {Steven Bradley and
William Henderson and
David Kendall and
Adrian Robson},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Designing and Implementing Correct Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {228--246},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_168},
doi = {10.1007/3-540-58468-4\_168},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BradleyHKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BroyS94,
author = {Manfred Broy and
Ketil St{\o}len},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Specification and Refinement of Finite Dataflow Networks - a Relational
Approach},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {247--267},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_169},
doi = {10.1007/3-540-58468-4\_169},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BroyS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FixS94,
author = {Limor Fix and
Fred B. Schneider},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Hybrid Verification by Exploiting the Environment},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {1--18},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_157},
doi = {10.1007/3-540-58468-4\_157},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/FixS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GafniYF94,
author = {Vered Gafni and
Amiram Yehudai and
Yishai A. Feldman},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Activation-Oriented Specification of Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {268--287},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_170},
doi = {10.1007/3-540-58468-4\_170},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/GafniYF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HenzingerK94,
author = {Thomas A. Henzinger and
Peter W. Kopke},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Verification Methods for the Divergent Runs of Clock Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {351--372},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_173},
doi = {10.1007/3-540-58468-4\_173},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HenzingerK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Hooman94,
author = {Jozef Hooman},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Correctness of Real Time Systems by Construction},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {19--40},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_158},
doi = {10.1007/3-540-58468-4\_158},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Hooman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Horcher94,
author = {Hans{-}Martin H{\"{o}}rcher},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {The {DST} Z-Tools},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {778},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/Horcher94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HorcherS94,
author = {Hans{-}Martin H{\"{o}}rcher and
Uwe Schmidt},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {The {VDM} Domain Compiler},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {779},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/HorcherS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ITEX-DE94,
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {{ITEX-DE:} {A} {TTCN} Development Environment},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {784},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/ITEX-DE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Janowski94,
author = {Tomasz Janowski},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Fault-Tolerant Bisimulation and Process Tranformations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {373--392},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_174},
doi = {10.1007/3-540-58468-4\_174},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Janowski94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JanssenPXZ94,
author = {Wil Janssen and
Mannes Poel and
Qiwen Xu and
Job Zwiers},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Layering of Real-Time Distributed Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {393--417},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_175},
doi = {10.1007/3-540-58468-4\_175},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JanssenPXZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JifengHFMOSHRR94,
author = {Jifeng He and
C. A. R. Hoare and
Martin Fr{\"{a}}nzle and
Markus M{\"{u}}ller{-}Olm and
Ernst{-}R{\"{u}}diger Olderog and
Michael Schenke and
Michael R. Hansen and
Anders P. Ravn and
Hans Rischel},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Provably Correct Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {288--335},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_171},
doi = {10.1007/3-540-58468-4\_171},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/JifengHFMOSHRR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JifengJ94,
author = {Jifeng He and
Jianping Zheng},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Simulation Approach to Provably Correct Hardware Compilation},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {336--350},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_172},
doi = {10.1007/3-540-58468-4\_172},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/JifengJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JonssonHW94,
author = {Bengt Jonsson and
Chris Ho{-}Stuart and
Wang Yi},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Testing and Refinement for Nondeterministic and Probabilistic Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {418--430},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_176},
doi = {10.1007/3-540-58468-4\_176},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JonssonHW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KapurHMP94,
author = {Arjun Kapur and
Thomas A. Henzinger and
Zohar Manna and
Amir Pnueli},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Prooving Safety Properties of Hybrid Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {431--454},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_177},
doi = {10.1007/3-540-58468-4\_177},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/KapurHMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KauflK94,
author = {Thomas K{\"{a}}ufl and
Stefan Klingenbeck},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Tatzelwurm},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {786},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/KauflK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KearneyU94,
author = {Peter Kearney and
Mark Utting},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {A Layered Real-Time Specification of a {RISC} Processor},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {455--475},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_178},
doi = {10.1007/3-540-58468-4\_178},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/KearneyU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KishoreMAMG94,
author = {J. K. Kishore and
R. S. Manjunatha and
V. K. Agrawal and
N. K. Malik and
Prem Shankar Goel},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {A Real Time Fault Tolerant Microprocessor Based On-Board Computer
System for {INSAT-2} Spacecraft},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {476--487},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_179},
doi = {10.1007/3-540-58468-4\_179},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/KishoreMAMG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LakhnecheH94,
author = {Yassine Lakhnech and
Jozef Hooman},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Reasoning about Durations in Metric Temporal Logic},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {488--510},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_180},
doi = {10.1007/3-540-58468-4\_180},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LakhnecheH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LamportM94,
author = {Leslie Lamport and
Stephan Merz},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Specifying and Verifying Fault-Tolerant Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {41--76},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_159},
doi = {10.1007/3-540-58468-4\_159},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LamportM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Lann94,
author = {G{\'{e}}rard Le Lann},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Scheduling in Critical Real-Time Systems: a Minfesto},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {511--528},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_181},
doi = {10.1007/3-540-58468-4\_181},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Lann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Lassen94,
author = {Poul B{\o}gh Lassen},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {{IFAD} {VDM-SL} Toolbox},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {781},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/Lassen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Lindner94,
author = {Thomas Lindner},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Case Study Production Cell},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {780},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/Lindner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LiuJ94,
author = {Zhiming Liu and
Mathai Joseph},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Stepwise Development of Fault-Tolerant Reactive Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {529--546},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_182},
doi = {10.1007/3-540-58468-4\_182},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LiuJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MaffeisG94,
author = {Olivier Maffe{\"{\i}}s and
Paul {Le Guernic}},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Distributed Implementation of {SIGNAL:} Scheduling {\&} Graph
Clustering},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {547--566},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_183},
doi = {10.1007/3-540-58468-4\_183},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MaffeisG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MoriY94,
author = {Ryosei Mori and
Naoki Yonezaki},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Derivation of the Input Conditional Formula from a Reactive System
Specifictaion in Temporal Logic},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {567--582},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_184},
doi = {10.1007/3-540-58468-4\_184},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MoriY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Nadjm-TehraniS94,
author = {Simin Nadjm{-}Tehrani and
Jan{-}Erik Str{\"{o}}mberg},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {From Physical Modelling to Compositional Models of Hybrid Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {583--604},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_185},
doi = {10.1007/3-540-58468-4\_185},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Nadjm-TehraniS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pnueli94,
author = {Amir Pnueli},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Development of Hybrid Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {77--85},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_160},
doi = {10.1007/3-540-58468-4\_160},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Pnueli94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ReifSS94,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Formal Specification and Verification Using {KIV}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {787},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/ReifSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/RushbyS94,
author = {John M. Rushby and
Jens Ulrik Skakkeb{\ae}k},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {The {PVS} Verification System and {PC/DC}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {777},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/RushbyS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SDT94,
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {The {SDL} Design Tool},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {785},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/SDT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Schenke94,
author = {Michael Schenke},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Specification and Transformation of Reactive Systems with Time Restrictions
and Concurrency},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {605--620},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_186},
doi = {10.1007/3-540-58468-4\_186},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Schenke94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ShyamasundarR94,
author = {R. K. Shyamasundar and
S. Ramesh},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Languages for Reactive Specifications: Synchrony Vs Asynchrony},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {621--640},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_187},
doi = {10.1007/3-540-58468-4\_187},
timestamp = {Wed, 31 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ShyamasundarR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SipmaM94,
author = {Henny Sipma and
Zohar Manna},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Specification and Verification of Controlled Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {641--659},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_188},
doi = {10.1007/3-540-58468-4\_188},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SipmaM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SkakkebaekS94,
author = {Jens Ulrik Skakkeb{\ae}k and
Natarajan Shankar},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Towards a Duration Calculus Proof Assistant in {PVS}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {660--679},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_189},
doi = {10.1007/3-540-58468-4\_189},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SkakkebaekS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Wang94,
author = {Wang Yi},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain
Information},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {680--693},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_190},
doi = {10.1007/3-540-58468-4\_190},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Wang94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WiefelT94,
author = {Susanne Wiefel and
Gerhard Trefz},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {{STATEMATE}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {776},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/WiefelT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Wilke94,
author = {Thomas Wilke},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Specifying Timed State Sequences in Powerful Decidable Logics and
Timed Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {694--715},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_191},
doi = {10.1007/3-540-58468-4\_191},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Wilke94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WinkelmannF94,
author = {Klaus Winkelmann and
Thomas Filkorn},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {System Verification Environment - {SVE}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {783},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/WinkelmannF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WinkelmannN94,
author = {Klaus Winkelmann and
Klaus N{\"{o}}kel},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Control Specification Language - {CSL}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {782},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/WinkelmannN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/X94,
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Tools Demonstration},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {776--787},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_195},
doi = {10.1007/3-540-58468-4\_195},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/X94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YuPS94,
author = {Huiqun Yu and
Paritosh K. Pandya and
Yongqiang Sun},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {A Calculus for Hybrid Sampled Data Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {716--737},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_192},
doi = {10.1007/3-540-58468-4\_192},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/YuPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YuWZP94,
author = {Xinyao Yu and
Ji Wang and
Chaochen Zhou and
Paritosh K. Pandya},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Formal Design of Hybrid Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {738--755},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_193},
doi = {10.1007/3-540-58468-4\_193},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/YuWZP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YuhuaZ94,
author = {Zheng Yuhua and
Chaochen Zhou},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {A Formal Proof of the Deadline Driven Scheduler},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {756--775},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_194},
doi = {10.1007/3-540-58468-4\_194},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/YuhuaZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Zhou94,
author = {Chaochen Zhou},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Linear Duration Invariants},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {86--109},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_161},
doi = {10.1007/3-540-58468-4\_161},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Zhou94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1994,
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4},
doi = {10.1007/3-540-58468-4},
isbn = {3-540-58468-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BaetenB92,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Jan Vytopil},
title = {Asynchronous Communication in Real Space Process Algebra},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {473--492},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_26},
doi = {10.1007/3-540-55092-5\_26},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BaetenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoerH92,
author = {Frank S. de Boer and
Jozef Hooman},
editor = {Jan Vytopil},
title = {The Real-Time Behaviour of Asynchronously Communicating Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {451--472},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_25},
doi = {10.1007/3-540-55092-5\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BoerH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BreveglieriCC92,
author = {Luca Breveglieri and
Alessandra Cherubini and
Stefano Crespi{-}Reghizzi},
editor = {Jan Vytopil},
title = {Real-Time Scheduling by Queue Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {131--147},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_8},
doi = {10.1007/3-540-55092-5\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BreveglieriCC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Cardell-Oliver92,
author = {Rachel Cardell{-}Oliver},
editor = {Jan Vytopil},
title = {A Mechanized Theory for the Verification of Real-Time Program Code
using Higher Order Logic},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {375--392},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_21},
doi = {10.1007/3-540-55092-5\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Cardell-Oliver92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ChaochenHRR92,
author = {Zhou Chaochen and
Michael R. Hansen and
Anders P. Ravn and
Hans Rischel},
editor = {Jan Vytopil},
title = {Duration Specifications for Shared Processors},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {21--32},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_2},
doi = {10.1007/3-540-55092-5\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ChaochenHRR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CoenenH92,
author = {J. Coenen and
Jozef Hooman},
editor = {Jan Vytopil},
title = {A Compositional Semantics for Fault-Tolerant Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {33--51},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_3},
doi = {10.1007/3-540-55092-5\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/CoenenH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CoesmansW92,
author = {Peter Coesmans and
Martin J. Wieczorek},
editor = {Jan Vytopil},
title = {Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal
3-Sorted Modal Logic},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {571--590},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_31},
doi = {10.1007/3-540-55092-5\_31},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/CoesmansW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Daniels92,
author = {Mats Daniels},
editor = {Jan Vytopil},
title = {Modelling Real-Time Behaviour with an Interval Time Calculus},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {53--71},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_4},
doi = {10.1007/3-540-55092-5\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Daniels92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DaviesJS92,
author = {Jim Davies and
Dave Jackson and
Steve A. Schneider},
editor = {Jan Vytopil},
title = {Broadcast Communication for Real-time Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {149--169},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_9},
doi = {10.1007/3-540-55092-5\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DaviesJS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DeylonM92,
author = {Bernard Delyon and
Oded Maler},
editor = {Jan Vytopil},
title = {On Fault-Tolerant Symbolic Computations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {259--269},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_14},
doi = {10.1007/3-540-55092-5\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DeylonM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Fidge92,
author = {Colin J. Fidge},
editor = {Jan Vytopil},
title = {Specification and Verification of Real-Time Behaviour Using {Z} and
{RTL}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {393--409},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_22},
doi = {10.1007/3-540-55092-5\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Fidge92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GoswamiBJ92,
author = {Asis Goswami and
Michael Bell and
Mathai Joseph},
editor = {Jan Vytopil},
title = {{ISL:} An Interval Logic for the Specification of Real-time Programs},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {1--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_1},
doi = {10.1007/3-540-55092-5\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/GoswamiBJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Heidtmann92,
author = {Klaus D. Heidtmann},
editor = {Jan Vytopil},
title = {Temporal Logic Applied to Reliability Modelling of Fault-Tolerant
Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {271--289},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_15},
doi = {10.1007/3-540-55092-5\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Heidtmann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JanssenZ92,
author = {Wil Janssen and
Job Zwiers},
editor = {Jan Vytopil},
title = {Protocol Design by Layered Decomposition: {A} Compositional Approach},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {307--326},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_17},
doi = {10.1007/3-540-55092-5\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JanssenZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Jeffrey92,
author = {Alan Jeffrey},
editor = {Jan Vytopil},
title = {Translating Timed Process Algebra into Prioritized Process Algebra},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {493--506},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_27},
doi = {10.1007/3-540-55092-5\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Jeffrey92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KestenP92,
author = {Yonit Kesten and
Amir Pnueli},
editor = {Jan Vytopil},
title = {Timed and Hybrid Statecharts and Their Textual Representation},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {591--620},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_32},
doi = {10.1007/3-540-55092-5\_32},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/KestenP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KrishnanM92,
author = {Padmanabhan Krishnan and
Peter D. Mosses},
editor = {Jan Vytopil},
title = {Specifying Asynchronous Transfer of Control},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {291--306},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_16},
doi = {10.1007/3-540-55092-5\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/KrishnanM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Kurki-SuonioSV92,
author = {Reino Kurki{-}Suonio and
Kari Syst{\"{a}} and
J{\"{u}}ri Vain},
editor = {Jan Vytopil},
title = {Scheduling in Real-Time Models},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {327--339},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_18},
doi = {10.1007/3-540-55092-5\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Kurki-SuonioSV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LemosSA92,
author = {Rog{\'{e}}rio de Lemos and
Amer Saeed and
Tom Anderson},
editor = {Jan Vytopil},
title = {Analysis of Timeliness Requirements in Safety-Critical Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {171--192},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_10},
doi = {10.1007/3-540-55092-5\_10},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LemosSA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Millet92,
author = {Odile Millet},
editor = {Jan Vytopil},
title = {Multicycles and {RTL} Logic Satisfiability},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {73--86},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_5},
doi = {10.1007/3-540-55092-5\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Millet92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Moitra92,
author = {Abha Moitra},
editor = {Jan Vytopil},
title = {Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {87--106},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_6},
doi = {10.1007/3-540-55092-5\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Moitra92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MurphyP92,
author = {David Murphy and
David H. Pitt},
editor = {Jan Vytopil},
title = {Real-Timed Concurrent Refineable Behaviours},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {529--545},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_29},
doi = {10.1007/3-540-55092-5\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MurphyP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Naik92,
author = {Yogesh Naik},
editor = {Jan Vytopil},
title = {A Temporal Approach to Requirements Specification of Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {341--361},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_19},
doi = {10.1007/3-540-55092-5\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Naik92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Narayana92,
author = {K. T. Narayana},
editor = {Jan Vytopil},
title = {Observing Task Preemption in Ada 9x},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {107--129},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_7},
doi = {10.1007/3-540-55092-5\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Narayana92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Ortega-Mallen92,
author = {Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Jan Vytopil},
title = {Operational Semantics for Timed Observations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {507--527},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_28},
doi = {10.1007/3-540-55092-5\_28},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Ortega-Mallen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Plaice92,
author = {John Plaice},
editor = {Jan Vytopil},
title = {RLucid, a General Real-Time Dataflow Language},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {363--374},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_20},
doi = {10.1007/3-540-55092-5\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Plaice92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/RichardR92,
author = {Martin Richard and
Olivier F. Roux},
editor = {Jan Vytopil},
title = {An Attempt to Confront Asynchronous Reality to Synchronous Modelization
in the {ESTEREL} Language},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {429--450},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_24},
doi = {10.1007/3-540-55092-5\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/RichardR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Rushby92,
author = {John M. Rushby},
editor = {Jan Vytopil},
title = {Formal Specification and Verification of a Fault-Masking and Transient-Recovery
Model for Digital Flight-Control Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {237--257},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_13},
doi = {10.1007/3-540-55092-5\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Rushby92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ScholefieldZ92,
author = {David Scholefield and
Hussein S. M. Zedan},
editor = {Jan Vytopil},
title = {{TAM:} {A} Formal Framework for the Development of Distributed Real-Time
Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {411--428},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_23},
doi = {10.1007/3-540-55092-5\_23},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ScholefieldZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Shankar92,
author = {Natarajan Shankar},
editor = {Jan Vytopil},
title = {Mechanical Verification of a Generalized Protocol for Byzantine Fault
Tolerant Clock Synchronization},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {217--236},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_12},
doi = {10.1007/3-540-55092-5\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Shankar92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ToetenelK92,
author = {Hans Toetenel and
Jan van Katwijk},
editor = {Jan Vytopil},
title = {Stepwise Development of Model-Oriented Real-Time Specifications from
Action/Event Models},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {547--570},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_30},
doi = {10.1007/3-540-55092-5\_30},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ToetenelK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YodaikenR92,
author = {Victor Yodaiken and
Krithi Ramamritham},
editor = {Jan Vytopil},
title = {Verification of a Reliable Net Protocol},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {193--215},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_11},
doi = {10.1007/3-540-55092-5\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/YodaikenR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1992,
editor = {Jan Vytopil},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55092-5},
doi = {10.1007/3-540-55092-5},
isbn = {3-540-55092-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Cullyer88,
author = {W. J. Cullyer},
editor = {Mathai Joseph},
title = {High Integrity Computing},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {1--35},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_1},
doi = {10.1007/3-540-50302-1\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Cullyer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FischerZ88,
author = {Michael J. Fischer and
Lenore D. Zuck},
editor = {Mathai Joseph},
title = {Reasoning about Uncertainty in Fault-tolerant Distributed Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {142--158},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_11},
doi = {10.1007/3-540-50302-1\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/FischerZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HerlihyW88,
author = {Maurice Herlihy and
Jeannette M. Wing},
editor = {Mathai Joseph},
title = {Reasoning about Atomic Objects},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {193--208},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_14},
doi = {10.1007/3-540-50302-1\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HerlihyW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Jaray88,
author = {Jacques Jaray},
editor = {Mathai Joseph},
title = {Timed Specifications for the Development of Real-time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {67--83},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_3},
doi = {10.1007/3-540-50302-1\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Jaray88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KoymansKZ88,
author = {Ron Koymans and
Ruurd Kuiper and
Erik Zijstra},
editor = {Mathai Joseph},
title = {Paradigms for Real-time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {159--174},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_12},
doi = {10.1007/3-540-50302-1\_12},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/KoymansKZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LeeZ88,
author = {Insup Lee and
Amy E. Zwarico},
editor = {Mathai Joseph},
title = {Timed Acceptances: {A} Model of Time Dependent Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {128--130},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_7},
doi = {10.1007/3-540-50302-1\_7},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/LeeZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LiuS88,
author = {Leo Yuhsiang Liu and
R. K. Shyamasundar},
editor = {Mathai Joseph},
title = {Static Analysis of Real-time Distributed Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {134--138},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_9},
doi = {10.1007/3-540-50302-1\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LiuS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MacEwenS88,
author = {Glenn H. MacEwen and
David B. Skillicorn},
editor = {Mathai Joseph},
title = {Using Higher-order Logic for Modular Specification of Real-time Distributed
Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {36--66},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_2},
doi = {10.1007/3-540-50302-1\_2},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/MacEwenS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ManciniP88,
author = {Luigi V. Mancini and
Giuseppe Pappalardo},
editor = {Mathai Joseph},
title = {Towards a Theory of Replicated Processing},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {175--192},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_13},
doi = {10.1007/3-540-50302-1\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ManciniP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/McDermidM88,
author = {John Alexander McDermid and
Gary Morgan},
editor = {Mathai Joseph},
title = {Low Level Synchronisation Problems in Digital Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {139--141},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_10},
doi = {10.1007/3-540-50302-1\_10},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/McDermidM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PappalardoS88,
author = {Giuseppe Pappalardo and
Santosh K. Shrivastava},
editor = {Mathai Joseph},
title = {A Formal Treatment of Interference in Remote Procedure Calls},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {209--227},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_15},
doi = {10.1007/3-540-50302-1\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PappalardoS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PilaudH88,
author = {Daniel Pilaud and
Nicolas Halbwachs},
editor = {Mathai Joseph},
title = {From a Synchronous Declarative Language to a Temporal Logic Dealing
with Multiform Time},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {99--110},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_5},
doi = {10.1007/3-540-50302-1\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PilaudH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PnueliH88,
author = {Amir Pnueli and
Eyal Harel},
editor = {Mathai Joseph},
title = {Applications of Temporal Logic to the Specification of Real-time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {84--98},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_4},
doi = {10.1007/3-540-50302-1\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PnueliH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SoundararajanC88,
author = {Neelam Soundararajan and
Roger L. Costello},
editor = {Mathai Joseph},
title = {Responsive Sequential Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {131--133},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_8},
doi = {10.1007/3-540-50302-1\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SoundararajanC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WupperV88,
author = {Hanno Wupper and
Jan Vytopil},
editor = {Mathai Joseph},
title = {A Specification Language for Reliable Real-time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {111--127},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_6},
doi = {10.1007/3-540-50302-1\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/WupperV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1988,
editor = {Mathai Joseph},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1},
doi = {10.1007/3-540-50302-1},
isbn = {3-540-50302-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-12-11 20:08 CET from data curated 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:
