Folgen
Jean-Marie Farines
Jean-Marie Farines
Bestätigte E-Mail-Adresse bei ufsc.br
Titel
Zitiert von
Zitiert von
Jahr
Sistemas de tempo real
JM Farines, JS Fraga, RS Oliveira
Escola de Computação 2000, 201, 2000
1032000
Practicing engineering in a freshman introductory course
MBR Vallim, JM Farines, JER Cury
IEEE Transactions on Education 49 (1), 74-79, 2006
902006
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
672008
Introducing the modeling and verification process in SysML.
MV Linhares, RS de Oliveira, JM Farines, F Vernadat
ETFA 7, 344-351, 2007
622007
Specification, mapping and control for QoS adaptation
C Koliver, K Nahrstedt, JM Farines, JS Fraga, SA Sandri
Real-Time Systems 23 (1), 143-174, 2002
522002
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
281999
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
The Cotre project: rigorous software development for real time systems in avionics
JM Farines, B Berthomieu, JP Bodeveix, P Dissaux, P Farail, M Filali, ...
COLNARIC, ADAMSKI, WEGRZYN, 21, 2003
262003
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
232011
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
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 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
212016
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
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
201997
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
192010
Experiências com comunicaçao de grupo nas especificaçoes fault tolerant corba
LC Lung, JS Fraga, JM Farines, JR Oliveira
Proceedings of the 18th Brazilian Symposyum on Computer Networks, Belo …, 2000
182000
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
QoS adaptation based on fuzzy theory
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
Applying educational models in technological education
E Cantú, JM Farines
Education and Information Technologies 12 (3), 111-122, 2007
142007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20