Follow
Jean-Marie Farines
Jean-Marie Farines
Verified email at ufsc.br
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–20