Jean-Marie Farines
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
13
Active years
1995–2017
Best venue rank
C
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FMICS | Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. | Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima |
| 2014 | WiMob | Predicting journeys for DTN routing in a public transportation system. | Fabio Rafael Segundo, Eraldo Silveira e Silva, Jean-Marie Farines |
| 2011 | ETFA | A model-driven engineering approach to formal verification of PLC programs. | Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, Franois Vernadat, Xavier Crgut |
| 2010 | ICECCS | Supporting the Design of Safety Critical Systems Using AADL. | T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Franois Vernadat |
| 2009 | MMM | Evaluating Streaming Rate Controllers: A Support Tool. | Cristian Koliver, Jean-Marie Farines, Barbara Busse, Hermann de Meer |
| 2009 | WCNC | Path prediction for resource reservation between mobile nodes. | Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz |
| 2008 | NOMS | Inter-domain QoS signaling under mobility. | Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz |
| 2007 | ETFA | Introducing the modeling and verification process in SysML. | Marcos Vinicius Linhares, Rmulo Silva de Oliveira, Jean-Marie Farines, Franois Vernadat |
| 2005 | IWQoS | Supporting Differentiated QoS in MPLS Networks. | Roberto Alexandre Dias, Eduardo Camponogara, Jean-Marie Farines |
| 2005 | IWQoS | Preliminary Results Towards Building a Highly Granular QoS Controller. | Cristian Koliver, Jean-Marie Farines |
| 2003 | ISCC | Implementing Traffic Engineering in MPLS-Based IP Networks with Lagrangean Relaxation. | Roberto Alexandre Dias, Eduardo Camponogara, Jean-Marie Farines, Roberto Willrich, Adriano Campestrini |
| 2001 | ISORC | Scheduling Imprecise Tasks in Real-Time Distributed Systems. | Rmulo Silva de Oliveira, Joni da Silva Fraga, Jean-Marie Farines |
| 1999 | ISORC | An Adaptive Scheduling Approach in Real-Time CORBA. | Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Rmulo Silva de Oliveira |
| 1999 | SRDS | CosNamingFT - A Fault-Tolerant CORBA Naming Service. | Lau Cheuk Lung, Joni da Silva Fraga, Jean-Marie Farines, Michael Ogg, Aleta Ricciardi |
| 1998 | FM | Design of Distributed Multimedia Applications (DAMD). | Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos |
| 1995 | ECRTS | A synchronous real-time knowledge-based system. | Celso Antnio Alves Kaestner, Jean-Marie Farines |