Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1472
search results - page 29 / 295
»
On Model Checking Infinite-State Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
169
click to vote
CAV
2005
Springer
101
views
Hardware
»
more
CAV 2005
»
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
16 years 12 days ago
Download
cs.nyu.edu
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...
claim paper
Read More »
165
click to vote
FOSSACS
2005
Springer
106
views
Software Engineering
»
more
FOSSACS 2005
»
Model Checking Durational Probabilistic Systems
16 years 12 days ago
Download
www.lsv.ens-cachan.fr
François Laroussinie, Jeremy Sproston
claim paper
Read More »
132
click to vote
AMAST
2004
Springer
85
views
Software Engineering
»
more
AMAST 2004
»
Model-Checking Systems with Unbounded Variables without Abstraction
16 years 8 days ago
Download
users-tima.imag.fr
Magali Contensin, Laurence Pierre
claim paper
Read More »
135
click to vote
FATES
2004
Springer
86
views
Software Engineering
»
more
FATES 2004
»
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
16 years 7 days ago
Download
www.eecs.wsu.edu
Gaoyan Xie, Zhe Dang
claim paper
Read More »
150
click to vote
FDL
2003
IEEE
101
views
Natural Language Processing
»
more
FDL 2003
»
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
16 years 5 days ago
Download
www.c-lab.de
Alexander Krupp, Wolfgang Müller 0003
claim paper
Read More »
« Prev
« First
page 29 / 295
Last »
Next »
