EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Model-based system analysis using Chi and Uppaal: An industrial case study
Computers in Industry
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Using model checkers in an introductory course on operating systems
ACM SIGOPS Operating Systems Review
Robust safety of timed automata
Formal Methods in System Design
Model-checking Timed Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
A New Approach to Model Checking of UML State Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
FM '09 Proceedings of the 2nd World Congress on Formal Methods
From time Petri nets to timed automata: an untimed approach
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
UPPAAL-Tiga: time for playing games!
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Modelling and verification of the LMAC protocol for wireless sensor networks
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Timed control with observation based and stuttering invariant strategies
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Efficient on-the-fly emptiness check for timed Büchi automata
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Methodologies for specification of real-time systems using timed I/O automata
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Model-driven design-space exploration for embedded systems: the octopus toolset
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Verification of printer datapaths using timed automata
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Formal specification and analysis of zeroconf using uppaalS
ACM Transactions on Embedded Computing Systems (TECS)
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
An analytic evaluation of SystemC encodings in Promela
Proceedings of the 18th international SPIN conference on Model checking software
Coarse abstractions make zeno behaviours difficult to detect
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Event clock automata: from theory to practice
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
PRTS: an approach for model checking probabilistic real-time hierarchical systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Analysis of a clock synchronization protocol for wireless sensor networks
Theoretical Computer Science
Efficient emptiness check for timed büchi automata
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
SAT based bounded model checking with partial order semantics for timed automata
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Deterministic execution model on COTS hardware
ARCS'12 Proceedings of the 25th international conference on Architecture of Computing Systems
Efficient emptiness check for timed Büchi automata
Formal Methods in System Design
Symbolic model checking on SystemC designs
Proceedings of the 49th Annual Design Automation Conference
Towards model-based testing of electronic funds transfer systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Better Abstractions for Timed Automata
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
A model checker for hierarchical probabilistic real-time systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
A New Approach to Model Checking of UML State Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Guaranteeing robustness in a mobile learning application using formally verified MAPE loops
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
Lazy abstractions for timed automata
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
A symbolic model checking approach to verifying satellite onboard software
Science of Computer Programming
Model checking for probabilistic timed automata
Formal Methods in System Design
A Sweep-Line Method for Büchi Automata-based Model Checking
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Hi-index | 0.00 |
UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements and polish to the the easy to use graphical user interface, and is accompanied by several open source libraries. The tool and libraries are available free of charge for academic, educational and evaluation purposes from http://www.uppaal.com/. We describe three of the new features: User defined functions, priorities and symmetry reduction.