Jean-Marie Farines
Jean-Marie Farines
Verified email at
Cited by
Cited by
Sistemas de tempo real
JM Farines, JS Fraga, RS Oliveira
Escola de Computação 2000, 201, 2000
Practicing engineering in a freshman introductory course
MBR Vallim, JM Farines, JER Cury
IEEE Transactions on Education 49 (1), 74-79, 2006
Landslide stability analysis based on generalized information entropy
S Yufeng, J Fengxiang
2009 international conference on environmental science and information …, 2009
Ladder metamodeling and PLC program validation through time Petri nets
DF Bender, B Combemale, X Crégut, JM Farines, B Berthomieu, ...
European Conference on Model Driven Architecture-Foundations and …, 2008
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
Specification, mapping and control for QoS adaptation
C Koliver, K Nahrstedt, JM Farines, J da Silva Fraga, SA Sandri
Real-Time Systems 23 (1), 143-174, 2002
An approach to dynamic reconfiguration of distributed systems based on object-middleware
JPA Almeida, M Wegdam, LF Pires, M Van Sinderen
Proceedings of the 19th Brazilian Symposium on Computer Networks (SBRC 2001 …, 2001
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
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
The Cotre project: rigorous software development for real time systems in avionics
JM Farines, B Berthomieu, JP Bodeveix, P Dissaux, P Farail, M Filali, ...
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
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
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
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
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
Towards using hybrid automata for the mission planning of unmanned aerial vehicles
CW Seibel, JM Farines, JER Cury
International Hybrid Systems Workshop, 324-340, 1997
Experiências com comunicaçao de grupo nas especificaçoes fault tolerant corba
LC Lung, JS Fraga, JM Farines, JR Oliveira
Anais do 18o. Simpósio Brasileiro de Redes de Computadores, 2000
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
QoS adaptation based on fuzzy theory
C Koliver, JM Farines, K Nahrstedt
Soft Computing in Communications, 245-267, 2004
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
The system can't perform the operation now. Try again later.
Articles 1–20