alcom.ee.ntu.edu.tw
Welcome to ALCom Lab Website
http://alcom.ee.ntu.edu.tw/system/news/news.php?open=93
Paper on "A General Framework for Efficient Performance Analysis of Acyclic Asynchronous Pipelines" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015. Paper on "SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015. 何欣諺、林碩紝、袁克倫榮獲 CAD Contest at ICCAD 2014. Paper on "Towards Formal Evaluation and Verification of Probabilistic Design" t...
forsyte.at
(EC)2 2012: Workshop on Exploiting Concurrency Efficiently and Correctly | FORSYTE - Formal Methods in Systems Engineering
http://forsyte.at/ec2-2012
2012: Workshop on Exploiting Concurrency Efficiently and Correctly. July 7 and 8, 2012. Berkeley, California, USA. Collocated with CAV 2012. Location: EECS Department, Soda Hall, room 310 Soda. Lawrence Livermore National Laboratory. The workshop will include invited talks, presentations of position papers, and discussion periods. Prepare a 2-5 page position paper in PDF format using any tool you like. The title and the name of the authors should appear at the top of the first page. Submissions w...Final...
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Dr. Martin Wehrle Publications
http://ai.cs.unibas.ch/people/mwehrle/publications.html
Bachelor's and master's theses. Dr Martin Wehrle Publications. Graph-Based Factorization of Classical Planning Problems. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. In domain-independent planning, dependencies of operators and variables often prevent the effective application of planning techniques that rely on "loosely coupled" problems (like factored planning or partial order reduction). In this paper, we propose a generic approach for. Dominik W...
zvonimir.info
BOOGIE 2012: Second International Workshop on Intermediate Verification Languages
http://www.zvonimir.info/boogie2012
Berkeley, California, USA; July 8. The workshop will be held in Soda Hall. An intermediate verification language (IVL), like Boogie. The workshop is intended for topics related to any intermediate verification language, not just Boogie. We welcome submissions up to 12 pages. The accepted papers will be printed in informal proceedings distributed to the participants of the workshop. With the exception of survey and history papers, the papers should contain original work which has not been submitte...Langu...
cs.rice.edu
NSV 2012: Fifth International Workshop on Numerical Software Verification
http://www.cs.rice.edu/~swarat/NSV/12
NSV 2012: Fifth International Workshop on Numerical Software Verification. July 7-8, 2012. Berkeley, California, USA. Colocated with CAV 2012]. The scope of the workshop includes, but is not restricted to, the following topics:. Models and abstraction techniques for numerical programs. Formal specification, verification, and synthesis of numerical programs. Quality of finite precision implementations. Propagation of uncertainties, deterministic and probabilistic models. Call for inpromptu talks. Please r...
satassociation.org
Conferences
http://www.satassociation.org/conferences.html
DPLL, CDCL, SLS, GB, SMT, BDD, AIG, MAX-SAT, Equiv Check, Model Check, more . 25th Conf. on Computer Aided Verification (CAV). St Petersburg, Russia, July 13-19, 2013. To the conference website. 24th Conf. on Computer Aided Verification (CAV). U California, Berkeley, California, USA, July 7-13, 2012. To the conference website. 12th Conf. on Formal Methods in Computer-Aided Design (FMCAD). Microsoft Research, Cambridge, UK, October 22-25, 2012. To the conference website. To the conference website.
alcom.ee.ntu.edu.tw
Welcome to ALCom Lab Website
http://alcom.ee.ntu.edu.tw/publications.htm
Selected Recent Publications (under construction). Valeriy Balabanov, Magdalena Widl, and Jie-Hong R. Jiang. QBF Resolution Systems and their Proof Complexities. In Proc. International Conference on Theory and Applications of Satisfiability Testing. Vienna, Austria, July 2014. ( pdf. Tai-Yin Chiu, Ruei-Yang Huang, Hui-Ju K. Chiang, Jie-Hong R. Jiang, and Francois Fages. Configurable Linear Control of Biochemical Systems. In Proc. International Workshop on Bio-Design Automation. Ko-Lung Yuan, Chien-Yen Ku...
alcom.ee.ntu.edu.tw
Welcome to ALCom Lab Website
http://alcom.ee.ntu.edu.tw/system/news/news.php
Paper on "A General Framework for Efficient Performance Analysis of Acyclic Asynchronous Pipelines" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015. Paper on "SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015. 何欣諺、林碩紝、袁克倫榮獲 CAD Contest at ICCAD 2014. Paper on "Towards Formal Evaluation and Verification of Probabilistic Design" t...