No photo of Tommi Junttila

Tommi Junttila

  • Phone+358504300861
  • Aalto SCI Computer Science Konemiehentie 2

19982022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference article in proceedings

Search results

  • 2022

    Formal Analysis of Lending Pools in Decentralized Finance

    Bartoletti, M., Chiang, J., Junttila, T., Lluch Lafuente, A., Mirelli, M. & Vandin, A., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 335-355 21 p. (Lecture Notes in Computer Science ; vol. 13703 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Open Access
    3 Citations (Scopus)
  • 2017

    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. Springer, p. 101-118 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10491 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    1 Citation (Scopus)
  • 2013

    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, p. 216-225

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    9 Citations (Scopus)
  • 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. Springer, p. 568-583 (Lecture Notes in Computer Science; vol. 8312).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    1 Citation (Scopus)
  • 2012

    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. (eds.). Springer, p. 84-100 (Lecture Notes in Computer Science; vol. 7273).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    15 Citations (Scopus)
  • 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. (ed.). Springer, p. 357-372 (Lecture Notes in Computer Science; vol. 7514).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    6 Citations (Scopus)
  • 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. (eds.). Springer, p. 383-396 ( Lecture Notes in Computer Science; vol. 7317).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    10 Citations (Scopus)
  • 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, Vol. 1. p. 65-72 8 p. 6495030. (Proceedings-International Conference on Tools With Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    10 Citations (Scopus)
  • 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. (eds.). Springer, p. 171-187 (Lecture Notes in Computer Science; vol. 7595).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    22 Citations (Scopus)
  • 2011

    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. (eds.). Springer, p. 151-162

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    32 Citations (Scopus)
  • 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. (eds.). IEEE, p. 649-658 (International Conference on Tools with Artificial Intelligence. Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    11 Citations (Scopus)
  • 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. Springer, p. 385-399 (Lecture Notes in Computer Science; vol. 6876).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    25 Citations (Scopus)
  • 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, p. 185-194 (International Conference on Application of Concurrency to System Design. Proceedings ).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    6 Citations (Scopus)
  • 2010

    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, p. 95-104

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    9 Citations (Scopus)
  • 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. (ed.). Springer, p. 297-304

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    8 Citations (Scopus)
  • 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. (eds.). IOS Press, p. 21-26 (Frontiers in Artificial Intelligence and Applications; vol. 215).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    16 Citations (Scopus)
  • 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. (eds.). Springer, p. 372-386 15 p. (Lecture Notes in Computer Science; vol. 6397 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    41 Citations (Scopus)
  • 2009

    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. (eds.). Springer, p. 243-252 (Lecture Notes in Computer Science ; vol. 5883).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    7 Citations (Scopus)
  • 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. (eds.). IEEE, p. 9-16

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    13 Citations (Scopus)
  • 2008

    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. (eds.). Springer, p. 290-304

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    3 Citations (Scopus)
  • 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. (eds.). Springer, p. 247-261 (Lecture Notes in Computer Science ; vol. 5253).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    8 Citations (Scopus)
  • 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. (eds.). Springer, p. 31-46 (Lecture Notes in Computer Science ; vol. 5330).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    6 Citations (Scopus)
  • 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. (eds.). IOS Press, p. 535-539 (Frontiers in Artificial Intelligence and Applications; vol. 178).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

  • 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, p. 304-309

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    5 Citations (Scopus)
  • 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. (eds.). Springer, p. 125-140 (Lecture Notes in Computer Science; vol. 5144).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    7 Citations (Scopus)
  • 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. (eds.). IEEE, p. 108-117

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    25 Citations (Scopus)
  • 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. (eds.). Oslo, Norway: Springer Gabler , p. 96-112

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    10 Citations (Scopus)
  • 2007

    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. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    178 Citations (Scopus)
  • 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. (ed.). Springer, p. 348-363

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    8 Citations (Scopus)
  • 2006

    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. (eds.). Springer, p. 430-435 (Lecture Notes in Computer Science ; vol. 4121).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    30 Citations (Scopus)
  • 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. (eds.). Springer, p. 95-108

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    23 Citations (Scopus)
  • 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. p. 94-110

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

  • 2005

    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. (eds.). Springer, p. 317-333

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    50 Citations (Scopus)
  • Efficient Satisfiability Modulo Theories via Delayed Theory Combination

    Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., Ranise, S., van Rossum, P. & Sebastiani, R., 2005, Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005. Etessami, K. & Rajamani, S. K. (eds.). Springer, p. 335-349

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    46 Citations (Scopus)
  • Incremental and Complete Bounded Model Checking for Full PLTL

    Heljanko, K., Junttila, T. & Latvala, TI., 2005, Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005. Etessami, K. & Rajamani, S. K. (eds.). Springer, p. 98-111

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    61 Citations (Scopus)
  • Simple is Better: Efficient Bounded Model Checking for Past LTL

    Latvala, T., Biere, A., Heljanko, K. & Junttila, T., 2005, Verification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005. Radhia, C. (ed.). Berlin: Springer, p. 380-395

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    30 Citations (Scopus)
  • The MathSAT 3 system

    Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., van Rossum, P., Schulz, S. & Sebastiani, R., 2005, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Nieuwenhuis, R. (ed.). p. 315-321

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    33 Citations (Scopus)
  • 2004

    New Canonical Representative Marking Algorithms for Place/Transition-Nets

    Junttila, T., 2004, Application and Theory of Petri Nets 2004, Bologna, Italy, June 2004. Cortadella, J. & Reising, W. (eds.). Springer, p. 258-277

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    7 Citations (Scopus)
  • New Orbit Algorithms for Data Symmetries

    Junttila, T., 2004, Application of Concurrency to System Design 2004, Hamilton, Canada, June 2004. IEEE, p. 175-184

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    2 Citations (Scopus)
  • Simple Bounded LTL Model Checking

    Latvala, T., Biere, A., Heljanko, K. & Junttila, T., 2004, Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004. Hu, A. J. & Martin, A. K. (eds.). Berliini, Saksa: Springer, p. 186-200

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

  • Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

    Järvisalo, M., Junttila, T. & Niemelä, I., 2004, Eighth International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, USA, 4.-6.1.2004.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

  • 2000

    Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking

    Junttila, T. & Niemelä, I., 2000, 1st International Conference on Computational Logic, CL 2000, London, UK, July 24–28, 2000. Proceedings: Putting Theory into Practice. Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K., Palamidessi, C., Pereira, L., Sagiv, Y. & Stuckey, P. (eds.). Berlin, Germany: Springer, p. 553-567 (Lecture Notes in Computer Science ; vol. 1861).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    31 Citations (Scopus)
  • 1998

    Towards Well-Formed Algebraic System Nets

    Junttila, T., 1998, Workshop Concurrency, Specification & Programming. Starke, P. (ed.). Berlin: Humboldt University of Berlin, p. 116-127

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Your message has successfully been sent.
Your message was not sent due to an error.