![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/fsfma/fsfma2013.bht:"
@inproceedings{DBLP:conf/fsfma/Andre13, author = {{\'{E}}tienne Andr{\'{e}}}, editor = {Christine Choppy and Jun Sun}, title = {Dynamic Clock Elimination in Parametric Timed Automata}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {18--31}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.18}, doi = {10.4230/OASICS.FSFMA.2013.18}, timestamp = {Tue, 15 Feb 2022 09:40:03 +0100}, biburl = {https://dblp.org/rec/conf/fsfma/Andre13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/CarleCKP13, author = {Patrice Carle and Christine Choppy and Romain Kervarc and Ariane Piel}, editor = {Christine Choppy and Jun Sun}, title = {Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {86--91}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.86}, doi = {10.4230/OASICS.FSFMA.2013.86}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/CarleCKP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/Chin13, author = {Wei{-}Ngan Chin}, editor = {Christine Choppy and Jun Sun}, title = {Specification, Verification and Inference (Invited Talk)}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {2}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.2}, doi = {10.4230/OASICS.FSFMA.2013.2}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/Chin13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/ElshuberKP13, author = {Martin Elshuber and Susanne Kandl and Peter P. Puschner}, editor = {Christine Choppy and Jun Sun}, title = {Improving System-Level Verification of SystemC Models with {SPIN}}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {74--79}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.74}, doi = {10.4230/OASICS.FSFMA.2013.74}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/ElshuberKP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/Fribourg13, author = {Laurent Fribourg}, editor = {Christine Choppy and Jun Sun}, title = {Control of Switching Systems by Invariance Analysis (Invited Talk)}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.1}, doi = {10.4230/OASICS.FSFMA.2013.1}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/Fribourg13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/FribourgKS13, author = {Laurent Fribourg and Ulrich K{\"{u}}hne and Romain Soulat}, editor = {Christine Choppy and Jun Sun}, title = {Constructing Attractors of Nonlinear Dynamical Systems}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {53--60}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.53}, doi = {10.4230/OASICS.FSFMA.2013.53}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/FribourgKS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/Liu13, author = {Yan Liu}, editor = {Christine Choppy and Jun Sun}, title = {Formal Modelling and Verification of Pervasive Computing Systems}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {61--67}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.61}, doi = {10.4230/OASICS.FSFMA.2013.61}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsfma/Liu13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/PaunMB13, author = {Vladimir{-}Alexandru Paun and Bruno Monsuez and Philippe Baufreton}, editor = {Christine Choppy and Jun Sun}, title = {On the Determinism of Multi-core Processors}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {32--46}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.32}, doi = {10.4230/OASICS.FSFMA.2013.32}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/PaunMB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/Protzenko13, author = {Jonathan Protzenko}, editor = {Christine Choppy and Jun Sun}, title = {Illustrating the Mezzo programming language}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {68--73}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.68}, doi = {10.4230/OASICS.FSFMA.2013.68}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/Protzenko13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/RodriguezS13, author = {C{\'{e}}sar Rodr{\'{\i}}guez and Stefan Schwoon}, editor = {Christine Choppy and Jun Sun}, title = {An Improved Construction of Petri Net Unfoldings}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {47--52}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.47}, doi = {10.4230/OASICS.FSFMA.2013.47}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/RodriguezS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/RusmawatiR13, author = {Yanti Rusmawati and David E. Rydeheard}, editor = {Christine Choppy and Jun Sun}, title = {Modelling and Reasoning about Dynamic Networks as Concurrent Systems}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {80--85}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.80}, doi = {10.4230/OASICS.FSFMA.2013.80}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/RusmawatiR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/Vanit-Anunchai13, author = {Somsak Vanit{-}Anunchai}, editor = {Christine Choppy and Jun Sun}, title = {Analysis of Two-Layer Protocols: {DCCP} Simultaneous-Open and Hole Punching Procedures}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, pages = {3--17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.3}, doi = {10.4230/OASICS.FSFMA.2013.3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/Vanit-Anunchai13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsfma/X13, editor = {Christine Choppy and Jun Sun}, title = {Frontmatter, Table of Contents, Preface, Workshop Organization}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.i}, doi = {10.4230/OASICS.FSFMA.2013.I}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsfma/X13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fsfma/2013, editor = {Christine Choppy and Jun Sun}, title = {1st French Singaporean Workshop on Formal Methods and Applications, {FSFMA} 2013, July 15-16, 2013, Singapore}, series = {OASIcs}, volume = {31}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, isbn = {978-3-939897-56-9}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsfma/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.