If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Idress Skloul Ibrahim is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Software engineering Engineering & Materials Science
Temporal logic Engineering & Materials Science
Ubiquitous computing Engineering & Materials Science
Model checking Engineering & Materials Science
Cloud computing Engineering & Materials Science
Communication Engineering & Materials Science
Algebra Engineering & Materials Science
Data structures Engineering & Materials Science

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2007 2019

  • 4 Article
  • 3 Paper
  • 2 Conference contribution

Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs

Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., Dec 2019, In : Journal of Systems Architecture. 101, 101657.

Research output: Contribution to journalArticle

Open Access
Temporal logic
Model checking
Field programmable gate arrays (FPGA)
Real time systems
Computer programming

High-performance Cloud Computing for Symbolic Computation Domain

Ibrahim, I. S., Loidl, H-W. & Trinder, P. W., 2016, In : Journal of Computations and Modelling. 6, 1, p. 107-133

Research output: Contribution to journalArticle

Cloud computing
Data structures
Finite automata

Combining pervasive computing with social networking for a student environment

Papadopoulou, E., Gallacher, S., Taylor, N. K., Williams, M. H., Blackmun, F. R., Ibrahim, I. S., Lim, M. Y., Mimtsoudis, I., Skillen, P. & Whyte, S., 2014, Parallel and Distributed Computing 2014: Proceedings of the Twelfth Australasian Symposium on Parallel and Distributed Computing (AusPDC 2014), Auckland, New Zealand, 20 - 23 January 2014. Australian Computer Society, p. 11-19 9 p. (Conferences in Research and Practice in Information Technology; vol. 152).

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

Open Access
Ubiquitous computing
Mobile computing

How public organisational structures influence software development processes

Bindrees, M. A., Pooley, R. J., Ibrahim, I. S. & Bental, D. S., 2014, In : Journal of Universal Computer Science. 10, 12, p. 2593-2607 15 p.

Research output: Contribution to journalArticle

Software engineering
Project management
Application programs

Re-Evaluating Media Richness Theory in Software Development Settings

Bindrees, M. A., Pooley, R. J., Ibrahim, I. S. & Taylor, N. K., 2014, In : Journal of Computer and Communications. 2, 14, p. 37-51 15 p.

Research output: Contribution to journalArticle

Software engineering