Seguir
Jean-Marie Farines
Jean-Marie Farines
E-mail confirmado em ufsc.br
Título
Citado por
Citado por
Ano
Sistemas de tempo real
JM Farines, JS Fraga, RS Oliveira
Escola de Computação 2000, 201, 2000
1112000
Practicing engineering in a freshman introductory course
MBR Vallim, JM Farines, JER Cury
IEEE Transactions on Education 49 (1), 74-79, 2006
912006
Ladder metamodeling and PLC program validation through time Petri nets
DF Bender, B Combemale, X Crégut, JM Farines, B Berthomieu, ...
Model Driven Architecture–Foundations and Applications: 4th European …, 2008
732008
Introducing the modeling and verification process in SysML
MV Linhares, RS de Oliveira, JM Farines, F Vernadat
2007 ieee conference on emerging technologies and factory automation (efta …, 2007
642007
Specification, mapping and control for QoS adaptation
C Koliver, K Nahrstedt, JM Farines, JS Fraga, SA Sandri
Real-Time Systems 23, 143-174, 2002
532002
CosNamingFT-a fault-tolerant CORBA naming service
LC Lung, J da Silva Fraga, JM Farines, M Ogg, A Ricciardi
Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, 254-262, 1999
291999
The Cotre project: rigorous software development for real time systems in avionics
JM Farines, B Berthomieu, JP Bodeveix, P Dissaux, P Farail, M Filali, ...
Electronic Notes in Theoretical Computer Science. http://www. sciencedirect …, 2003
282003
Towards the verification of real-time systems in avionics: the Cotre approach
B Berthomieu, PO Ribet, F Vernadat, JL Bernartt, JM Farines, JP Bodeveix, ...
Electronic Notes in Theoretical Computer Science 80, 203-218, 2003
262003
A DTN routing strategy based on neural networks for urban bus transportation system
FR Segundo, ES e Silva, JM Farines
Journal of Network and Computer Applications 64, 216-228, 2016
252016
A model-driven engineering approach to formal verification of PLC programs
JM Farines, MH de Queiroz, VG da Rocha, AMM Carpes, F Vernadat, ...
ETFA2011, 1-8, 2011
242011
An adaptive scheduling approach in real-time corba
C Montez, J Fraga, R de Oliveira, JM Farines
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999
241999
Towards using hybrid automata for the mission planning of unmanned aerial vehicles
CW Seibel, JM Farines, JER Cury
Hybrid Systems V 5, 324-340, 1999
231999
An approach to verify live NCL applications
D Picinin Jr, JM Farines, C Koliver
Proceedings of the 18th Brazilian Symposium on Multimedia and the Web, 223-232, 2012
222012
A programming model for real-time applications in open distributed systems
J Fraga, JM Farines, O Furtado, F Siqueira
Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of …, 1995
211995
Supporting the design of safety critical systems using AADL
T Correa, LB Becker, JM Farines, JP Bodeveix, M Filali, F Vernadat
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
202010
Experiências com comunicaçao de grupo nas especificaçoes fault tolerant corba
LC Lung, J da Silva Fraga, JM Farines, JR Oliveira
Anais do 18o. Simpósio Brasileiro de Redes de Computadores, 2000
192000
Implementing traffic engineering in MPLS-based IP networks with Lagrangean relaxation
RA Dias, E Camponogara, JM Farines, R Willrich, A Campestrini
Proceedings of the Eighth IEEE Symposium on Computers and Communications …, 2003
172003
Cyber-physical systems design: transition from functional to architectural models
RF Passarini, JM Farines, JM Fernandes, LB Becker
Design Automation for Embedded Systems 19, 345-366, 2015
162015
QoS adaptation based on fuzzy theory
L Wang, C Koliver, JM Farines, K Nahrstedt
Soft Computing in Communications, 245-267, 2004
162004
A automação no processo produtivo: desafios e perspectivas
AH Bruciapaglia, JM Farines, JER Cury
Revista Nexus, 28-31, 2001
16*2001
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20