Tommi Junttila

Vanhempi yliopistonlehtori

Tutkimustuotokset

  1. 2019
  2. Julkaistu

    An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., heinäkuuta 2019, julkaisussa : JOURNAL OF SYMBOLIC COMPUTATION. 99, s. 21-49

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2017
  4. Julkaistu

    An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. s. 101-118 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10491 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  5. 2013
  6. Julkaistu

    Bounded Model Checking of an MITL Fragment for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2013, 13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain. IEEE, s. 216-225

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  7. Julkaistu

    Simulating Parity Reasoning

    Laitinen, T., Junttila, T. & Niemelä, I., 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013. s. 568-583 (Lecture Notes in Computer Science; painos 8312).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  8. 2012
  9. Julkaistu

    Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2012, FMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012. Giese, H. & Rosu, G. (toim.). s. 84-100 (Lecture Notes in Computer Science; painos 7273).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  10. Julkaistu

    Classifying and Propagating Parity Constraints

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), Quebec City, Canada, October 8-12, 2012. Milano, M. (toim.). s. 357-372 (Lecture Notes in Computer Science; painos 7514).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  11. Julkaistu

    Conflict-Driven XOR-Clause Learning

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012. Cimatti, A. & Sebastiani, R. (toim.). s. 383-396 ( Lecture Notes in Computer Science; painos 7317).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  12. Julkaistu

    Exploiting step semantics for efficient bounded model checking of asynchronous systems

    Dubrovin, J., Junttila, T. & Heljanko, K., 2012, julkaisussa : Science of Computer Programming. 77, 10-11, s. 1095-1121

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  13. Julkaistu

    Extending Clause Learning SAT Solvers with Complete Parity Reasoning

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. IEEE, Vuosikerta 1. s. 65-72 8 Sivumäärä 6495030. (Proceedings-International Conference on Tools With Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  14. Julkaistu

    SMT-Based Induction Methods for Timed Systems

    Kindermann, R., Junttila, T. & Niemelä, I., 2012, 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, September 18-20, 2012. Jurdzinski, M. & Nickovic, D. (toim.). s. 171-187 (Lecture Notes in Computer Science; painos 7595).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  15. 2011
  16. Julkaistu

    Conflict Propagation and Component Recursion for Canonical Labeling

    Junttila, T. & Kaski, P., 2011, TAPAS Theory and Practice of Algorithms in (Computer) Systems, First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Marchetti-Spaccamela, A. & Segal, M. (toim.). s. 151-162

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  17. Julkaistu

    Efficient Model Checking of PSL Safety Properties

    Launiainen, T., Heljanko, K. & Junttila, T., 2011, julkaisussa : IET COMPUTERS AND DIGITAL TECHNIQUES. 5, 6, s. 479-492

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  18. Julkaistu

    Equivalence Class Based Parity Reasoning with DPLL(XOR)

    Laitinen, T., Junttila, T. & Niemelä, I., 2011, 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011). Khoshgoftaar, T. M. & Zhu, X. (toim.). IEEE, s. 649-658 (International Conference on Tools with Artificial Intelligence. Proceedings).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  19. Julkaistu

    Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2011, 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. s. 385-399 (Lecture Notes in Computer Science; painos 6876).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  20. Julkaistu

    Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks

    Kindermann, R., Junttila, T. & Niemelä, I., 2011, 11th International Conference on Application of Concurrency to System Designg, (ACSD 2011). IEEE, s. 185-194 (International Conference on Application of Concurrency to System Design. Proceedings ).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  21. Julkaistu

    Partitioning Search Spaces of a Randomized Search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2011, julkaisussa : Fundamenta Informaticae. 107, 2-3, s. 289-311

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  22. 2010
  23. Julkaistu

    Efficient Model Checking of PSL Safety Properties

    Launiainen, T., Heljanko, K. & Junttila, T., 2010, The 10th International Conference on Application of Concurrency to System Design (ACSD'2010). Braga, s. 95-104

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  24. Julkaistu

    Exact cover via satisfiability: an empirical study

    Junttila, T. & Kaski, P., 2010, 16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September6-10). Cohen, D. (toim.). s. 297-304

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  25. Julkaistu

    Extending Clause Learning DPLL with Parity Reasoning

    Laitinen, T., Junttila, T. A. & Niemelä, I., 2010, 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Coelho, H., Studer, R. & Wooldridge, M. (toim.). IOS PRESS, s. 21-26 (Frontiers in Artificial Intelligence and Applications; painos 215).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  26. Julkaistu

    Partitioning SAT Instances for Distributed Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Fermüller, C. G. & Voronkov, A. (toim.). s. 372-386 15 Sivumäärä (Lecture Notes in Computer Science; painos 6397 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  27. 2009
  28. Julkaistu

    Incorporating Clause Learning in Grid-Based Randomized SAT Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2009, julkaisussa : Journal of Satisfiability, Boolean Modeling and Computation. 6, s. 223-244

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  29. Julkaistu

    Limitations of Restricted Branching in Clause Learning

    Järvisalo, M. & Junttila, T., 2009, julkaisussa : Constraints. 14, 3, s. 325-356

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  30. Julkaistu

    Non-Clausal SAT and ATPG

    Drechsler, R., Junttila, T. & Niemelä, I., 2009, Handbook of Satisfiability. Biere, A., Heule, M. J. H., van Maaren, H. & Walsh, T. (toim.). IOS PRESS, s. 655-693 39 Sivumäärä (Frontiers in Artificial Intelligence and Applications; painos 185, nro 1).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  31. Julkaistu

    Partitioning Search Spaces of a Randomized Search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2009, AI*IA 2009: Emergent Perspectives in Artificial Intelligence : XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings. Serra, R. & Cucchiara, R. (toim.). s. 243-252 (Lecture Notes in Computer Science ; painos 5883).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  32. Julkaistu

    Partitioning Search Spaces of a Randomized Search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2009, Espoo. 22 Sivumäärä (TKK reports in information and computer science; nro TKK-ICS-R22)

    Tutkimustuotos: Kirja

  33. Julkaistu

    Structure-Aware Computation of Predicate Abstraction

    Cimatti, A., Dubrovin, J., Junttila, T. & Roveri, M., 2009, The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09). Biere, A. & Pixley, C. (toim.). IEEE, s. 9-16

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  34. 2008
  35. Julkaistu

    Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking

    Junttila, T. & Dubrovin, J., 2008, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08). Cervesato, I., Veith, H. & Voronkov, A. (toim.). s. 290-304

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  36. Julkaistu

    Incorporating Learning in Grid-Based Randomized SAT Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2008, Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Dochev, D., Pistore, M. & Traverso, P. (toim.). s. 247-261 (Lecture Notes in Computer Science ; painos 5253).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  37. Julkaistu

    Justification-Based Local Search with Adaptive Noise Strategies

    Järvisalo, M., Junttila, T. & Niemelä, I., 2008, Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (toim.). s. 31-46 (Lecture Notes in Computer Science ; painos 5330).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  38. Julkaistu

    Justification-Based Non-Clausal Local Search for SAT

    Järvisalo, M., Junttila, T. & Niemelä, I., 2008, ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. Ghallab, M., Spyropoulos, C. D., Fanotakis, N. & Avoukis, N. (toim.). IOS PRESS, s. 535-539 (Frontiers in Artificial Intelligence and Applications; painos 178).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  39. Julkaistu

    On the power of top-down branching heuristics

    Järvisalo, M. & Junttila, T., 2008, 23rd AAAI Conference on Artificial Intelligence, Chicago, Illinois, USA, July 13-17, 2008. AAAI PRESS, s. 304-309

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  40. Julkaistu

    Strategies for Solving SAT in Grids by randomized search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2008, Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (toim.). s. 125-140 (Lecture Notes in Computer Science; painos 5144).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  41. Julkaistu

    Symbolic Model Checking of Hierarchical UML State Machines

    Dubrovin, J. & Junttila, T., 2008, The 8th International Conference on Application of Concurrency to System Design (ACSD'08). Billington, J., Duan, Z. & Koutny, M. (toim.). IEEE Press, s. 108-117

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  42. Julkaistu

    Symbolic Step Encodings for Object Based Communicating State Machines

    Dubrovin, J., Junttila, T. & Heljanko, K., 2008, Formal Methods for Open Object-based Distributed Systems (FMOODS'08). Barthe, G. & de Boer, F. S. (toim.). Oslo, Norway, s. 96-112

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  43. 2007
  44. Julkaistu

    Engineering an efficient canonical labeling tool for large and sparse graphs

    Junttila, T. & Kaski, P., 2007, The Ninth Workshop on Algorithm Engineering and Experiments and the Fourth Workshop on Analytic Algorithms and Combinatorics. Applegate, D., Brodat, G. S., Panario, D. & Sedgewick, R. (toim.).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  45. Julkaistu

    Limitations of Restricted Branching in Clause Learning

    Järvisalo, M. & Junttila, T., 2007, 13th International Conference on Principles and Practice of Constraint Programming (CP'07), Providence, Rhode Island, USA, 23-27.9.2007. Bessiere, C. (toim.). s. 348-363

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  46. Julkaistu

    PySMT version 0.50 - a Python front-end for satisfiability modulo theories solvers

    Junttila, T., 2007

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu

  47. Julkaistu

    SMUML/proco version 2.00 - a translator from UML models to Promela

    Junttila, T., 2007

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu

  48. Julkaistu

    Symbolic Model Checking of Hierarchical UML State Machines

    Dubrovin, J. & Junttila, T., 2007, Espoo, (Helsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports; nro B23).

    Tutkimustuotos: Työpaperi

  49. Julkaistu

    Symbolic Step Encodings for Object Based Communicating State Machines

    Dubrovin, J., Junttila, T. & Heljanko, K., 2007, Espoo, (Helsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports; nro B24).

    Tutkimustuotos: Työpaperi

  50. 2006
  51. Julkaistu

    A Distribution Method for Solving SAT in Grids

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2006, Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings. Biere, A. & P. Gomes, C. (toim.). s. 430-435 (Lecture Notes in Computer Science ; painos 4121).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  52. Julkaistu

    BC package - tools for constrained Boolean circuits

    Junttila, T., 2006

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu

  53. Julkaistu

    bliss- a canonical labeling tool for graphs

    Junttila, T., 2006

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu

  54. Julkaistu

    Bounded Model Checking for Weak Alternating Buchi Automata

    Heljanko, K., Junttila, T., Keinänen, M., Lange, M. & Latvala, T., 2006, Computer Aided Verification 2006, Seattle, WA, USA, 17.-20.8.2006. Ball, T. & Jones, R. B. (toim.). s. 95-108

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  55. Julkaistu

    Efficient theory combination via boolean search

    Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., Ranise, S., van Rossum, P. & Sebastiani, R., 2006, julkaisussa : Information and Computation. 204, 10, s. 1493-1525

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  56. Julkaistu

    Linear Encodings of Bounded LTL Model Checking

    Biere, A., Heljanko, K., Junttila, T., Latvala, T. & Schuppan, V., 2006, julkaisussa : LOGICAL METHODS IN COMPUTER SCIENCE. 2, 5:5, s. 1-64

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  57. Julkaistu

    MathSAT: Tight Integration of SAT and mathematical decision procedures

    Junttila, T., Bozzano, M., Bruttomesso, R., Cimatti, A., van Rossum, P., Schulz, S. & Sebastiani, R., 2006, SAT 2005; Satisfiability Research in the Year 2005. Giunchiglia, E. & Walsh, T. (toim.). Berlin, s. 265-293

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  58. Julkaistu

    Model Checking Dynamic and Hierarchical UML State Machines

    Jussila, T., Dubrovin, J., Junttila, T., Latvala, T. & Porres, I., 2006, 3rd Workshop on Model Design and Validation (MoDeVa 2006), Genova, Italy, October 2nd 2006. s. 94-110

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  59. Julkaistu

    NuSMV-2.3.99-CAV2006

    Latvala, T. & Junttila, T., 2006

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu

  60. 2005
  61. Julkaistu

    An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic

    Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., van Rossum, P., Schulz, S. & Sebastiani, R., 2005, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), April 4-8, 2005, Edinburgh, U.K.. Halbwachs, N. & Zuck, L. (toim.). s. 317-333

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Edellinen 1 2 Seuraava

ID: 101658