Ambiente de Concepção de Software para Sistemas Distribuídos, Baseado em Rede de Petri. - Carlos Alberto Maziero; Jean-Marie Farines (SBES, 1988)

Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos. - Ricardo Pereira e Silva; Jean-Marie Farines (SBES, 1991)

Árvore de Alcançabilidade para Redes Predicado Transição: um método de redução que preserva as propriedades de análise. - Marcos Moecke; Jean-Marie Farines (SBES, 1992)

A Support Platform for Distributed Editing. - Jean-Marie Farines; Udo Fritzke (CRIWG, 1995)

A synchronous real-time knowledge-based system. - Celso Antônio Alves Kaestner; Jean-Marie Farines (RTS, 1995)

A Programming Model for Real-Time Applications in Open Distributed Systems. - Carlos Montez; Joni da Silva Fraga; Jean-Marie Farines; Olinto Furtado; Frank Siqueira (FTDCS, 1995)

Uma abordagem para especificação e verificação de sistemas dependentes do tempo. - Murilo S. de Camargo; Jean-Marie Farines (SBES, 1995)

Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. - Ricardo Ferreira Martins; Murilo Silva de Camargo; Jean-Marie Farines (SBES, 1996)

Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. - Conrado W. Seibel; Jean-Marie Farines; José E. R. Cury (Hybrid Systems, 1997)

RTR model: an approach for dealing with real-time programming in open distributed systems. - Joni da Silva Fraga; Jean-Marie Farines; Olinto Furtado (WORDS, 1997)

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 (FM-Trends, 1998)

An Adaptive Scheduling Approach in Real-Time CORBA. - Carlos Montez; Joni da Silva Fraga; Jean-Marie Farines; Rômulo Silva de Oliveira (ISORC, 1999)

CosNamingFT - A Fault-Tolerant CORBA Naming Service. - Lau Cheuk Lung; Joni da Silva Fraga; Jean-Marie Farines; Michael Ogg; Aleta Ricciardi (SRDS, 1999)

Scheduling Imprecise Tasks in Real-Time Distributed Systems. - Rômulo Silva de Oliveira; Joni da Silva Fraga; Jean-Marie Farines (ISORC, 2001)

Specification, Mapping and Control for QoS Adaptation. - Cristian Koliver; Klara Nahrstedt; Jean-Marie Farines; Joni da Silva Fraga; Sandra Aparecida Sandri (Real Time Syst., 2002)

Implementing Traffic Engineering in MPLS-Based IP Networks with Lagrangean Relaxation. - Roberto Alexandre Dias; Eduardo Camponogara; Jean-Marie Farines; Roberto Willrich; Adriano Campestrini (ISCC, 2003)

Towards Quality Evaluation and Improvement of a MPEG Video Stream. - Ricardo Ferreira Martins; Carlos Alberto Brandão Barbosa Leite; Jean-Marie Farines (LANOMS, 2003)

Towards the verification of real-time systems in avionics: the Cotre approach. - Bernard Berthomieu; Pierre-Olivier Ribet; François Vernadat 001; J. L. Bernartt; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; Gérard Padiou; Pierre Michel; Patrick Farail; Pierre Gauffilet; Pierre Dissaux; et al. (FMICS, 2003)

A Low Cost Approach to Encoded Video Quality Assessment. - Cristian Koliver; Alexandra Cemin; Jean-Marie Farines (WebMedia/LA-WEB, 2004)

Supporting Differentiated QoS in MPLS Networks. - Roberto Alexandre Dias; Eduardo Camponogara; Jean-Marie Farines (IWQoS, 2005)

Preliminary Results Towards Building a Highly Granular QoS Controller. - Cristian Koliver; Jean-Marie Farines (IWQoS, 2005)

A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering. - Marcos B. R. Vallim; Jean-Marie Farines; José E. R. Cury (CDC, 2006)

Applying New Educational Models in ICT Teaching and Learning. - Evandro Cantú; Jean-Marie Farines (Education for the 21st Century, 2006)

A framework to assist bit rate control for distributed multimedia applications. - Cristian Koliver; Jean-Marie Farines; Alexandra Cemin (WebMedia, 2006)

Practicing engineering in a freshman introductory course. - Marcos B. R. Vallim; Jean-Marie Farines; José E. R. Cury (IEEE Trans. Educ., 2006)

Introducing the modeling and verification process in SysML. - Marcos Vinicius Linhares; Rômulo Silva de Oliveira; Jean-Marie Farines; François Vernadat 001 (ETFA, 2007)

Applying educational models in technological education. - Evandro Cantú; Jean-Marie Farines (Educ. Inf. Technol., 2007)

Ladder Metamodeling and PLC Program Validation through Time Petri Nets. - Darlam Fabio Bender; Benoît Combemale; Xavier Crégut; Jean-Marie Farines; Bernard Berthomieu; François Vernadat 001 (ECMDA-FA, 2008)

Inter-domain QoS signaling under mobility. - Eraldo Silveira e Silva; Florin Racaru; Jean-Marie Farines; Michel Diaz (NOMS, 2008)

Evaluating Streaming Rate Controllers: A Support Tool. - Cristian Koliver; Jean-Marie Farines; Barbara Busse; Hermann de Meer (MMM, 2009)

Towards Safe Design of Synchronous Bus Protocols in Event-B. - Ricardo Bedin França; Leandro Buss Becker; Jean-Paul Bodeveix; Jean-Marie Farines; Mamoun Filali (SBMF, 2009)

Path prediction for resource reservation between mobile nodes. - Eraldo Silveira e Silva; Jean-Marie Farines; Michel Diaz (WCNC, 2009)

Supporting the Design of Safety Critical Systems Using AADL. - T. Correa; Leandro Buss Becker; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; François Vernadat 001 (ICECCS, 2010)

An adaptive failure detection system for Vehicular Ad-hoc Networks. - Eduardo Cambruzzi; Jean-Marie Farines; Raimundo José de Araújo Macêdo; Werner Kraus Jr. (Intelligent Vehicles Symposium, 2010)

Rate Control Performance under End-User's Perspective: A Test Tool. - Cristian Koliver; Jean-Marie Farines; Barbara Busse; Hermann de Meer (EURASIP J. Image Video Process., 2010)

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; François Vernadat 001; Xavier Crégut (ETFA, 2011)

A Path Selection Criterion for Advance Resource Reservation. - Eraldo Silveira e Silva; Jean-Marie Farines; Michel Diaz (NTMS, 2011)

Contributions to Improvement of the Formal Properties Verification Process in AADL Programs. - Rafael Garlet de Oliveira; Gabriel H. R. Santos; Jean-Marie Farines; Leandro Buss Becker (SBESC, 2011)

Tutorial 1: Mobile Robotics. - Guilherme Vianna Raffo; Jean-Marie Farines; Leandro Buss Becker; Ubirajara Franco Moreno (SBESC, 2011)

Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink. - Rosane Fátima Passarini; Jean-Marie Farines; Leandro Buss Becker (SBES, 2012)

An approach to verify live NCL applications. - Delcino Picinin Jr.; Jean-Marie Farines; Cristian Koliver (WebMedia, 2012)

Quasi-opportunistic contact prediction in delay/disruption tolerant network. - Fabio Rafael Segundo; Jean-Marie Farines; Eraldo Silveira e Silva (GIIS, 2013)

Modeling and synthesis of controllers for Multi-Robot Systems using game structures. - José Gilmar Nunes de Carvalho Filho; Jean-Marie Alexandre Farines; José Eduardo Ribeiro Cury (ICAR, 2013)

The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models. - Rosane Fátima Passarini; Leandro Buss Becker; Jean-Marie Farines (SBESC, 2013)

Verifying Hypermedia Applications by Using an MDE Approach. - Delcino Picinin Júnior; Cristian Koliver; Celso A. S. Santos; Jean-Marie Farines (SAM, 2014)

Predicting journeys for DTN routing in a public transportation system. - Fabio Rafael Segundo; Eraldo Silveira e Silva; Jean-Marie Farines (WiMob, 2014)

Building maps with Multi-Robot Systems under limited communication. - José Gilmar Nunes de Carvalho Filho; Jean-Marie Farines; José Eduardo Ribeiro Cury (ICAR, 2015)

Cyber-physical systems design: transition from functional to architectural models. - Rosane Fátima Passarini; Jean-Marie Farines; João M. Fernandes 001; Leandro Buss Becker (Des. Autom. Embed. Syst., 2015)

Improving a design methodology of synthesizable VHDL with formal verification. - Luis Gustavo Perpetuo Costa Marques; Max Hering de Queiroz; Jean-Marie Farines (LASCAS, 2016)

A Cluster Management System for VANETs. - Eduardo Cambruzzi; Jean-Marie Farines; Werner Kraus Jr.; Raimundo A. Macêdo 001 (Int. J. Intell. Transp. Syst. Res., 2016)

A DTN routing strategy based on neural networks for urban bus transportation system. - Fabio Rafael Segundo; Eraldo Silveira e Silva; Jean-Marie Farines (J. Netw. Comput. Appl., 2016)

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 (FMICS-AVoCS, 2017)

Bluemob: a network formation algorithm for bus riders. - Giovani Pieri; Werner Kraus Jr.; Jean-Marie Farines (Wirel. Networks, 2017)

A design-oriented method to build correct hypermedia documents. - Delcino Picinin Jr.; Jean-Marie Farines; Celso A. S. Santos; Cristian Koliver (Multim. Tools Appl., 2018)