More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Marie Farines

Jean-Marie Alexandre Farines

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/mta/PicininFSK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mta/PicininFSK18
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): 21003-21032 (2018)
2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/winet/PieriKF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/winet/PieriKF17
Giovani Pieri, Werner Kraus Jr., Jean-Marie Farines:
Bluemob: a network formation algorithm for bus riders. Wirel. Networks 23(5): 1413-1427 (2017)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/VeigaQFL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/VeigaQFL17
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: 51-65
2016
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/itsr/CambruzziFKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/itsr/CambruzziFKM16
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): 115-126 (2016)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jnca/SegundoSF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jnca/SegundoSF16
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: 216-228 (2016)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/lascas/MarquesQF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lascas/MarquesQF16
Luis Gustavo Perpetuo Costa Marques, Max Hering de Queiroz, Jean-Marie Farines:
Improving a design methodology of synthesizable VHDL with formal verification. LASCAS 2016: 51-54
2015
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/PassariniFFB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/PassariniFFB15
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): 345-366 (2015)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icar/FilhoFC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icar/FilhoFC15
José Gilmar Nunes de Carvalho Filho, Jean-Marie Farines, José Eduardo Ribeiro Cury:
Building maps with Multi-Robot Systems under limited communication. ICAR 2015: 415-421
2014
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sam/JuniorKSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sam/JuniorKSF14
Delcino Picinin Júnior, Cristian Koliver, Celso A. S. Santos, Jean-Marie Farines:
Verifying Hypermedia Applications by Using an MDE Approach. SAM 2014: 174-189
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/wimob/SegundoSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wimob/SegundoSF14
Fabio Rafael Segundo, Eraldo Silveira e Silva, Jean-Marie Farines:
Predicting journeys for DTN routing in a public transportation system. WiMob 2014: 494-499
2013
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/giis/SegundoFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/giis/SegundoFS13
Fabio Rafael Segundo, Jean-Marie Farines, Eraldo Silveira e Silva:
Quasi-opportunistic contact prediction in delay/disruption tolerant network. GIIS 2013: 1-6
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icar/FilhoFC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icar/FilhoFC13
José Gilmar Nunes de Carvalho Filho, Jean-Marie Alexandre Farines, José Eduardo Ribeiro Cury:
Modeling and synthesis of controllers for Multi-Robot Systems using game structures. ICAR 2013: 1-8
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/PassariniBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/PassariniBF13
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: 47-52
2012
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/PassariniFB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/PassariniFB12
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
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/webmedia/PicininFK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webmedia/PicininFK12
Delcino Picinin Jr., Jean-Marie Farines, Cristian Koliver:
An approach to verify live NCL applications. WebMedia 2012: 223-232
2011
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/FarinesQRCVC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/FarinesQRCVC11
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
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ntms/SilvaFD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ntms/SilvaFD11
Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz:
A Path Selection Criterion for Advance Resource Reservation. NTMS 2011: 1-5
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/OliveiraSFB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/OliveiraSFB11
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: 27-32
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/RaffoFBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/RaffoFBM11
Guilherme Vianna Raffo, Jean-Marie Farines, Leandro Buss Becker, Ubirajara Franco Moreno:
Tutorial 1: Mobile Robotics. SBESC 2011: 206-207
2010
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ejivp/KoliverFBM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejivp/KoliverFBM10
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)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/CorreaBFBFV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/CorreaBFBFV10
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
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/CambruzziFMK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/CambruzziFMK10
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: 603-608

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/mmm/KoliverFBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmm/KoliverFBM09
Cristian Koliver, Jean-Marie Farines, Barbara Busse, Hermann de Meer:
Evaluating Streaming Rate Controllers: A Support Tool. MMM 2009: 163-174
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FrancaBBFF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FrancaBBFF09
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
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/wcnc/SilvaFD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcnc/SilvaFD09
Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz:
Path prediction for resource reservation between mobile nodes. WCNC 2009: 2073-2078
2008
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/BenderCCFBV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/BenderCCFBV08
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
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/noms/SilvaRFD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/noms/SilvaRFD08
Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz:
Inter-domain QoS signaling under mobility. NOMS 2008: 855-858
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/eait/CantuF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eait/CantuF07
Evandro Cantú, Jean-Marie Farines:
Applying educational models in technological education. Educ. Inf. Technol. 12(3): 111-122 (2007)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LinharesOFV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LinharesOFV07
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
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/te/VallimFC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/te/VallimFC06
Marcos B. R. Vallim, Jean-Marie Farines, José E. R. Cury:
Practicing engineering in a freshman introductory course. IEEE Trans. Educ. 49(1): 74-79 (2006)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/VallimFC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/VallimFC06
Marcos B. R. Vallim, Jean-Marie Farines, José E. R. Cury:
A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering. CDC 2006: 3890-3895
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip3/CantuF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip3/CantuF06
Evandro Cantú, Jean-Marie Farines:
Applying New Educational Models in ICT Teaching and Learning. Education for the 21st Century 2006: 45-54
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/webmedia/KoliverFC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webmedia/KoliverFC06
Cristian Koliver, Jean-Marie Farines, Alexandra Cemin:
A framework to assist bit rate control for distributed multimedia applications. WebMedia 2006: 1-8
2005
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iwqos/DiasCF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwqos/DiasCF05
Roberto Alexandre Dias, Eduardo Camponogara, Jean-Marie Farines:
Supporting Differentiated QoS in MPLS Networks. IWQoS 2005: 206-218
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/iwqos/KoliverF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwqos/KoliverF05
Cristian Koliver, Jean-Marie Farines:
Preliminary Results Towards Building a Highly Granular QoS Controller. IWQoS 2005: 346-348
2004
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/la-web/KoliverCF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/la-web/KoliverCF04
Cristian Koliver, Alexandra Cemin, Jean-Marie Farines:
A Low Cost Approach to Encoded Video Quality Assessment. WebMedia/LA-WEB 2004: 133-136
2003
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/DiasCFWC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/DiasCFWC03
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
[c16]
- view
  - electronic edition @ lanoms.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lanoms/MartinsLF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanoms/MartinsLF03
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
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BerthomieuRVBFBFPMFGDL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BerthomieuRVBFBFPMFGDL03
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. FMICS 2003: 203-218
2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/KoliverNFFS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/KoliverNFFS02
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): 143-174 (2002)
2001
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/OliveiraFF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/OliveiraFF01
Rômulo Silva de Oliveira, Joni da Silva Fraga, Jean-Marie Farines:
Scheduling Imprecise Tasks in Real-Time Distributed Systems. ISORC 2001: 319-326

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/FragaFO99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/FragaFO99
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
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/LungFFOR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/LungFFOR99
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
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SouzaSFSAGGWCD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SouzaSFSAGGWCD98
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SeibelFC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SeibelFC97
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
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/words/FragaFF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/words/FragaFF97
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
1996
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/MartinsCF96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MartinsCF96
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: 259-274
1995
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/criwg/FarinesF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/criwg/FarinesF95
Jean-Marie Farines, Udo Fritzke:
A Support Platform for Distributed Editing. CRIWG 1995: 97-109
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/KaestnerF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/KaestnerF95
Celso Antônio Alves Kaestner, Jean-Marie Farines:
A synchronous real-time knowledge-based system. RTS 1995: 205-212
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ftdcs/FragaFFS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/FragaFFS95
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
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/CamargoF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/CamargoF95
Murilo S. de Camargo, Jean-Marie Farines:
Uma abordagem para especificação e verificação de sistemas dependentes do tempo. SBES 1995: 107-122
1992
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/MoeckeF92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MoeckeF92
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: 157-170
1991
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/SilvaF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/SilvaF91
Ricardo Pereira e Silva, Jean-Marie Farines:
Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos. SBES 1991: 193-206

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/MazieroF88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MazieroF88
Carlos Alberto Maziero, Jean-Marie Farines:
Ambiente de Concepção de Software para Sistemas Distribuídos, Baseado em Rede de Petri. SBES 1988: 150-157

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.