You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
103 lines
3.5 KiB
103 lines
3.5 KiB
6 years ago
|
@article{berthomieu2004tool,
|
||
|
|
title={The tool {TINA}--Construction of Abstract State Spaces for Petri nets and Time Petri nets},
|
||
|
|
author={Berthomieu, Bernard and Ribet, P-O and Vernadat, Fran{\c{c}}ois},
|
||
|
|
journal={International Journal of Production Research},
|
||
|
|
volume={42},
|
||
|
|
number={14},
|
||
|
|
year={2004}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{berthomieu2008fiacre,
|
||
|
|
title={Fiacre: an intermediate language for model verification in the topcased environment},
|
||
|
|
author={Berthomieu, Bernard and Bodeveix, Jean-Paul and Farail, Patrick and Filali, Mamoun and Garavel, Hubert and Gaufillet, Pierre and Lang, Frederic and Vernadat, Fran{\c{c}}ois},
|
||
|
|
booktitle={ERTS 2008},
|
||
|
|
year={2008}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{berthomieu2010formal,
|
||
|
|
title={Formal Verification of AADL models with Fiacre and Tina},
|
||
|
|
author={Berthomieu, Bernard and Bodeveix, Jean-Paul and Dal Zilio, Silvano and Dissaux, Pierre and Filali, Mamoun and Gaufillet, Pierre and Heim, Sebastien and Vernadat, Fran{\c{c}}ois},
|
||
|
|
booktitle={ERTSS 2010-Embedded Real-Time Software and Systems},
|
||
|
|
pages={1--9},
|
||
|
|
year={2010}
|
||
|
|
}
|
||
|
|
|
||
|
|
@Article{BM83,
|
||
|
|
author = "B. Berthomieu and M. Menasche",
|
||
|
|
title = "An Enumerative Approach for Analyzing Time {P}etri Nets.",
|
||
|
|
journal = "IFIP Congress Series",
|
||
|
|
volume = "9",
|
||
|
|
pages = "41--46",
|
||
|
|
publisher = "Elsevier Science Publ. Comp. (North Holland)",
|
||
|
|
year = "1983",
|
||
|
|
}
|
||
|
|
|
||
|
|
@Article{BRV04,
|
||
|
|
author = {Berthomieu, B. and Ribet, P.O. and Vernadat, F.},
|
||
|
|
title = {The tool {T}INA -- Construction of Abstract State Spaces for {P}etri
|
||
|
|
{N}ets and Time Petri Nets},
|
||
|
|
journal = {International Journal of Production Research},
|
||
|
|
volume = 42,
|
||
|
|
number = 14,
|
||
|
|
year = 2004}
|
||
|
|
|
||
|
|
@incollection{berthomieu2014model,
|
||
|
|
title={Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre},
|
||
|
|
author={Berthomieu, B. and Dal Zilio, S. and Fronc, {\L}.},
|
||
|
|
booktitle={ABZ 2014: The Landing Gear Case Study},
|
||
|
|
pages={110--125},
|
||
|
|
year={2014},
|
||
|
|
publisher={Springer}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{zilio2015latency,
|
||
|
|
title={Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina},
|
||
|
|
author={Dal Zilio, S. and Berthomieu, B. and Le Botlan, D.},
|
||
|
|
journal={arXiv preprint arXiv:1509.06506},
|
||
|
|
year={2015}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{bourdil2014model,
|
||
|
|
title={Model-Checking Real-Time Properties of an Auto Flight Control System Function},
|
||
|
|
author={Bourdil, P.-A. and Berthomieu, B. and Jenn, E.},
|
||
|
|
booktitle={IEEE ISSREW},
|
||
|
|
year={2014}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{rangra2014sdl,
|
||
|
|
title={{SDL} to {Fiacre} translation},
|
||
|
|
author={Rangra, S. and Gaudin, E.},
|
||
|
|
journal={Embedded Real-Time Software and Systems, Toulouse},
|
||
|
|
year={2014}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{bouyer2004updatable,
|
||
|
|
title={Updatable timed automata},
|
||
|
|
author={Bouyer, Patricia and Dufourd, Catherine and Fleury, Emmanuel and Petit, Antoine},
|
||
|
|
journal={Theoretical Computer Science},
|
||
|
|
volume={321},
|
||
|
|
number={2-3},
|
||
|
|
pages={291--345},
|
||
|
|
year={2004},
|
||
|
|
publisher={Elsevier}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{larsen1997uppaal,
|
||
|
|
title={UPPAAL in a nutshell},
|
||
|
|
author={Larsen, Kim G and Pettersson, Paul and Yi, Wang},
|
||
|
|
journal={International journal on software tools for technology transfer},
|
||
|
|
volume={1},
|
||
|
|
number={1-2},
|
||
|
|
pages={134--152},
|
||
|
|
year={1997},
|
||
|
|
publisher={Springer}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{griffault2004mec,
|
||
|
|
title={The mec 5 model-checker},
|
||
|
|
author={Griffault, Alain and Vincent, Aymeric},
|
||
|
|
booktitle={International Conference on Computer Aided Verification},
|
||
|
|
pages={488--491},
|
||
|
|
year={2004},
|
||
|
|
organization={Springer}
|
||
|
|
}
|