![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jean-Marie Farines
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [j9]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]Giovani Pieri, Werner Kraus Jr.
, Jean-Marie Farines:
Bluemob: a network formation algorithm for bus riders. Wirel. Networks 23(5): 1413-1427 (2017) - [c45]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]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]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]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]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]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]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]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]Fabio Rafael Segundo, Jean-Marie Farines, Eraldo Silveira e Silva:
Quasi-opportunistic contact prediction in delay/disruption tolerant network. GIIS 2013: 1-6 - [c39]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]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]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]Delcino Picinin Jr., Jean-Marie Farines, Cristian Koliver:
An approach to verify live NCL applications. WebMedia 2012: 223-232 - 2011
- [c35]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]Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz:
A Path Selection Criterion for Advance Resource Reservation. NTMS 2011: 1-5 - [c33]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]Guilherme Vianna Raffo
, Jean-Marie Farines, Leandro Buss Becker
, Ubirajara Franco Moreno:
Tutorial 1: Mobile Robotics. SBESC 2011: 206-207 - 2010
- [j4]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]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]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
- 2009
- [c29]Cristian Koliver, Jean-Marie Farines, Barbara Busse, Hermann de Meer:
Evaluating Streaming Rate Controllers: A Support Tool. MMM 2009: 163-174 - [c28]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]Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz:
Path prediction for resource reservation between mobile nodes. WCNC 2009: 2073-2078 - 2008
- [c26]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]Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz:
Inter-domain QoS signaling under mobility. NOMS 2008: 855-858 - 2007
- [j3]Evandro Cantú, Jean-Marie Farines:
Applying educational models in technological education. Educ. Inf. Technol. 12(3): 111-122 (2007) - [c24]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]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]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]Evandro Cantú, Jean-Marie Farines:
Applying New Educational Models in ICT Teaching and Learning. Education for the 21st Century 2006: 45-54 - [c21]Cristian Koliver, Jean-Marie Farines, Alexandra Cemin:
A framework to assist bit rate control for distributed multimedia applications. WebMedia 2006: 1-8 - 2005
- [c20]Roberto Alexandre Dias, Eduardo Camponogara
, Jean-Marie Farines:
Supporting Differentiated QoS in MPLS Networks. IWQoS 2005: 206-218 - [c19]Cristian Koliver, Jean-Marie Farines:
Preliminary Results Towards Building a Highly Granular QoS Controller. IWQoS 2005: 346-348 - 2004
- [c18]Cristian Koliver, Alexandra Cemin, Jean-Marie Farines:
A Low Cost Approach to Encoded Video Quality Assessment. WebMedia/LA-WEB 2004: 133-136 - 2003
- [c17]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]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]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]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]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
- 1999
- [c13]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]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]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]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]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]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]Jean-Marie Farines, Udo Fritzke:
A Support Platform for Distributed Editing. CRIWG 1995: 97-109 - [c6]Celso Antônio Alves Kaestner, Jean-Marie Farines:
A synchronous real-time knowledge-based system. RTS 1995: 205-212 - [c5]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]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]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]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
- 1988
- [c1]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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint