Tommi Junttila
Tommi Junttila
Email verificata su aalto.fi
Titolo
Citata da
Citata da
Anno
Engineering an efficient canonical labeling tool for large and sparse graphs
T Junttila, P Kaski
2007 Proceedings of the Ninth Workshop on Algorithm Engineering and …, 2007
2782007
Linear encodings of bounded LTL model checking
A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan
arXiv preprint cs/0611029, 2006
1872006
Simple bounded LTL model checking
T Latvala, A Biere, K Heljanko, T Junttila
International Conference on Formal Methods in Computer-Aided Design, 186-200, 2004
1082004
Efficient satisfiability modulo theories via delayed theory combination
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ...
International Conference on Computer Aided Verification, 335-349, 2005
1022005
M ath SAT: Tight Integration of SAT and Mathematical Decision Procedures
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
Journal of Automated Reasoning 35 (1), 265-293, 2005
972005
Incremental and complete bounded model checking for full PLTL
K Heljanko, T Junttila, T Latvala
International Conference on Computer Aided Verification, 98-111, 2005
952005
Efficient theory combination via boolean search
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P van Rossum, ...
Information and Computation 204 (10), 1493-1525, 2006
892006
An incremental and layered procedure for the satisfiability of linear arithmetic logic
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
International Conference on Tools and Algorithms for the Construction and …, 2005
872005
An incremental and layered procedure for the satisfiability of linear arithmetic logic
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
International Conference on Tools and Algorithms for the Construction and …, 2005
872005
Model checking dynamic and hierarchical UML state machines
T Jussila, J Dubrovin, T Junttila, T Latvala, I Porres, JKU Linz
Proc. MoDeV2a: Model Development, Validation and Verification, 94-110, 2006
852006
The mathsat 3 system
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
International Conference on Automated Deduction, 315-321, 2005
702005
Partitioning SAT instances for distributed solving
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Logic for Programming Artificial Intelligence …, 2010
602010
Symbolic model checking of hierarchical UML state machines
J Dubrovin, T Junttila
2008 8th International Conference on Application of Concurrency to System …, 2008
602008
Towards an efficient tableau method for Boolean circuit satisfiability checking
TA Junttila, I Niemelä
International Conference on Computational Logic, 553-567, 2000
602000
Simple is better: Efficient bounded model checking for past LTL
T Latvala, A Biere, K Heljanko, T Junttila
International Workshop on Verification, Model Checking, and Abstract …, 2005
582005
A distribution method for solving SAT in grids
AEJ Hyvärinen, T Junttila, I Niemelä
International conference on theory and applications of satisfiability …, 2006
552006
Unrestricted vs restricted cut in a tableau method for Boolean circuits
M Järvisalo, T Junttila, I Niemelä
Annals of Mathematics and Artificial Intelligence 44 (4), 373-399, 2005
542005
Limitations of restricted branching in clause learning
M Järvisalo, T Junttila
Constraints 14 (3), 325-356, 2009
502009
Grid-based SAT solving with iterative partitioning and clause learning
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Principles and Practice of Constraint …, 2011
472011
On the symmetry reduction method for Petri Nets and similar formalisms
T Junttila
Helsinki University of Technology, 2003
462003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20