Fouad ben Nasr Omri

According to our database, Fouad ben Nasr Omri authored at least 4 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment.

Fouad ben Nasr Omri

PhD thesis, 2015

2014

Towards Reliability Estimation of Large Systems-of-Systems with the Palladio Component Model.

Fouad ben Nasr Omri, Ralf H. Reussner

Proceedings of the Trusted Cloud Computing, 2014

2010

Automated Benchmarking of Java APIs.

Michael Kuperberg, Fouad Omri, Ralf H. Reussner

Proceedings of the Software Engineering 2010, 2010

2009

Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods.

Michael Kuperberg, Fouad Omri

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009