Amin Shali

According to our database1, Amin Shali authored at least 10 papers between 2003 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Hybrid partial evaluation.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
Sysfier: Actor-based formal verification of SystemC.
ACM Trans. Embed. Comput. Syst., 2010

2009
Actor frameworks for the JVM platform: a comparative analysis.
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

2007
Heterogeneous Decision Tree Classifier System.
Proceedings of the 2007 International Conference on Machine Learning; Models, 2007

Using genetic programming for the induction of oblique decision trees.
Proceedings of the Sixth International Conference on Machine Learning and Applications, 2007

2005
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.
J. Univers. Comput. Sci., 2005

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Modeling and Verification of Reactive Systems using Rebeca.
Fundam. Informaticae, 2004

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003
Model Checking in Rebeca.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003


  Loading...