|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 11 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala |
Derivation and Formal Verification of a Mode Logic for Layered Control Systems.  |
APSEC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
Developing Mode-Rich Satellite Software by Refinement in Event B. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala |
Verifying Mode Consistency for On-Board Satellite Software. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
Supporting Reuse in Event B Development: Modularisation Approach. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh K. Karmani, Timo Latvala, Gul Agha |
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. |
SASO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan |
Linear Encodings of Bounded LTL Model Checking. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan |
Linear Encodings of Bounded LTL Model Checking |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala |
Bounded Model Checking for Weak Alternating Büchi Automata. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV |
| 1 | Yaniv Eytani, Timo Latvala |
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
Concurrent debugging, scheduling noise, Java, testing |
| 1 | Keijo Heljanko, Tommi A. Junttila, Timo Latvala |
Incremental and Complete Bounded Model Checking for Full PLTL. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
PLTL, Complete, Bounded Model Checking, Incremental, NuSMV |
| 1 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Is Better: Efficient Bounded Model Checking for Past LTL. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
Past LTL, Bounded Model Checking, NuSMV |
| 1 | Timo Latvala, Heikki Tauriainen |
Improved On-the-fly Verification with Testers. |
Nord. J. Comput. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Timo Latvala, Marko Mäkelä |
LTL Model Checking for Modular Petri Nets. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Bounded LTL Model Checking. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
linear translation, bounded model checking, LTL, NuSMV |
| 1 | Timo Latvala |
Efficient Model Checking of Safety Properties. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Latvala |
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
Model checking, fairness, high-level Petri Nets, LTL |
| 1 | Timo Latvala, Keijo Heljanko |
Coping With Strong Fairness. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")