Jean-Marie Farines

Publication Activity (10 Years)

Years Active: 1988-2018
Publications (10 Years): 6

Top Topics

Hypermedia Systems

Formal Verification

Design Methodology

Public Transport

Top Venues

Int. J. Intell. Transp. Syst. Res.

Multim. Tools Appl.

Publications

Delcino Picinin Jr., Jean-Marie Farines, Celso A. S. Santos, Cristian Koliver
A design-oriented method to build correct hypermedia documents. Multim. Tools Appl. 77 (16) (2018)
Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima
Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. FMICS-AVoCS (2017)
Giovani Pieri, Werner Kraus Jr., Jean-Marie Farines
Bluemob: a network formation algorithm for bus riders. Wirel. Networks 23 (5) (2017)
Fabio Rafael Segundo, Eraldo Silveira e Silva, Jean-Marie Farines
A DTN routing strategy based on neural networks for urban bus transportation system. J. Netw. Comput. Appl. 64 (2016)
Eduardo Cambruzzi, Jean-Marie Farines, Werner Kraus Jr., Raimundo A. Macêdo
A Cluster Management System for VANETs. Int. J. Intell. Transp. Syst. Res. 14 (2) (2016)
Luis Gustavo Perpetuo Costa Marques, Max Hering de Queiroz, Jean-Marie Farines
Improving a design methodology of synthesizable VHDL with formal verification. LASCAS (2016)
Rosane Fátima Passarini, Jean-Marie Farines, João M. Fernandes, Leandro Buss Becker
Cyber-physical systems design: transition from functional to architectural models. Des. Autom. Embed. Syst. 19 (4) (2015)
José Gilmar Nunes de Carvalho Filho, Jean-Marie Farines, José Eduardo Ribeiro Cury
Building maps with Multi-Robot Systems under limited communication. ICAR (2015)
Fabio Rafael Segundo, Eraldo Silveira e Silva, Jean-Marie Farines
Predicting journeys for DTN routing in a public transportation system. WiMob (2014)
Delcino Picinin Júnior, Cristian Koliver, Celso A. S. Santos, Jean-Marie Farines
Verifying Hypermedia Applications by Using an MDE Approach. SAM (2014)
Rosane Fátima Passarini, Leandro Buss Becker, Jean-Marie Farines
The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models. SBESC (2013)
Fabio Rafael Segundo, Jean-Marie Farines, Eraldo Silveira e Silva
Quasi-opportunistic contact prediction in delay/disruption tolerant network. GIIS (2013)
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)
Delcino Picinin Jr., Jean-Marie Farines, Cristian Koliver
An approach to verify live NCL applications. WebMedia (2012)
Guilherme Vianna Raffo, Jean-Marie Farines, Leandro Buss Becker, Ubirajara Franco Moreno
Tutorial 1: Mobile Robotics. SBESC (2011)
Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz
A Path Selection Criterion for Advance Resource Reservation. NTMS (2011)
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)
Rafael Garlet de Oliveira, Gabriel H. R. Santos, Jean-Marie Farines, Leandro Buss Becker
Contributions to Improvement of the Formal Properties Verification Process in AADL Programs. SBESC (2011)
Eduardo Cambruzzi, Jean-Marie Farines, Raimundo José de Araújo Macêdo, Werner Kraus Jr.
An adaptive failure detection system for Vehicular Ad-hoc Networks. Intelligent Vehicles Symposium (2010)
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)
Cristian Koliver, Jean-Marie Farines, Barbara Busse, Hermann de Meer
Rate Control Performance under End-User's Perspective: A Test Tool. EURASIP J. Image Video Process. 2010 (2010)
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)
Cristian Koliver, Jean-Marie Farines, Barbara Busse, Hermann de Meer
Evaluating Streaming Rate Controllers: A Support Tool. MMM (2009)
Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz
Path prediction for resource reservation between mobile nodes. WCNC (2009)
Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz
Inter-domain QoS signaling under mobility. NOMS (2008)
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)
Evandro Cantú, Jean-Marie Farines
Applying educational models in technological education. Educ. Inf. Technol. 12 (3) (2007)
Marcos Vinicius Linhares, Rômulo Silva de Oliveira, Jean-Marie Farines, François Vernadat
Introducing the modeling and verification process in SysML. ETFA (2007)
Marcos B. R. Vallim, Jean-Marie Farines, José E. R. Cury
A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering. CDC (2006)
Marcos B. R. Vallim, Jean-Marie Farines, José E. R. Cury
Practicing engineering in a freshman introductory course. IEEE Trans. Educ. 49 (1) (2006)
Cristian Koliver, Jean-Marie Farines, Alexandra Cemin
A framework to assist bit rate control for distributed multimedia applications. WebMedia (2006)
Evandro Cantú, Jean-Marie Farines
Applying New Educational Models in ICT Teaching and Learning. Education for the 21st Century (2006)
Cristian Koliver, Jean-Marie Farines
Preliminary Results Towards Building a Highly Granular QoS Controller. IWQoS (2005)
Roberto Alexandre Dias, Eduardo Camponogara, Jean-Marie Farines
Supporting Differentiated QoS in MPLS Networks. IWQoS (2005)
Cristian Koliver, Alexandra Cemin, Jean-Marie Farines
A Low Cost Approach to Encoded Video Quality Assessment. WebMedia/LA-WEB (2004)
Ricardo Ferreira Martins, Carlos Alberto Brandão Barbosa Leite, Jean-Marie Farines
Towards Quality Evaluation and Improvement of a MPEG Video Stream. LANOMS (2003)
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)
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. Electron. Notes Theor. Comput. Sci. 80 (2003)
Cristian Koliver, Klara Nahrstedt, Jean-Marie Farines, Joni da Silva Fraga, Sandra Aparecida Sandri
Specification, Mapping and Control for QoS Adaptation. Real Time Syst. 23 (1-2) (2002)
Rômulo Silva de Oliveira, Joni da Silva Fraga, Jean-Marie Farines
Scheduling Imprecise Tasks in Real-Time Distributed Systems. ISORC (2001)
Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Rômulo Silva de Oliveira
An Adaptive Scheduling Approach in Real-Time CORBA. ISORC (1999)
Lau Cheuk Lung, Joni da Silva Fraga, Jean-Marie Farines, Michael Ogg, Aleta Ricciardi
CosNamingFT - A Fault-Tolerant CORBA Naming Service. SRDS (1999)
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)
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)
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)
Ricardo Ferreira Martins, Murilo Silva de Camargo, Jean-Marie Farines
Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. SBES (1996)
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)
Murilo S. de Camargo, Jean-Marie Farines
Uma abordagem para especificação e verificação de sistemas dependentes do tempo. SBES (1995)
Jean-Marie Farines, Udo Fritzke
A Support Platform for Distributed Editing. CRIWG (1995)
Celso Antonio Alves Kaestner, Jean-Marie Farines
A synchronous real-time knowledge-based system. RTS (1995)
Marcos Moecke, Jean-Marie Farines
Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise. SBES (1992)
Ricardo Pereira e Silva, Jean-Marie Farines
Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos. SBES (1991)
Carlos Alberto Maziero, Jean-Marie Farines
Ambiente de Concepção de Software para Sistemas Distribuídos, Baseado em Rede de Petri. SBES (1988)