Search results for "Amin Shali"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Amin Shali, William R. Cook	Hybrid partial evaluation.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani	Sysfier: Actor-based formal verification of SystemC.	ACM Trans. Embedded Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Rajesh K. Karmani, Amin Shali, Gul Agha	Actor frameworks for the JVM platform: a comparative analysis.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, performance, semantics, frameworks, abstractions, JVM, libraries, comparison, actors
1	Amin Shali, Behrouz Minaei-Bidgoli	Heterogeneous Decision Tree Classifier System.	MLMTA	2007	DBLP BibTeX RDF
1	Amin Shali, Mohammad Reza Kangavari, Bahareh Bina	Using genetic programming for the induction of oblique decision trees.	ICMLA	2007	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer	Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.	J. UCS	2005	DBLP BibTeX RDF
1	Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali	Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.	ACSD	2005	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer	Modeling and Verification of Reactive Systems using Rebeca.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar	A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.	ACSD	2004	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali	Model Checking in Rebeca.	PDPTA	2003	DBLP BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )

Publications of "Amin Shali" ( http://dblp.L3S.de/Authors/Amin_Shali )