Jean-Marie Farines

According to our database, Jean-Marie Farines authored at least 54 papers between 1988 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

2017

Bluemob: a network formation algorithm for bus riders.

Giovani Pieri, Werner Kraus Jr., Jean-Marie Farines

Wirel. Networks, 2017

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

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

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

A Cluster Management System for VANETs.

Eduardo Cambruzzi, Jean-Marie Farines, Werner Kraus Jr., Raimundo A. Macêdo

Int. J. Intell. Transp. Syst. Res., 2016

Improving a design methodology of synthesizable VHDL with formal verification.

Luis Gustavo Perpetuo Costa Marques, Max Hering de Queiroz, Jean-Marie Farines

Proceedings of the IEEE 7th Latin American Symposium on Circuits & Systems, 2016

2015

Cyber-physical systems design: transition from functional to architectural models.

Rosane Fátima Passarini, Jean-Marie Farines, João M. Fernandes, Leandro Buss Becker

Des. Autom. Embed. Syst., 2015

Building maps with Multi-Robot Systems under limited communication.

José Gilmar Nunes de Carvalho Filho, Jean-Marie Farines, José Eduardo Ribeiro Cury

Proceedings of the International Conference on Advanced Robotics, 2015

2014

Predicting journeys for DTN routing in a public transportation system.

Fabio Rafael Segundo, Eraldo Silveira e Silva, Jean-Marie Farines

Proceedings of the IEEE 10th International Conference on Wireless and Mobile Computing, 2014

Verifying Hypermedia Applications by Using an MDE Approach.

Delcino Picinin Júnior, Cristian Koliver, Celso A. S. Santos, Jean-Marie Farines

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

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

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 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

Proceedings of the 16th International Conference on Advanced Robotics, 2013

Quasi-opportunistic contact prediction in delay/disruption tolerant network.

Fabio Rafael Segundo, Jean-Marie Farines, Eraldo Silveira e Silva

Proceedings of the Global Information Infrastructure Symposium, 2013

2012

An approach to verify live NCL applications.

Delcino Picinin Jr., Jean-Marie Farines, Cristian Koliver

Proceedings of the Brazilian Symposium on Multimedia and the Web, 2012

Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink.

Rosane Fátima Passarini, Jean-Marie Farines, Leandro Buss Becker

Proceedings of the 26th Brazilian Symposium on Software Engineering, 2012

2011

Tutorial 1: Mobile Robotics.

Guilherme Vianna Raffo, Jean-Marie Farines, Leandro Buss Becker, Ubirajara Franco Moreno

Proceedings of the Brazilian Symposium on Computing System Engineering, 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

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

A Path Selection Criterion for Advance Resource Reservation.

Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz

Proceedings of the 4th IFIP International Conference on New Technologies, 2011

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, Xavier Crégut

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

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

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.

Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010

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

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009

Path prediction for resource reservation between mobile nodes.

Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz

Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 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

Proceedings of the Formal Methods: Foundations and Applications, 2009

Evaluating Streaming Rate Controllers: A Support Tool.

Cristian Koliver, Jean-Marie Farines, Barbara Busse, Hermann de Meer

Proceedings of the Advances in Multimedia Modeling, 2009

2008

Inter-domain QoS signaling under mobility.

Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz

Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008

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

Proceedings of the Model Driven Architecture, 2008

2007

Applying educational models in technological education.

Evandro Cantú, Jean-Marie Farines

Educ. Inf. Technol., 2007

Introducing the modeling and verification process in SysML.

Marcos Vinicius Linhares, Rômulo Silva de Oliveira, Jean-Marie Farines, François Vernadat

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Practicing engineering in a freshman introductory course.

Marcos B. R. Vallim, Jean-Marie Farines, José E. R. Cury

IEEE Trans. Educ., 2006

A framework to assist bit rate control for distributed multimedia applications.

Cristian Koliver, Jean-Marie Farines, Alexandra Cemin

Proceedings of the 11th Brazilian Symposium on Multimedia and the Web, 2006

Applying New Educational Models in ICT Teaching and Learning.

Evandro Cantú, Jean-Marie Farines

Proceedings of the Education for the 21st Century, 2006

A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering.

Marcos B. R. Vallim, Jean-Marie Farines, José E. R. Cury

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Preliminary Results Towards Building a Highly Granular QoS Controller.

Cristian Koliver, Jean-Marie Farines

Proceedings of the Quality of Service - IWQoS 2005: 13th International Workshop, 2005

Supporting Differentiated QoS in MPLS Networks.

Roberto Alexandre Dias, Eduardo Camponogara, Jean-Marie Farines

Proceedings of the Quality of Service - IWQoS 2005: 13th International Workshop, 2005

2004

A Low Cost Approach to Encoded Video Quality Assessment.

Cristian Koliver, Alexandra Cemin, Jean-Marie Farines

Proceedings of the Joint Conference 10th Brazilian Symposium on Multimedia and the Web & 2nd Latin American Web Congress, 2004

2003

Towards the verification of real-time systems in avionics: the Cotre approach.

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

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Towards Quality Evaluation and Improvement of a MPEG Video Stream.

Ricardo Ferreira Martins, Carlos Alberto Brandão Barbosa Leite, Jean-Marie Farines

Proceedings of the 3rd Latin American Network Operations and Management Symposium, 2003

Implementing Traffic Engineering in MPLS-Based IP Networks with Lagrangean Relaxation.

Roberto Alexandre Dias, Eduardo Camponogara, Jean-Marie Farines, Roberto Willrich, Adriano Campestrini

Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

2002

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

2001

Scheduling Imprecise Tasks in Real-Time Distributed Systems.

Rômulo Silva de Oliveira, Joni da Silva Fraga, Jean-Marie Farines

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

1999

CosNamingFT - A Fault-Tolerant CORBA Naming Service.

Lau Cheuk Lung, Joni da Silva Fraga, Jean-Marie Farines, Michael Ogg, Aleta Ricciardi

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

An Adaptive Scheduling Approach in Real-Time CORBA.

Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Rômulo Silva de Oliveira

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

1998

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

Proceedings of the Applied Formal Methods, 1998

1997

RTR model: an approach for dealing with real-time programming in open distributed systems.

Joni da Silva Fraga, Jean-Marie Farines, Olinto Furtado

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles.

Conrado W. Seibel, Jean-Marie Farines, José E. R. Cury

Proceedings of the Hybrid Systems V, 1997

1996

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

Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

1995

Uma abordagem para especificação e verificação de sistemas dependentes do tempo.

Murilo S. de Camargo, Jean-Marie Farines

Proceedings of the 9th Brazilian Symposium on Software Engineering, 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

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

A synchronous real-time knowledge-based system.

Celso Antônio Alves Kaestner, Jean-Marie Farines

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

A Support Platform for Distributed Editing.

Jean-Marie Farines, Udo Fritzke

Proceedings of the First CYTED-RITOS International Workshop on Groupware, 1995

1992

Á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

Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

1991

Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos.

Ricardo Pereira e Silva, Jean-Marie Farines

Proceedings of the 5th Brazilian Symposium on Software Engineering, 1991

1988

Ambiente de Concepção de Software para Sistemas Distribuídos, Baseado em Rede de Petri.

Carlos Alberto Maziero, Jean-Marie Farines

Proceedings of the 2nd Brazilian Symposium on Software Engineering, 1988