- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c27 |      | Rosane Fátima Passarini, Jean-Marie Farines, Leandro Buss Becker: Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink. SBES 2012: 41-50 |
| c26 | | Delcino Picinin Jr., Jean-Marie Farines, Cristian Koliver: An approach to verify live NCL applications. WebMedia 2012: 223-232 |
| 2011 | ||
| c25 | | Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, François Vernadat, Xavier Crégut: A model-driven engineering approach to formal verification of PLC programs. ETFA 2011: 1-8 |
| c24 | | Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz: A Path Selection Criterion for Advance Resource Reservation. NTMS 2011: 1-5 |
| 2010 | ||
| j3 | | Cristian Koliver, Jean-Marie Farines, Barbara Busse, Hermann de Meer: Rate Control Performance under End-User's Perspective: A Test Tool. EURASIP J. Image and Video Processing 2010 (2010) |
| c23 | | T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat: Supporting the Design of Safety Critical Systems Using AADL. ICECCS 2010: 331-336 |
| c22 | | Eduardo Cambruzzi, Jean-Marie Farines, Raimundo José de Araújo Macêdo, Werner Kraus: An adaptive failure detection system for Vehicular Ad-hoc Networks. Intelligent Vehicles Symposium 2010: 603-608 |
| 2009 | ||
| c21 | | Cristian Koliver, Jean-Marie Farines, Barbara Busse, Hermann de Meer: Evaluating Streaming Rate Controllers: A Support Tool. MMM 2009: 163-174 |
| c20 | | Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali: Towards Safe Design of Synchronous Bus Protocols in Event-B. SBMF 2009: 170-185 |
| c19 | | Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz: Path prediction for resource reservation between mobile nodes. WCNC 2009: 2073-2078 |
| 2008 | ||
| c18 | | Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat: Ladder Metamodeling and PLC Program Validation through Time Petri Nets. ECMDA-FA 2008: 121-136 |
| c17 | | Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz: Inter-domain QoS signaling under mobility. NOMS 2008: 855-858 |
| 2007 | ||
| c16 | | Marcos Vinicius Linhares, Rômulo Silva de Oliveira, Jean-Marie Farines, François Vernadat: Introducing the modeling and verification process in SysML. ETFA 2007: 344-351 |
| 2006 | ||
| c15 | | Evandro Cantú, Jean-Marie Farines: Applying New Educational Models in ICT Teaching and Learning. Education for the 21st Century 2006: 45-54 |
| c14 | | Cristian Koliver, Jean-Marie Farines, Alexandra Cemin: A framework to assist bit rate control for distributed multimedia applications. WebMedia 2006: 1-8 |
| 2005 | ||
| c13 | | Roberto Alexandre Dias, Eduardo Camponogara, Jean-Marie Farines: Supporting Differentiated QoS in MPLS Networks. IWQoS 2005: 206-218 |
| c12 | | Cristian Koliver, Jean-Marie Farines: Preliminary Results Towards Building a Highly Granular QoS Controller. IWQoS 2005: 346-348 |
| 2004 | ||
| c11 | | Cristian Koliver, Alexandra Cemin, Jean-Marie Farines: A Low Cost Approach to Encoded Video Quality Assessment. WebMedia/LA-WEB 2004: 133-136 |
| 2003 | ||
| j2 | | Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: 203-218 (2003) |
| c10 | | Roberto Alexandre Dias, Eduardo Camponogara, Jean-Marie Farines, Roberto Willrich, Adriano Campestrini: Implementing Traffic Engineering in MPLS-Based IP Networks with Lagrangean Relaxation. ISCC 2003: 373-378 |
| c9 | | Ricardo Ferreira Martins, Carlos Alberto Brandão Barbosa Leite, Jean-Marie Farines: Towards Quality Evaluation and Improvement of a MPEG Video Stream. LANOMS 2003: 175-182 |
| 2002 | ||
| j1 | | Cristian Koliver, Klara Nahrstedt, Jean-Marie Farines, Joni da Silva Fraga, Sandra Aparecida Sandri: Specification, Mapping and Control for QoS Adaptation. Real-Time Systems 23(1-2): 143-174 (2002) |
| 2001 | ||
| c8 | | Rômulo Silva de Oliveira, Joni da Silva Fraga, Jean-Marie Farines: Scheduling Imprecise Tasks in Real-Time Distributed Systems. ISORC 2001: 319-326 |
| 1999 | ||
| c7 | | Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Rômulo Silva de Oliveira: An Adaptive Scheduling Approach in Real-Time CORBA. ISORC 1999: 301-309 |
| c6 | | Lau Cheuk Lung, Joni da Silva Fraga, Jean-Marie Farines, Michael Ogg, Aleta Ricciardi: CosNamingFT - A Fault-Tolerant CORBA Naming Service. SRDS 1999: 254-262 |
| 1998 | ||
| c5 | | 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: Design of Distributed Multimedia Applications (DAMD). FM-Trends 1998: 77-91 |
| 1997 | ||
| c4 | | Conrado W. Seibel, Jean-Marie Farines, José E. R. Cury: Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. Hybrid Systems 1997: 324-340 |
| c3 | | Joni da Silva Fraga, Jean-Marie Farines, Olinto Furtado: RTR model: an approach for dealing with real-time programming in open distributed systems. WORDS 1997: 240-247 |
| 1995 | ||
| c2 |  | |
| c1 | | Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Olinto Furtado, Frank Siqueira: A Programming Model for Real-Time Applications in Open Distributed Systems. FTDCS 1995: 104-111 |
Colors in the list of coauthors
Last update Mon May 20 14:56:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page