To appear |
- JOURNAL:
- Science of Computer Programming
|
- BOOKTITLE:
- Proceedings of the 11th International Workshop on Parallel and Distributed Methods in verifiCation ( PDMC 2012)
|
2012 |
- JOURNAL:
- Bioinformatics
- VOLUME:
- 28
- PAGES:
- 876-877
|
- JOURNAL:
- Journal of Computer and System Sciences
- VOLUME:
- 78
- PAGES:
- 430-440
|
- JOURNAL:
- Science of Computer Programming
- VOLUME:
- 77
- PAGES:
- 1095--1121
|
- JOURNAL:
- Reliability Engineering & System Safety (RESS)
- VOLUME:
- 105
- PAGES:
- 104-113
|
- JOURNAL:
- Electronic Communications of the EASST - Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVOCS 2011)
- VOLUME:
- 46
- PAGES:
- 1-15
|
- BOOKTITLE:
- Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)
- PAGES:
- 132-141
|
|
- BOOKTITLE:
- Proceedings of the 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012)
- PAGES:
- 150-159
|
- AUTHORS:
- Lahtinen Jussi,
- Launiainen Tuomas,
-
Heljanko Keijo,
- Ropponen Jonatan
|
2011 |
- JOURNAL:
- IET Computers & Digital Techniques
- VOLUME:
- 5
- PAGES:
- 479--492
|
- BOOKTITLE:
- Proceedings of the 12th Annual Bioinformatics Open Source Conference (BOSC 2011)
- PAGES:
- 1
|
- SERIES:
- Electronic Proceedings in Theoretical Computer Science
- VOLUME:
- 72
|
- BOOKTITLE:
- Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
- PAGES:
- 75-80
|
2010 |
- BOOKTITLE:
- Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD'2010)
- PAGES:
- 95--104
|
- BOOKTITLE:
- SPIN
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6349
- PAGES:
- 22-39
|
2009 |
- BOOKTITLE:
- Proceedings of the 8th International Workshop on Parallel and Distributed Methods in Verification (PDMC'09)
- SERIES:
- Electronic Proceedings in Theoretical Computer Science (EPTCS)
- VOLUME:
- 14
- PAGES:
- 62--76
|
- BOOKTITLE:
- Proceedings of the 9th International Workshop on Runtime Verification (RV'09)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5779
- PAGES:
- 93--100
|
- BOOKTITLE:
- Automaatio XVIII 2009 Seminaari
- PAGES:
- 1--1
|
|
|
- BOOKTITLE:
- Proceedings of the Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009
|
2008 |
- BOOKTITLE:
- Proceedings of the 35th International Colloquium on Automata, Languages, and Programming (ICALP'08), Part II
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5126
- PAGES:
- 410--422
|
- SERIES:
- EATCS Monographs in Theoretical Computer Science
- PAGES:
- 172
|
- BOOKTITLE:
- Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5051
- PAGES:
- 96--112
|
- BOOKTITLE:
- Enlarged Halden Programme Group Meeting -- Proceedings of the Man-Technology-Organisation Sessions
- PAGES:
- C4.2
|
|
|
2007 |
|
2006 |
- JOURNAL:
- Artificial Intelligence
- VOLUME:
- 170
- PAGES:
- 1031--1080
|
- BOOKTITLE:
- Proceedings of the 18th International Conference on Computer Aided Verification (CAV'2006)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4144
- PAGES:
- 95--108
|
- JOURNAL:
- Logical Methods in Computer Science
- VOLUME:
- 2
|
2005 |
- BOOKTITLE:
- Proceedings of the 17th International Conference on Computer Aided Verification (CAV'2005)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3576
- PAGES:
- 98--111
|
- JOURNAL:
- STTT - International Journal on Software Tools for Technology Transfer
- VOLUME:
- 7
- PAGES:
- 89--101
|
- BOOKTITLE:
- Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD'2005)
- PAGES:
- 78--87
|
- BOOKTITLE:
- Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'2005)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3385
- PAGES:
- 380--395
|
|
2004 |
- BOOKTITLE:
- Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3229
- PAGES:
- 307--319
|
- BOOKTITLE:
- Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD'04)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3312
- PAGES:
- 186--200
|
|
|
|
2003 |
- JOURNAL:
- Theory and Practice of Logic Programming
- VOLUME:
- 3
- PAGES:
- 519--550
|
- BOOKTITLE:
- Electronic Notes in Theoretical Computer Science
- VOLUME:
- 89
- PAGES:
- 561--577
|
- BOOKTITLE:
- Proceeding of the 3rd International Conference on Application of Concurrency to System Design (ACSD'2003)
- PAGES:
- 187--195
|
|
2002 |
- BOOKTITLE:
- Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2002)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 2280
- PAGES:
- 371--385
|
- JOURNAL:
- STTT - International Journal on Software Tools for Technology Transfer
- VOLUME:
- 4
- PAGES:
- 57--70
|
|
2001 |
- BOOKTITLE:
- Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'2001)
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 2173
- PAGES:
- 200--212
|
- BOOKTITLE:
- Proceedings of the 12th International Conference on Concurrency Theory (Concur'2001)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 2154
- PAGES:
- 218--232
|
- BOOKTITLE:
- Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'2001)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 2057
- PAGES:
- 37--56
|
- BOOKTITLE:
- Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning
- PAGES:
- 90--96
|
|
|
|
|
|
2000 |
- BOOKTITLE:
- Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP'2000)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 1853
- PAGES:
- 475--486
|
- JOURNAL:
- Fundamenta Informaticae
- VOLUME:
- 43
- PAGES:
- 175--193
|
- BOOKTITLE:
- Proceedings of the 11th International Conference on Concurrency Theory (Concur'2000)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 1877
- PAGES:
- 108--122
|
- BOOKTITLE:
- Proceedings of the 7th International SPIN Workshop on Model Checking of Software (SPIN'2000)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 1885
- PAGES:
- 54--72
|
|
- BOOKTITLE:
- Leksa Notes in Computer Science - Festschrift in Honour of Professor Leo Ojala
- PAGES:
- 7--19
|
1999 |
- JOURNAL:
- Fundamenta Informaticae
- VOLUME:
- 37
- PAGES:
- 247--268
|
- BOOKTITLE:
- Proceedings of 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 1579
- PAGES:
- 240--254
|
- BOOKTITLE:
- Proceedings of the Workshop Concurrency, Specification & Programming 1999
- PAGES:
- 107--118
|
|
- BOOKTITLE:
- Proceedings of the Workshop Concurrency, Specification & Programming 1999
- PAGES:
- 83--95
|
|
1998 |
- BOOKTITLE:
- Proceedings of the Workshop Concurrency, Specification & Programming 1998
- SERIES:
- Informatik-Bericht Nr. 110
- PAGES:
- 106--115
|
1997 |
- BOOKTITLE:
- Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 1254
- PAGES:
- 472--475
|
|
1996 |
- BOOKTITLE:
- Proceedings of the Workshop Concurrency, Specification & Programming 1996
- SERIES:
- Informatik-Bericht Nr. 69
- PAGES:
- 75--84
|