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
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
Landslide stability analysis based on generalized information entropy
S Yufeng, J Fengxiang
2009 international conference on environmental science and information …, 2009
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
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
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
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