Showing
1 - 6
results of
6
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Leungwattanakit, W.
Search Results - Leungwattanakit, W.
Showing
1 - 6
results of
6
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Modular Software Model Checking for Distributed Systems
by
Leungwattanakit, Watcharin
,
Artho, Cyrille
,
Hagiya, Masami
,
Tanabe, Yoshinori
,
Yamamoto, Mitsuharu
,
Takahashi, Koichi
Published in
IEEE transactions on software engineering
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Model checking distributed systems by combining caching and process checkpointing
by
Leungwattanakit, Watcharin
,
Artho, Cyrille
,
Hagiya, Masami
,
Tanabe, Yoshinori
,
Yamamoto, Mitsuharu
Request full text
Conference Proceeding
Save to List
Saved in:
3
Loading…
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
by
Artho, C.
,
Leungwattanakit, W.
,
Hagiya, M.
,
Tanabe, Y.
,
Yamamoto, M.
Request full text
Conference Proceeding
Save to List
Saved in:
4
Loading…
Verifying networked programs using a model checker extension
by
Leungwattanakit, W.
,
Artho, C.
,
Hagiya, M.
,
Tanabe, Y.
,
Yamamoto, M.
Request full text
Conference Proceeding
Save to List
Saved in:
5
Loading…
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs
by
Artho, C.
,
Leungwattanakit, W.
,
Hagiya, M.
,
Tanabe, Y.
Request full text
Conference Proceeding
Save to List
Saved in:
6
Loading…
Tools and Techniques for Model Checking Networked Programs
by
Artho, C.
,
Leungwattanakit, W.
,
Hagiya, M.
,
Tanabe, Y.
Request full text
Conference Proceeding
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
1 results
1
Full Text
6 results
6
Format
Conference Proceedings
5 results
5
Articles
1 results
1
Journal Title
Ieee Transactions On Software Engineering
1 results
1
Subjects
Computer Science
5 results
5
Computer Science, Software Engineering
5 results
5
Science & Technology
5 results
5
Software Model Checking
5 results
5
Technology
5 results
5
Java
4 results
4
Software Verification
4 results
4
Software
3 results
3
Space Exploration
3 results
3
Application Software
2 results
2
Caching
2 results
2
Checkpointing
2 results
2
Computational Modeling
2 results
2
Computer Science, Artificial Intelligence
2 results
2
Computer Science, Hardware & Architecture
2 results
2
Computer Science, Information Systems
2 results
2
Computer Science, Theory & Methods
2 results
2
Distributed Systems
2 results
2
Engineering
2 results
2
Engineering, Electrical & Electronic
2 results
2
Year of Publication
From:
To:
Source
Ieee Electronic Library (Iel) Conference Proceedings
5 results
5
Acm Digital Library
3 results
3
Ieee Xplore All Conference Series
3 results
3
Science Citation Index Expanded (Web Of Science)
1 results
1
Ieee Electronic Library (Iel) Journals
1 results
1
Ieee Xplore All Journals
1 results
1
Abi/Inform Global
1 results
1