Concepedia

Tommi Junttila

TJ

17

Publications

670

Citations

12

H-Index

2003

Active since

Affiliations

Aalto University(Current)

Helsinki Institute of Physics

University of Trento

Construction Technologies Institute

Tommi Junttila is an author at Aalto University specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSoftware AnalysisSystems EngineeringComputer EngineeringProgram Analysis

Publications per year

2003–2013

17

Publications

17

Linear Encodings of Bounded LTL Model Checking

Armin Biere, Keijo Heljanko, Tommi Junttila et al. · Logical Methods in Computer Science · 2006 · 223 citations · Full text

Engineering, Verification, Computer-aided Verification +17

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Journal of Automated Reasoning · 2005 · 77 citations

Mathematical Programming, Decision Procedure, Engineering +6

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Information and Computation · 2006 · 64 citations

Circuit Complexity, Engineering, Boolean Function +7

Model Checking Dynamic and Hierarchical UML State Machines

Toni Jussila, Jori Dubrovin, Tommi Junttila et al. · 2006 · 48 citations

Engineering, Verification, Software Engineering +21

Symbolic model checking of hierarchical UML state machines

Jori Dubrovin, Tommi Junttila · 2008 · 43 citations

Engineering, Verification, Computer Architecture +17

Rows per page

1–5 of 17