Raymond T. Boute
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2004–2009
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | FM | Making Temporal Logic Calculational: A Tool for Unification and Discovery. | Raymond T. Boute |
| 2008 | ISoLA | Simple Gedanken Experiments in Leveraging Applications of Formal Methods. | Raymond T. Boute |
| 2006 | FM | Using Domain-Independent Problems for Introducing Formal Methods. | Raymond T. Boute |
| 2005 | ICTAC | The Timer Cascade: Functional Modelling and Real Time Calculi. | Raymond T. Boute, Andreas Schfer |
| 2004 | IFM | Integrating Formal Methods by Unifying Abstractions. | Raymond T. Boute |