Contact details

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Dr. Osmar Marchi Dos Santos

(Former)

  1. 2015
  2. 2014
  3. Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms

    Bonilha, I. S., Dos Santos, O. M. & Indrusiak, L., 2014, IV Brazilian Symposium on Computing Systems Engineering SBESC 2014 : Proceedings. IEEE Computer Society Press, Vol. 2015-April. p. 144-149 6 p. 7091181

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. 2013
  5. 2011
  6. Fast and Accurate Transaction-Level Model of a Wormhole Network-on-Chip with Priority Preemptive Virtual Channel Arbitration

    Indrusiak, L. S. & Santos, O. M., 2011, Design Automation and Test in Europe (DATE), 2011. p. 1089-1094 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

    Santos, O. M. D., Woodcock, J. & Paige, R. F., 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. 2010
  9. it ransML: A Family of Languages to Model Model Transformations

    Guerra, E., Lara, J. D., Kolovos, D. S., Paige, R. F. & Santos, O. M. D., 2010, p. 106-120.

    Research output: Contribution to conferencePaperpeer-review

  10. transML: A Family of Languages to Model Model Transformations

    Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O., Petriu, D., Rouquette, N. & Haugen, Ø., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. p. 106-120 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. 2009
  12. The Use of Model Transformation in the INESS Project

    Santos, O. M. D., Woodcock, J., Paige, R. F. & King, S., 2009, p. 147-165.

    Research output: Contribution to conferencePaperpeer-review

  13. 2008
  14. Blocking time monitoring in the real-time specification for Java

    Santos, O. M. D. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 135-143 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Run Time Detection of Blocking Time Violations in Real-Time Systems

    dos Santos, O. M. & Wellings, A., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 347-356 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. 2007
  17. Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java

    Wellings, A. J., Burns, A., Santos, O. M. D. & Brosgol, B. M., 2007, p. 115-123.

    Research output: Contribution to conferencePaperpeer-review

  18. Integrating priority inheritance algorithms in the real-time specification for Java

    Wellings, A., Burns, A., dos Santos, O. M. & Brosgol, B. M., 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings. DeMiguel, M., Kalogeraki, V. & Kim, DH. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 115-122 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. 2005
  20. Cost monitoring and enforcement in the real-time specification for java: A formal evaluation

    dos Santos, O. M. & Wellings, A., 8 Dec 2005, Proceedings of the 26th IEEE Real-time Systems Symposium. LOS ALAMITOS: IEEE COMPUTER SOC, p. 177-186 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Verifying fault-tolerant distributed systems using Object-Based Graph Grammars

    Dotti, F. L., Mendizabal, O. M. & dos Santos, O. M., 2005, DEPENDABLE COMPUTING, PROCEEDINGS. Maziero, CA., Silva, JG., SantosAndrade, AM. & Silva, FMD. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-100 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution