Lista publikacji


Autor: A. B. Autor1 and C. Autor2 and D. Autor3
Tytuł: Tytul Publikacji i np. {CTL}
Rok: 1992
Abstract:
Autor: A. B. Autor1 and C. D. Autor2 and D. Autor3
Tytuł: Tytul Publikacji i np. {CTL}
Rok: 19xx
Abstract:
Autor: E. A. Autor1 and E. F. Autor2 and A. Autor3
Tytuł: Tytul Publikacji i ew. {CTL}
Rok: 19xx
Abstract:
Autor: A. B. Autor1 and C. D. Autor2 and D. Autor3
Tytuł: Tytul Publikacji i np. {CTL}
Rok: 19xx
Abstract:
Autor: T. A. Autor
Tytuł: tytul {CTL}
Rok: 19xx
Abstract:
Autor: Charles Louis Xavier Joseph de la Vall{'e}e Poussin
Tytuł:
Rok:
Abstract:
Autor: {W. van der} Aalst
Tytuł: Interval Timed Coloured {P}etri Nets and their Analysis
Rok: 1993
Abstract:
Autor: M. Abadi and L. Lamport
Tytuł: An Old-Fashioned Recipe for Real Time
Rok: 1991
Abstract:
Autor: P. A. Abdulla and P. Bjesse and N. E'{e}n
Tytuł: Symbolic Reachability Analysis Based on {SAT}-Solvers
Rok: 2000
Abstract:
Autor: P. A. Abdulla and A. Nyl{'e}n
Tytuł: Timed {P}etri Nets and {BQOs}
Rok: 2001
Abstract:
Autor: R. Alur and C. Courcoubetis and D. Dill
Tytuł: Model Checking for Real-Time Systems
Rok: 1990
Abstract:
Autor: R. Alur and D. Dill
Tytuł: Automata for Modelling Real-Time Systems
Rok: 1990
Abstract:
Autor: R. Alur and C. Courcoubetis and D. Dill and N. Halbwachs and H. Wong-Toi
Tytuł: Minimization of Timed Transition Systems
Rok: 1992
Abstract:
Autor: R. Alur and C. Courcoubetis and D. Dill and N. Halbwachs and H. Wong-Toi
Tytuł: An Implementation of Three Algorithms for Timing Verification Based on A...
Rok: 1992
Abstract:
Autor: R. Alur and T. Henzinger
Tytuł: Logics and Models of Real Time: A Survey
Rok: 1992
Abstract:
Autor: R. Alur and C. Courcoubetis and D. Dill
Tytuł: Model Checking in Dense Real-Time
Rok: 1993
Abstract:
Autor: R. Alur and D. Dill
Tytuł: A Theory of Timed Automata
Rok: 1994
Abstract:
Autor: R. Alur and D. Peled and W. Penczek
Tytuł: Model Checking of Causality Properties
Rok: 1995
Abstract:
Autor: R. Alur and D. Dill
Tytuł: Automata-Theoretic Verification of Real-Time Systems
Rok: 1996
Abstract:
Autor: R. Alur and T. Feder and T. Henzinger
Tytuł: The Benefits of Relaxing Punctuality
Rok: 1996
Abstract:
Autor: R. Alur and T. Henzinger and P. Ho
Tytuł: Automatic Symbolic Verification of Embedded Systems
Rok: 1996
Abstract:
Autor: R. Alur and R. Kurshan
Tytuł: Timing Analysis in {COSPAN}
Rok: 1996
Abstract:
Autor: R. Alur and R. Brayton and T. Henzinger and S. Qadeer and S. Ramajani
Tytuł: Partial Order Reduction in Symbolic State-Space Exploration
Rok: 1997
Abstract:
Autor: R. Alur and T. Henzinger
Tytuł: Modularity for Timed and Hybrid Systems
Rok: 1997
Abstract:
Autor: R. Alur and T. Henzinger and O. Kupferman
Tytuł: Alternating-Time Temporal Logic
Rok: 1997
Abstract:
Autor: R. Alur
Tytuł: Timed Automata
Rok: 1998
Abstract:
Autor: R. Alur and T. Henzinger and O. Kupferman
Tytuł: Alternating-Time Temporal Logic
Rok: 1998
Abstract:
Autor: R. Alur and T. Henzinger and F. Mang and S. Qadeer and S. Rajamani and S...
Tytuł: {MOCHA}: Modularity in Model Checking
Rok: 1998
Abstract:
Autor: R. Alur
Tytuł: Timed Automata
Rok: 1999
Abstract:
Autor: R. Alur and T. Henzinger and O. Kupferman
Tytuł: Alternating-Time Temporal Logic
Rok: 2002
Abstract:
Autor: S. Ambroszkiewicz and O. Matyja and W. Penczek
Tytuł: Team Formation by Self-Interested Mobile Agent
Rok: 1999
Abstract:
Autor: C. Amer-Yahia and N. Zerhouni and A. El Moundi and M. Ferney
Tytuł: On Finding Deadlocks and Traps in {P}etri Nets
Rok: 1999
Abstract:
Autor: N. Amla and R. Kurshan and K. McMillan and R. Medel
Tytuł: Experimental Analysis of Different Techniques for Bounded Model Checking
Rok: 2003
Abstract:
Autor: T. Amnell and G. Behrmann and J. Bengtsson and P. D'Argenio and A. Davi...
Tytuł: {{U}{sc ppaal}} - Now, Next, and Future
Rok: 2001
Abstract:
Autor: H. Andersen and H. Hulgaard
Tytuł: Boolean Expression Diagrams
Rok: 1997
Abstract:
Autor: E. Asarin and M. Bozga and A. Kerbrat and O. Maler and A. Pnueli and A....
Tytuł: Data-Structures for the Verification of Timed Automata
Rok: 1997
Abstract:
Autor: G. Audemard and P. Bertoli and A. Cimatti and A. Kornilowicz and R. Seba...
Tytuł: A {SAT} Based Approach for Solving Formulas over Boolean and Linear Math...
Rok: 2002
Abstract:
Autor: G. Audemard and A. Cimatti and A. Kornilowicz and R. Sebastiani
Tytuł: Bounded Model Checking for Timed Systems
Rok: 2002
Abstract:
Autor: A. Aziz and T. R. Shiple and V. Singhal and A. L. Sangiovanni-Vincentelli
Tytuł: Formula-Dependent Equivalence for Compositional {CTL} Model Checking
Rok: 1994
Abstract:
Autor: K. Barkaoui and J-F. Pradat-Peyre
Tytuł: Verification in Concurrent Programming with {P}etri Nets Structural Tech...
Rok: 1998
Abstract:
Autor: K. Bartlett and R. Scantlebury and P. Wilkinson
Tytuł: A Note on Reliable Full-Duplex Transmission over Half-Duplex Links
Rok: 1969
Abstract:
Autor: G. Behrmann and K. G. Larsen and J. Pearson and C. Weise and W. Yi
Tytuł: Efficient Timed Reachability Analysis Using {C}lock {D}ifference {D}iagrams
Rok: 1999
Abstract:
Autor: G. Behrmann and P. Bouyer and E. Fleury and K. G. Larsen
Tytuł: Static Guard Analysis in Timed Automata Verification
Rok: 2003
Abstract:
Autor: G. Behrmann and P. Bouyer and K. G. Larsen and R. Pel{'a}nek
Tytuł: Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
Rok: 2004
Abstract:
Autor: N. Belnap
Tytuł: A Useful Four-Valued Logic
Rok: 1978
Abstract:
Autor: M. Ben-Ari and A. Pnueli and Z. Manna
Tytuł: The Temporal Logic of Branching Time
Rok: 1983
Abstract:
Autor: M. Benedetti and A. Cimatti
Tytuł: Bounded Model Checking for {P}ast {LTL}
Rok: 2003
Abstract:
Autor: M. Benerecetti and F. Giunchiglia and L. Serafini
Tytuł: Model Checking Multiagent Systems
Rok: 1998
Abstract:
Autor: M. Benerecetti and F. Giunchiglia and M. Panti and L. Spalazzi
Tytuł: A Logic of Belief and a Model Checking Algorithm for Security Protocols
Rok: 2000
Abstract:
Autor: M. Benerecetti and A. Cimatti
Tytuł: Symbolic Model Checking for Multi-Agent Systems
Rok: 2001
Abstract:
Autor: J. Bengtsson and B. Jonsson and J. Lilius and W. Yi
Tytuł: Partial Order Reductions for Timed Systems
Rok: 1998
Abstract:
Autor: J. Bengtsson and W. Yi
Tytuł: On Clock Difference Constraints and Termination in Reachability Analysis...
Rok: 2003
Abstract:
Autor: J. Bengtsson and W. Yi
Tytuł: Timed Automata: Semantics, Algorithms and Tools
Rok: 2004
Abstract:
Autor: B. B{'e}rard and L. Fribourg
Tytuł: Reachability Analysis of (Timed) {P}etri Nets Using Real Arithmetic
Rok: 1999
Abstract:
Autor: B. B{'e}rard and F. Cassez and S. Haddad and D. Lime and O. H. Roux
Tytuł: Comparison of the Expressiveness of Timed Automata and Time {P}etri Nets
Rok: 2005
Abstract:
Autor: O. Bernholtz and M. Vardi and P. Wolper
Tytuł: An Automata-Theoretic Approach to Branching-Time Model Checking
Rok: 1994
Abstract:
Autor: B. Berthomieu and M. Menasche
Tytuł: An Enumerative Approach for Analyzing Time {P}etri Nets
Rok: 1983
Abstract:
Autor: B. Berthomieu and M. Diaz
Tytuł: Modeling and Verification of Time Dependent Systems Using Time {P}etri Nets
Rok: 1991
Abstract:
Autor: B. Berthomieu
Tytuł: The {Tina} V2 Toolbox
Rok: 2001
Abstract:
Autor: B. Berthomieu and F. Vernadat
Tytuł: State Class Constructions for Branching Analysis of Time {P}etri Nets
Rok: 2003
Abstract:
Autor: E. Best and R. Devillers
Tytuł: Sequential and Concurrent Behaviour in {P}etri Net Theory
Rok: 1987
Abstract:
Autor: D. Beyer
Tytuł: Rabbit: Verification of Real-Time Systems
Rok: 2001
Abstract:
Autor: D. Beyer
Tytuł: Improvements in {BDD}-based Reachability Analysis of Timed Automata
Rok: 2002
Abstract:
Autor: D. Beyer
Tytuł: Efficient Reachability Analysis and Refinement Checking of Timed Automata Using {BDD}s
Rok: 2002
Abstract:
Autor: B. Bieber and H. Fleischhack
Tytuł: Model Checking of Time {P}etri Nets Based on Partial Order Semantics
Rok: 1999
Abstract:
Autor: A. Biere and A. Cimatti and E. Clarke and Y. Zhu
Tytuł: Symbolic Model Checking without {BDD}s
Rok: 1999
Abstract:
Autor: A. Biere and A. Cimatti and E. Clarke and M.Fujita and Y. Zhu
Tytuł: Symbolic Model Checking Using {SAT} Procedures Instead of {BDD}s
Rok: 1999
Abstract:
Autor: A. Biere and E. Clarke and R. Raimi and Y. Zhu
Tytuł: Verifying Safety Properties of a {P}ower{PC} Microprocessor Using Symbol...
Rok: 1999
Abstract:
Autor: P. Bjesse and C. Claessen
Tytuł: {SAT}-Based Verification without State Space Traversal
Rok: 2000
Abstract:
Autor: A. Bobbio and A. Horv{' a}th
Tytuł: Model Checking Time {P}etri Nets using {NuSMV}
Rok: 2001
Abstract:
Autor: T. Bolognesi and E. Brinksma
Tytuł: Introduction to the {ISO} Specification Language {LOTOS}
Rok: 1987
Abstract:
Autor: R. Bordini and M. Fisher and C. Pardavila and M. Wooldridge
Tytuł: Model Checking Agentspeak
Rok: 2003
Abstract:
Autor: R. Bordini and M. Fisher and C. Pardavila and W. Visser and M. Wooldridge
Tytuł: Model Checking Multi-Agent Programs with {CASP}
Rok: 2003
Abstract:
Autor: R. Bordini and M. Fisher and W. Visser and M. Wooldridge
Tytuł: Verifiable Multi-Agent Programs
Rok: 2004
Abstract:
Autor: D. Bosnacki and D. Dams
Tytuł: Integrating Real Time into {SPIN}: A Prototype Implementation
Rok: 1998
Abstract:
Autor: D. Bosnacki and D. Dams and L. Holenderski and N. Sidorova
Tytuł: Model Checking {SDL} with {SPIN}
Rok: 2000
Abstract:
Autor: A. Bouajjani and J-C. Fernandez and N. Halbwachs
Tytuł: Minimal Model Generation
Rok: 1990
Abstract:
Autor: A. Bouajjani and J-C. Fernandez and N. Halbwachs and P. Raymond and C. R...
Tytuł: Minimal State Graph Generation
Rok: 1992
Abstract:
Autor: A. Bouajjani and S. Tripakis and S. Yovine
Tytuł: On-the-Fly Symbolic Model Checking for Real-Time Systems
Rok: 1997
Abstract:
Autor: A. Bouali and A. Ressouche and V. Roy and {R. de} Simone
Tytuł: The {FC2Tools} Set
Rok: 1996
Abstract:
Autor: H. Boucheneb and G. Berthelot
Tytuł: Towards a Simplified Building of Time {P}etri Nets Reachability Graph
Rok: 1993
Abstract:
Autor: H. Boucheneb and R. Hadjidj
Tytuł: {CTL}$^*$ Model Checking for Time {P}etri Nets
Rok: 2006
Abstract:
Autor: P. Bouyer and C. Dufourd and E. Fleury and A. Petit
Tytuł: Are Timed Automata Updatable?
Rok: 2000
Abstract:
Autor: F. D. J. Bowden
Tytuł: A Brief Survey and Synthesis of the Roles of Time in {P}etri Nets
Rok: 2000
Abstract:
Autor: M. Bozga and O. Maler and A. Pnueli and S. Yovine
Tytuł: Some Progress in the Symbolic Verification of Timed Automata
Rok: 1997
Abstract:
Autor: M. Bozga and J-C. Fernandez and L. Ghirvu and S. Graf and J.P. Krimm and...
Tytuł: {IF}: An Intermediate Representation for {SDL} and its Applications
Rok: 1999
Abstract:
Autor: M. Bozga and O. Maler and S. Tripakis
Tytuł: Efficient Verification of Timed Automata Using Dense and Discrete Time S...
Rok: 1999
Abstract:
Autor: S. Brayton and G. Hachtel and A. Sangiovanni-Vincentelli and F. Somenzi ...
Tytuł: {VIS}: A System for Verification and Synthesis
Rok: 1996
Abstract:
Autor: D. Br{' e}laz
Tytuł: New methods to color the vertices of a graph
Rok: 1979
Abstract:
Autor: M. C. Browne and E. Clarke and O. Grumberg
Tytuł: Characterizing Finite {K}ripke Structures in Propositional Temporal Logic
Rok: 1988
Abstract:
Autor: G. Bruns and P. Godefroid
Tytuł: Model Checking Partial State Spaces
Rok: 1999
Abstract:
Autor: G. Bruns and P. Godefroid
Tytuł: Generalized Model Checking: Reasoning About Partial State Spaces
Rok: 2000
Abstract:
Autor: R. Bryant
Tytuł: Graph-Based Algorithms for Boolean Function Manipulation
Rok: 1986
Abstract:
Autor: R. Bryant
Tytuł: {B}inary {D}ecision {D}iagrams and Beyond: Enabling Technologies for Formal Verification
Rok: 1995
Abstract:
Autor: G. Bucci and E. Vicaro
Tytuł: Compositional Validation of Time-Critical Systems using Communicating Ti...
Rok: 1995
Abstract:
Autor: G. Bucci and A. Fedeli and L. Sassoli and E. Vicaro
Tytuł: Modeling Flexible Real Time Systems with Preemptive Time {P}etri Nets
Rok: 2003
Abstract:
Autor: S. Budkowski
Tytuł: {E}stelle {D}evelopment {T}oolset {(EDT)}
Rok: 1992
Abstract:
Autor: J. R. Burch and E. Clarke and K. L. McMillan and D. L. Dill and L. J. Hwang
Tytuł: Symbolic Model Checking: $10^{20}$ States and Beyond
Rok: 1990
Abstract:
Autor: D. Bustan and O. Grumberg
Tytuł: Simulation Based Minimization
Rok: 2000
Abstract:
Autor: G. Cabodi and S. Nocco and S. Quer
Tytuł: Mixing Forward and Backward Traversals in Guided-Prioritized {BDD}-Based...
Rok: 2003
Abstract:
Autor: F. Cassez and O. H. Roux
Tytuł: Structural Translation of Time {P}etri Nets to Timed Automata
Rok: 2005
Abstract:
Autor: D. Chaum
Tytuł: The Dining Cryptographers Problem: Unconditional Sender and Recipient Un...
Rok: 1988
Abstract:
Autor: M. Chechik and B. Devereux and S. Easterbrook
Tytuł: Implementing a Multi-Valued Symbolic Model Checker
Rok: 2001
Abstract:
Autor: M. Chechik and B. Devereux and S. Easterbrook and A.Y.C. Lai and V. Petr...
Tytuł: Efficient Multiple-Valued Model-Checking Using Lattice Representations
Rok: 2001
Abstract:
Autor: M. Chechik and B. Devereux and A. Gurfinkel
Tytuł: Model-Checking Infinite State-Space Systems with Fine-Grained Abstractio...
Rok: 2001
Abstract:
Autor: M. Chechik and S. Easterbrook and V. Petrovykh
Tytuł: Model Checking over Multi-Valued Logics
Rok: 2001
Abstract:
Autor: M. Chechik and W. MacCaull
Tytuł: {CTL} Model-Checking over Logics with Non-Classical Negations
Rok: 2003
Abstract:
Autor: C-T. Chou and D. Peled
Tytuł: Formal Verification of a Partial-Order Reduction Technique for Model Che...
Rok: 1996
Abstract:
Autor: S. Christensen and J. J{o}rgensen and L. Kristensen
Tytuł: Design/{CPN} - A Computer Tool for Coloured {P}etri Nets
Rok: 1997
Abstract:
Autor: S. Christensen and L. Kristensen and T. Mailund
Tytuł: Condensed State Spaces for Timed {P}etri Nets
Rok: 2001
Abstract:
Autor: G. Ciardo and G. L{ u}ttgen and R. Simniceanu
Tytuł: Efficient Symbolic State-Space Construction for Asynchronous Systems
Rok: 2000
Abstract:
Autor: A. Cimatti and M. Pistore and M. Roveri and R. Sebastiani
Tytuł: Improving the Encoding of {LTL} Model Checking into {SAT}
Rok: 2002
Abstract:
Autor: A. Cimatti and E. Clarke and E. Giunchiglia and F. Giunchiglia and M. Pi...
Tytuł: {sc NuSMV2}: An Open-Source Tool for Symbolic Model Checking
Rok: 2002
Abstract:
Autor: E. Clarke and E. A. Emerson
Tytuł: Design and Synthesis of Synchronization Skeletons for Branching-Time Tem...
Rok: 1981
Abstract:
Autor: E. Clarke and E. A. Emerson and A. P. Sistla
Tytuł: Automatic Verification of Finite State Concurrent Systems Using Temporal...
Rok: 1986
Abstract:
Autor: E. Clarke and T. Filkorn and S. Jha
Tytuł: Exploiting Symmetry in Temporal Logic Model Checking
Rok: 1993
Abstract:
Autor: E. Clarke and O. Grumberg and K. Hamaguchi
Tytuł: Another Look at {LTL} Model Checking
Rok: 1994
Abstract:
Autor: E. Clarke and O. Grumberg and D. Long
Tytuł: Verification Tools for Finite-State Concurrent Systems
Rok: 1994
Abstract:
Autor: E. Clarke and O. Grumberg and D. Long
Tytuł: Model Checking and Abstractions
Rok: 1994
Abstract:
Autor: E. Clarke and O. Grumberg and M. Minea and D. Peled
Tytuł: State Space Reduction Using Partial Order Techniques
Rok: 1999
Abstract:
Autor: E. Clarke and A. Biere and R. Raimi and Y. Zhu
Tytuł: Bounded Model Checking Using Satisfiability Solving
Rok: 2001
Abstract:
Autor: E. Clarke and D. Kroening and J. Ouaknine and O. Strichman
Tytuł: Completeness and Complexity of Bounded Model Checking
Rok: 2004
Abstract:
Autor: P. R. Cohen and H. Levesque
Tytuł: Intention is Choice with Commitment
Rok: 1990
Abstract:
Autor: J. Coolahan and N. Roussopoulos
Tytuł: Timing Requirements for Time-Driven Systems Using Augmented {P}etri Nets
Rok: 1983
Abstract:
Autor: F. Copty and L. Fix and R. Fraer and E. Giunchiglia and G. Kamhi and A....
Tytuł: Benefits of Bounded Model Checking at an Industrial Setting
Rok: 2001
Abstract:
Autor: J. Corbett and M. Dwyer and J. Hatcliff and S. Laubach and C. Pasareanu ...
Tytuł: Bandera: Extracting Finite-State Models from {J}ava Source Code
Rok: 2000
Abstract:
Autor: L. A. Cort{'e}s and P. Eles and Z. Peng
Tytuł: Verification of Real-Time Embedded Systems Using {P}etri Net Models and ...
Rok: 2002
Abstract:
Autor: L. A. Cort{'e}s and P. Eles and Z. Peng
Tytuł: Modeling and Formal Verification of Embedded Systems Based on a {P}etri ...
Rok: 2003
Abstract:
Autor: J-M. Couvreur and E. Encrenaz and E. Paviot-Adet and D. Pointrenaud and ...
Tytuł: Data {D}ecision {D}iagrams for {P}etri Net Analysis
Rok: 2002
Abstract:
Autor: A. Da{'n}ko and G. Mirkowska
Tytuł: Multivalued Boolean-Fuzzy Logics
Rok: 2002
Abstract:
Autor: P. D'Argenio and B. Jeannet and H. Jensen and K. G. Larsen
Tytuł: Reachability Analysis of Probabilistic Systems by Successive Refinements
Rok: 2001
Abstract:
Autor: D. Dams and R. Gerth and O. Grumberg
Tytuł: Generation of Reduced Models for Checking Fragments of {CTL}
Rok: 1993
Abstract:
Autor: D. Dams and R. Gerth and G. Dohmen and R. Herrmann and P. Kelb and H. P...
Tytuł: Model Checking Using Adaptive State and Data Abstraction
Rok: 1994
Abstract:
Autor: D. Dams and R. Gerth and B. Knaack and R. Kuiper
Tytuł: Partial-Order Reduction Techniques for Real-Time Model Checking
Rok: 1998
Abstract:
Autor: M. Davis and H. Putnam
Tytuł: A Computing Procedure for Quantification Theory
Rok: 1960
Abstract:
Autor: M. Davis and G. Logemann and D. Loveland
Tytuł: A Machine Program for Theorem Proving
Rok: 1962
Abstract:
Autor: C. Daws and A. Olivero and S. Yovine
Tytuł: Verifying {ET-LOTOS} Programs with {KRONOS}
Rok: 1994
Abstract:
Autor: C. Daws and A. Olivero and S. Tripakis and S. Yovine
Tytuł: The Tool {KRONOS}
Rok: 1995
Abstract:
Autor: C. Daws and S. Yovine
Tytuł: Reducing the Number of Clock Variables of Timed Automata
Rok: 1996
Abstract:
Autor: C. Daws and S. Tripakis
Tytuł: Model Checking of Real-Time Reachability Properties Using Abstractions
Rok: 1998
Abstract:
Autor: R. Dechter and I. Rish
Tytuł: Directional Resolution: The {D}avis-{P}utnam Procedure Revisited
Rok: 1994
Abstract:
Autor: D. Delfieu and P. Molinaro and O. H. Roux
Tytuł: Coupling {B}inary {D}ecision {D}iagrams with Time {P}etri Net
Rok: 2000
Abstract:
Autor: D. Delfieu and P. Molinaro and O. H. Roux
Tytuł: Analyzing Temporal Constraints with {B}inary {D}ecision {D}iagrams
Rok: 2000
Abstract:
Autor: P. Dembi{' n}ski and S. Budkowski
Tytuł: Simulating {E}stelle Specification with Time Parameters
Rok: 1987
Abstract:
Autor: P. Dembi{' n}ski
Tytuł: Semantics of Timed Concurrent Systems
Rok: 1997
Abstract:
Autor: P. Dembi{' n}ski and W. Penczek and A. P{' o}{l }rola
Tytuł: Automated Verification of Infinite State Concurrent Systems: an Improvem...
Rok: 2002
Abstract:
Autor: P. Dembi{' n}ski and W. Penczek and A. P{' o}{l }rola
Tytuł: Verification of Timed Automata Based on Similarity
Rok: 2001
Abstract:
Autor: P. Dembi{' n}ski and W. Penczek and A. P{' o}{l }rola
Tytuł: Verification of Timed Automata Based on Similarity
Rok: 2002
Abstract:
Autor: P. Dembi{' n}ski and A. Janowska and P. Janowski and W. Penczek and A. P...
Tytuł: {Ver{scriptsize ICS}}: A Tool for Verifying Timed Automata and {E}stelle...
Rok: 2003
Abstract:
Autor: P. Dembi{' n}ski and A. Janowska and P. Janowski and W. Penczek and A. P...
Tytuł: {Ver{scriptsize ICS}}: weryfikator dla automat{'o}w czasowych i specyfik...
Rok: 2003
Abstract:
Autor: M. Dickhofer and T. Wilke
Tytuł: Timed Alternating Tree Automata: The Automata-Theoretic Solution to the ...
Rok: 1999
Abstract:
Autor: K. Diethers and U. Goltz and M. Huhn
Tytuł: Model Checking {UML} Statecharts with Time
Rok: 2002
Abstract:
Autor: D. Dill
Tytuł: Timing Assumptions and Verification of Finite State Concurrent Systems
Rok: 1989
Abstract:
Autor: A. Doro{'s} and A. Janowska and P. Janowski
Tytuł: From Specification Languages to Timed Automata
Rok: 2002
Abstract:
Autor: A. Dovier and C. Piazza and A. Policriti
Tytuł: A Fast Bisimulation Algorithm
Rok: 2001
Abstract:
Autor: M. Dummett
Tytuł: A Propositional Calculus with a Denumerable Matrix
Rok: 1959
Abstract:
Autor: S. Easterbrook and M. Chechik
Tytuł: A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
Rok: 2001
Abstract:
Autor: E. A. Emerson and E. Clarke
Tytuł: Characterizing Correctness Properties of Parallel Programs using Fixpoints
Rok: 1980
Abstract:
Autor: E. A. Emerson and E. Clarke
Tytuł: Using Branching-Time Temporal Logic to Synthesize Synchronization Skeletons
Rok: 1982
Abstract:
Autor: E. A. Emerson and C-L. Lei
Tytuł: Modalities for Model Checking: Branching Time Logic Strikes Back
Rok: 1985
Abstract:
Autor: E. A. Emerson and C-L. Lei
Tytuł: Efficient Model Checking in Fragments of the Propositional Mu-Calculus
Rok: 1986
Abstract:
Autor: E. A. Emerson and C-L. Lei
Tytuł: Temporal Reasoning Under Generalized Fairness Constraints
Rok: 1986
Abstract:
Autor: E. A. Emerson and J. Srinivasan
Tytuł: Branching Time Temporal Logics
Rok: 1989
Abstract:
Autor: E. A. Emerson
Tytuł: Handbook of Theoretical Computer Science
Rok: 1990
Abstract:
Autor: E. A. Emerson and C. S. Jutla
Tytuł: Symmetry and Model Checking
Rok: 1993
Abstract:
Autor: E. A. Emerson
Tytuł: Model Checking and the Mu-calculus
Rok: 1996
Abstract:
Autor: E. A. Emerson and A. P. Sistla
Tytuł: Symmetry and Model Checking
Rok: 1995
Abstract:
Autor: E. A. Emerson and A. P. Sistla
Tytuł: Utilizing Symmetry When Model-Checking under Fairness Assumptions: An Au...
Rok: 1997
Abstract:
Autor: E. A. Emerson and C. S. Jutla and A. P. Sistla
Tytuł: On Model Checking for the $mu$-calculus and its Fragments
Rok: 2001
Abstract:
Autor: K. Engelhardt and {R. van der} Meyden and Y. Moses
Tytuł: Knowledge and the Logic of Local Propositions
Rok: 1998
Abstract:
Autor: J. Esparza
Tytuł: Model Checking Using Net Unfoldings
Rok: 1993
Abstract:
Autor: J. Esparza
Tytuł: Model Checking Using Net Unfoldings
Rok: 1994
Abstract:
Autor: J. Esparza and S. Romer and W. Vogler
Tytuł: An Improvement of {McMillan's} Unfolding Algorithm
Rok: 1996
Abstract:
Autor: J-C. Fernandez and L. Mounier
Tytuł: On-the-fly Verification of Behavioral Equivalences and Preorders
Rok: 1991
Abstract:
Autor: J-C. Fernandez and H. Garavel and A. Kerbrat and R. Mateescu and L. Moun...
Tytuł: {CADP}: A Protocol Validation and Verification Toolbox
Rok: 1996
Abstract:
Autor: K. Fisler and M. Vardi
Tytuł: Bisimulation and Model Checking
Rok: 1999
Abstract:
Autor: M. Fitting
Tytuł: Many-Valued Modal Logics
Rok: 1991
Abstract:
Autor: M. Fitting
Tytuł: Many-Valued Modal Logics {II}
Rok: 1992
Abstract:
Autor: M. Ganai and A. Gupta and P. Ashar
Tytuł: Efficient {SAT}-Based Unbounded Symbolic Model Checking Using Circuit Co...
Rok: 2004
Abstract:
Autor: P. Gammie and {R. van der} Meyden
Tytuł: {MCK}: Model Checking the Logic of Knowledge
Rok: 2004
Abstract:
Autor: G. Gardey and O. H. Roux and O. F. Roux
Tytuł: Using Zone Graph Method for Computing the State Space of a Time {P}etri Net
Rok: 2004
Abstract:
Autor: P. Gastin and D. Oddoux
Tytuł: Fast {LTL} to {B}{u}chi Automata Translation
Rok: 2001
Abstract:
Autor: P. Gastin and D. Oddoux
Tytuł: {LTL} with Past and Two-Way Very-Weak Alternating Automata
Rok: 2003
Abstract:
Autor: R. Gawlick and R. Segala and J. S{o}gaard-Andersen and N. Lynch
Tytuł: Liveness in Timed and Untimed Systems
Rok: 1994
Abstract:
Autor: R. Gerth and D. Peled and M. Vardi and P. Wolper
Tytuł: Simple On-the-fly Automatic Verification of Linear Temporal Logic
Rok: 1995
Abstract:
Autor: R. Gerth and R. Kuiper and D. Peled and W. Penczek
Tytuł: A Partial Order Approach to Branching Time Logic Model Checking
Rok: 1999
Abstract:
Autor: R. Gerth and R. Kuiper and D. Peled and W. Penczek
Tytuł: A Partial Order Approach to Branching Time Logic Model Checking
Rok: 1999
Abstract:
Autor: {R. J. van} Glabbeek
Tytuł: The Linear Time - Branching Time Spectrum {II}: The Semantics of Sequent...
Rok: 1993
Abstract:
Autor: {R. J. van} Glabbeek and W. Weijland
Tytuł: Branching Time and Abstraction in Bisimulation Semantics
Rok: 1996
Abstract:
Autor: P. Godefroid
Tytuł: Using Partial Orders to Improve Automatic Verification Methods
Rok: 1991
Abstract:
Autor: P. Godefroid and D. Pirottin
Tytuł: Refining Dependencies Improves Partial-Order Verification Methods
Rok: 1991
Abstract:
Autor: P. Godefroid and P. Wolper
Tytuł: A Partial Approach to Model Checking
Rok: 1994
Abstract:
Autor: P. Godefroid and M. Huth and R. Jagadeesan
Tytuł: Abstraction-Based Model Checking using Modal Transition Systems
Rok: 2001
Abstract:
Autor: P. Godefroid and R. Jagadeesan
Tytuł: On the Expressiveness of 3-Valued Models
Rok: 2003
Abstract:
Autor: K. G{o}del
Tytuł: Zum intuitionistischen {A}ussagenkalk{u}l
Rok: 1933
Abstract:
Autor: E. Goldberg and Y. Novikov
Tytuł: {B}erk{M}in: A Fast and Robust {SAT}-Solver
Rok: 2002
Abstract:
Autor: A. G{o}ll{u} and A. Puri and P. Varaiya
Tytuł: Discretization of Timed Automata
Rok: 1994
Abstract:
Autor: U. Goltz and R. Kuiper and W. Penczek
Tytuł: Propositional Temporal Logics and Equivalences
Rok: 1992
Abstract:
Autor: V. Goranko
Tytuł: Coalition Games and Alternating Temporal Logics
Rok: 2001
Abstract:
Autor: V. Goranko and W. Jamroga
Tytuł: Comparing Semantics of Logics for Multi-agent Systems
Rok: 2004
Abstract:
Autor: J. F. Groote and {F. van} Ham
Tytuł: Large State Space Visualization
Rok: 2003
Abstract:
Autor: O. Grumberg and D. E. Long
Tytuł: Model Checking and Modular Verification
Rok: 1991
Abstract:
Autor: O. Grumberg and D. E. Long
Tytuł: Model Checking and Modular Verification
Rok: 1994
Abstract:
Autor: Z. Gu and K. Shin
Tytuł: Analysis of Event-Driven Real-Time Systems with Time {P}etri Nets
Rok: 2002
Abstract:
Autor: A. Gupta and Z. Yang amd P. Ashar and A. Gupta
Tytuł: {SAT}-Based Image Computation with Application to Reachability Analysis
Rok: 2000
Abstract:
Autor: A. Gurfinkel and M. Chechik
Tytuł: Multi-Valued Model Checking via Classical Model Checking
Rok: 2003
Abstract:
Autor: R. Hadjidj and H. Boucheneb
Tytuł: Much Compact Time {P}etri Net State Class Spaces Useful to Restore {CTL}...
Rok: 2005
Abstract:
Autor: J. Halpern and M. Vardi
Tytuł: Model Checking vs. Theorem Proving: A Manifesto
Rok: 1991
Abstract:
Autor: J. Y. Halpern and M. Y. Vardi
Tytuł: The complexity of reasoning about knowledge and time 1: lower bounds
Rok: 1989
Abstract:
Autor: H-M. Hanisch
Tytuł: Analysis of Place$slash$Transition Nets with Timed Arcs and its Applicat...
Rok: 1993
Abstract:
Autor: K. Heljanko and I. Niemel{a}
Tytuł: Bounded {LTL} Model Checking with Stable Models
Rok: 2001
Abstract:
Autor: K. Heljanko
Tytuł: Bounded Reachability Checking with Process Semantics
Rok: 2001
Abstract:
Autor: K. Heljanko and I. Niemel{a}
Tytuł: Answer Set Programming and Bounded Model Checking
Rok: 2001
Abstract:
Autor: M. Hendriks and G. Behrmann and K. G. Larsen and P. Niebert and F. Vaand...
Tytuł: Adding Symmetry Reduction to {{U}{sc ppaal}}
Rok: 2004
Abstract:
Autor: M. Hennessy and R. Milner
Tytuł: Algebraic Laws for Nondeterminism and Concurrency
Rok: 1985
Abstract:
Autor: T. Henzinger and X. Nicollin and J. Sifakis and S. Yovine
Tytuł: Symbolic Model Checking for Real-Time Systems
Rok: 1992
Abstract:
Autor: T. Henzinger and X. Nicollin and J. Sifakis and S. Yovine
Tytuł: Symbolic Model Checking for Real-Time Systems
Rok: 1994
Abstract:
Autor: T. Henzinger and P. Ho
Tytuł: {HyTech}: The {C}ornell Hybrid Technology Tool
Rok: 1995
Abstract:
Autor: M. Henzinger and T. Henzinger and P. Kopke
Tytuł: Computing Simulations on Finite and Infinite Graphs
Rok: 1995
Abstract:
Autor: T. Henzinger and O. Kupferman and M. Vardi
Tytuł: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking
Rok: 1996
Abstract:
Autor: T. Henzinger and P. Ho and H. Wong-Toi
Tytuł: {HyTech}: A Model Checker for Hybrid Systems
Rok: 1997
Abstract:
Autor: T. Henzinger and O. Kupferman
Tytuł: From Quantity to Quality
Rok: 1997
Abstract:
Autor: T. Henzinger
Tytuł: It's About Time: Real-Time Logics Reviewed
Rok: 1998
Abstract:
Autor: T. Henzinger and R. Majumdar
Tytuł: A Classification of Symbolic Transition Systems
Rok: 2000
Abstract:
Autor: W. {van der} Hoek and M. Wooldridge
Tytuł: Model Checking Knowledge and Time
Rok: 2002
Abstract:
Autor: {W. van der} Hoek and M. Wooldridge
Tytuł: Tractable Multiagent Planning for Epistemic Goals
Rok: 2002
Abstract:
Autor: {W. van der} Hoek and M. Wooldridge
Tytuł: Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Lo...
Rok: 2003
Abstract:
Autor: {W. van der} Hoek and M. Wooldridge
Tytuł: Model Checking Cooperation, Knowledge, and Time - A Case Study
Rok: 2003
Abstract:
Autor: G. J. Holzmann and D. Peled
Tytuł: An Improvement in Formal Verification
Rok: 1994
Abstract:
Autor: G. J. Holzmann
Tytuł: The Model Checker {SPIN}
Rok: 1997
Abstract:
Autor: M. Huhn and P. Niebert and F. Wallner
Tytuł: Verification Based on Local States
Rok: 1998
Abstract:
Autor: H. Hulgaard and S. M. Burns
Tytuł: Efficient Timing Analysis of a Class of {P}etri Nets
Rok: 1995
Abstract:
Autor: M. Huth and S. Pradhan
Tytuł: An Ontology for Consistent Partial Model Checking
Rok: 2003
Abstract:
Autor: M. Huth and S. Pradhan
Tytuł: Consistent Partial Model Checking
Rok: 2004
Abstract:
Autor: M. Huth and R. Jagadeesan and D. A. Schmidt
Tytuł: A Domain Equation for Refinement of Partial Systems
Rok: 2004
Abstract:
Autor: M. K. Iyer and G, Parthasarathy and K-T. Cheng
Tytuł: {SATORI} - A Fast Sequential {SAT} Engine for Circuits
Rok: 2003
Abstract:
Autor: W. Jamroga
Tytuł: Some Remarks on Alternating Temporal Epistemic Logic
Rok: 2003
Abstract:
Autor: W. Jamroga and {W. van der} Hoek
Tytuł: Agents that Know How to Play
Rok: 2004
Abstract:
Autor: W. Jamroga and {W. van der} Hoek and M. Wooldridge
Tytuł: On Obligations and Abilities
Rok: 2004
Abstract:
Autor: R. Janicki
Tytuł: Nets, Sequential Components and Concurrency Relations
Rok: 1984
Abstract:
Autor: A. Janowska and P. Janowski
Tytuł: Slicing Timed Systems
Rok: 2003
Abstract:
Autor: A. Janowska and P. Janowski
Tytuł: Slicing Timed Systems
Rok: 2004
Abstract:
Autor: A. Janowska and P. Janowski
Tytuł: Slicing of Timed Automata with Discrete Data
Rok: 2005
Abstract:
Autor: A. Janowska and P. Janowski and D. Wr{'o}blewski
Tytuł: Translation of Intermediate Language to Timed Automata with Discrete Data
Rok: 2008
Abstract:
Autor: B. Jeannet and N. Halbwachs and P. Raymond
Tytuł: Dynamic Partitioning in Analyses of Numerical Properties
Rok: 1999
Abstract:
Autor: H. E. Jensen and K. G. Larsen and A. Skou
Tytuł: Modelling and Analysis of a Collision Avoidance protocol using {SPIN} and {{U}{sc pp...
Rok: 1996
Abstract:
Autor: N. D. Jones and L. H. Landweber and Y. E. Lien
Tytuł: Complexity of Some Problems in {P}etri Nets
Rok: 1977
Abstract:
Autor: M. Kacprzak and A. Lomuscio and W. Penczek
Tytuł: Unbounded Model Checking for Knowledge and Time
Rok: 2003
Abstract:
Autor: M. Kacprzak and A. Lomuscio and W. Penczek
Tytuł: Bounded versus Unbounded Model Checking for Interpreted Systems
Rok: 2003
Abstract:
Autor: M. Kacprzak and A. Lomuscio and W. Penczek
Tytuł: From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
Rok: 2004
Abstract:
Autor: M. Kacprzak and A. Lomuscio and W. Penczek
Tytuł: Verification of Multi-Agent Systems via Unbounded Model Checking
Rok: 2004
Abstract:
Autor: M. Kacprzak and W. Penczek
Tytuł: Unbounded Model Checking for Alternating-Time Temporal Logic
Rok: 2004
Abstract:
Autor: M. Kacprzak and W. Penczek
Tytuł: Model Checking for Alternating-Time $mu$-Calculus via Translation to {SAT}
Rok: 2004
Abstract:
Autor: M. Kacprzak and A. Lomuscio and T. {L }asica and W. Penczek and M. Szreter
Tytuł: Verifying Multiagent systems via Unbounded Model Checking
Rok: 2005
Abstract:
Autor: M. Kacprzak and W. Nabia{l}ek and A. Niewiadomski and W. Penczek and A. ...
Tytuł: {Ver{scriptsize ICS}} 2007 - A Model Checker for Knowledge and Real-Time
Rok: 2008
Abstract:
Autor: H. Kautz
Tytuł: {Satz-Rand}, a {SAT} Solver Using Randomized Restarts
Rok: 2001
Abstract:
Autor: V. Khomenko and M. Koutny and W. Vogler
Tytuł: Canonical Prefixes of {P}etri Net Unfoldings
Rok: 2002
Abstract:
Autor: I. Kokkarinen and D. Peled and A. Valmari
Tytuł: Relaxed Visibility Enhances Partial Order Reductions
Rok: 1997
Abstract:
Autor: B. Konikowska and W. Penczek
Tytuł: Reducing Model Checking from Multi-Valued {CTL$^*$} to {CTL$^*$}
Rok: 2002
Abstract:
Autor: B. Konikowska and W. Penczek
Tytuł: Model Checking for Multi-Valued Computation Tree Logics
Rok: 2003
Abstract:
Autor: B. Konikowska and W. Penczek
Tytuł: On Designated Values in Multi-Valued {CTL}$^*$ Model Checking
Rok: 2003
Abstract:
Autor: B. Konikowska and W. Penczek
Tytuł: On Designated Values in Multi-Valued {CTL$^*$} Model Checking
Rok: 2004
Abstract:
Autor: B. Konikowska and W. Penczek
Tytuł: Model Checking Multi-Valued Modal $mu$-Calculus Revisited
Rok: 2004
Abstract:
Autor: A. Kovalyov and J. Esparza
Tytuł: A Polynomial Algorithm to Compute the Concurrency Relation of Free-Choic...
Rok: 1996
Abstract:
Autor: D. Kozen
Tytuł: Results on the Propositional Mu-Calculus
Rok: 1983
Abstract:
Autor: L. M. Kristensen and A. Valmari
Tytuł: Improved Question-Guided Stubborn Set Methods for State Properties
Rok: 2000
Abstract:
Autor: O. Kupferman and M. Vardi and P. Wolper
Tytuł: An Automata-Theoretic Approach to Branching-Time Model Checking
Rok: 2000
Abstract:
Autor: R. Kurshan and V. Levin and M. Minea and D. Peled and H. Yenig{u}n
Tytuł: Static Partial Order Reduction
Rok: 1998
Abstract:
Autor: R. Langerak and E. Brinksma and J. P. Katoen
Tytuł: Causal Ambiguity and Partial Orders in Event Structures
Rok: 1997
Abstract:
Autor: K. G. Larsen and P. Pettersson and W. Yi
Tytuł: {U{sc ppaal}}: Status and Developments
Rok: 1992
Abstract:
Autor: K. G. Larsen and P. Pettersson and W. Yi
Tytuł: Compositional and Symbolic Model-Checking of Real-Time Systems
Rok: 1995
Abstract:
Autor: K. G. Larsen and F. Larsson and P. Pettersson and W. Yi
Tytuł: Efficient Verification of Real-Time Systems: Compact Data Structures and...
Rok: 1997
Abstract:
Autor: K. G. Larsen and P. Pettersson and W. Yi
Tytuł: {{U}{sc ppaal}} in a Nutshell
Rok: 1997
Abstract:
Autor: K. G. Larsen and J. Pearson and C. Weise and W. Yi
Tytuł: Clock {D}ifference {D}iagrams
Rok: 1999
Abstract:
Autor: D. Lee and M. Yannakakis
Tytuł: On-line Minimization of Transition Systems
Rok: 1992
Abstract:
Autor: C. M. Li and Anbulagan
Tytuł: Heuristics Based on Unit Propagation for Satisfiability Problems
Rok: 1997
Abstract:
Autor: C. M. Li and Anbulagan
Tytuł: Look-Ahead Versus Look-Back for Satisfiability Problems
Rok: 1997
Abstract:
Autor: C. M. Li
Tytuł: A Constraint-Based Approach to Narrow Search Trees for Satisfiability
Rok: 1999
Abstract:
Autor: C. M. Li
Tytuł: Integrating Equivalency Reasoning into {D}avis-{P}utnam Procedure
Rok: 2000
Abstract:
Autor: C. M. Li
Tytuł: Equivalency Reasoning to Solve a Class of Hard {SAT} Problems
Rok: 2000
Abstract:
Autor: O. Lichtenstein and A. Pnueli
Tytuł: Checking That Finite-State Concurrent Programs Satisfy Their Linear Spec...
Rok: 1984
Abstract:
Autor: J. Lilius and I. Paltor
Tytuł: {vUML}: A Tool for Verifying {UML} Models
Rok: 1999
Abstract:
Autor: A. Lomuscio and T. Lasica and W. Penczek
Tytuł: Bounded Model Checking for Interpreted Systems: Preliminary Experimental...
Rok: 2003
Abstract:
Autor: O. Maler and A. Pnueli
Tytuł: Timing Analysis of Asynchronous Circuits Using Timed Automata
Rok: 1995
Abstract:
Autor: R. Mascarenhas and D. Karumuri and U. Buy and R. Kenyon
Tytuł: Modeling and Analysis of a Virtual Reality System with Time {P}etri Nets
Rok: 1998
Abstract:
Autor: S. Mauw and G. J. Veltink
Tytuł: A Process Specification Formalism
Rok: 1990
Abstract:
Autor: A. Mazurkiewicz
Tytuł: Trace Theory
Rok: 1986
Abstract:
Autor: A. Mazurkiewicz
Tytuł: Basic Notions of Trace Theory
Rok: 1988
Abstract:
Autor: J. McDermid
Tytuł: Software Hazard and Safety Analysis
Rok: 2002
Abstract:
Autor: K. L. McMillan
Tytuł: A Technique of a State Space Search Based on Unfolding
Rok: 1995
Abstract:
Autor: K. L. McMillan
Tytuł: Applying {SAT} Methods in Unbounded Symbolic Model Checking
Rok: 2002
Abstract:
Autor: K. McMillan and N. Amla
Tytuł: Automatic Abstraction without Counterexamples
Rok: 2003
Abstract:
Autor: {R. van der} Meyden
Tytuł: Common Knowledge and Update in Finite Environments
Rok: 1998
Abstract:
Autor: {R. van der} Meyden and N. V. Shilov
Tytuł: Model Checking Knowledge and Time in Systems with Perfect Recall
Rok: 1999
Abstract:
Autor: {R. van der} Meyden and K. Su
Tytuł: Symbolic Model Checking the Knowledge of the Dining Cryptographers
Rok: 2004
Abstract:
Autor: P. Merlin and D. J. Farber
Tytuł: Recoverability of Communication Protocols -- Implication of a Theoretica...
Rok: 1976
Abstract:
Autor: R. Milner
Tytuł: An Algebraic Definition of Simulation Between Programs
Rok: 1971
Abstract:
Autor: M. Minea
Tytuł: Partial Order Reductions for Model Checking of Timed Automata
Rok: 1999
Abstract:
Autor: A. Miner and G. Ciardo
Tytuł: Efficient Reachability Set Generation and Storage Using Decision Diagrams
Rok: 1999
Abstract:
Autor: J. M{o}ller and J. Lichtenberg and H. Andersen and H. Hulgaard
Tytuł: {D}ifference {D}ecision {D}iagrams
Rok: 1999
Abstract:
Autor: M. Moskewicz and C. Madigan and Y. Zhao and L. Zhang and S. Malik
Tytuł: Chaff: Engineering an Efficient {SAT} Solver
Rok: 2001
Abstract:
Autor: {L. de} Moura and H. Rue{ss} and M. Sorea
Tytuł: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains
Rok: 2002
Abstract:
Autor: W. Nabia{l }ek and A. Niewiadomski and W. Penczek and A. P{'o}{l }rola a...
Tytuł: {Ver{scriptsize ICS}} 2004: A Model Checker for Real Time and Multi-agen...
Rok: 2004
Abstract:
Autor: W. Nabia{l}ek and A. Janowska and P. Janowski
Tytuł: Translation of Timed {P}romela to Timed Automata with Discrete Data
Rok: 2008
Abstract:
Autor: {R. de} Nicola and U. Montanari and F. Vaandrager
Tytuł: Back and Forth Bisimulations
Rok: 1990
Abstract:
Autor: {R. de} Nicola and F. Vaandrager
Tytuł: Three Logics for Branching Bisimulation
Rok: 1990
Abstract:
Autor: N. Nide and S. Takata
Tytuł: Deduction Systems for {BDI} Logics Using Sequent Calculus
Rok: 2002
Abstract:
Autor: P. Niebert and M. Mahfoudh and E. Asarin and M. Bozga and O. Maler and N...
Tytuł: Verification of Timed Automata via Satisfiability Checking
Rok: 2002
Abstract:
Autor: A. Niewiadomski and W. Penczek and S. Lasota and J. Kowalski
Tytuł: Weryfikacja {UML} z wykorzystaniem systemu {Ver{scriptsize ICS}}
Rok: 2006
Abstract:
Autor: A. Niewiadomski and W. Penczek and M. Szreter
Tytuł: Towards Bounded Model Checking of {UML}
Rok: 2008
Abstract:
Autor: A. Niewiadomski and W. Penczek and M. Szreter
Tytuł: Towards Checking Parametric Reachability for {UML} State Machines
Rok: 2009
Abstract:
Autor: A. Niewiadomski and W. Penczek and M. Szreter
Tytuł: A New Approach to Model Checking of {UML} State Machines
Rok: 2009
Abstract:
Autor: Y. Okawa and T. Yoneda
Tytuł: Symbolic {CTL} Model Checking of Time {P}etri Nets
Rok: 1997
Abstract:
Autor: {S. van} Otterloo and {W. van der} Hoek and M. Wooldridge
Tytuł: Knowledge as Strategic Ability
Rok: 2003
Abstract:
Autor: F. Pagani
Tytuł: Partial Orders and Verification of Real-Time Systems
Rok: 1996
Abstract:
Autor: R. Paige and R. Tarjan
Tytuł: Three Partition Refinement Algorithms
Rok: 1987
Abstract:
Autor: D. Park
Tytuł: Concurrency and Automata on Infinite Sequences.
Rok: 1981
Abstract:
Autor: C. Pasareanu and W. Visser
Tytuł: Verification of {J}ava Progtams Using Symbolic Execution and Invariant G...
Rok: 2004
Abstract:
Autor: E. Pastor and O. Roig and J. Cortadella and R. Badia
Tytuł: {P}etri Net Analysis Using Boolean Manipulation
Rok: 1994
Abstract:
Autor: D. Peled
Tytuł: All From One, One For All: On Model Checking Using Representatives
Rok: 1993
Abstract:
Autor: D. Peled
Tytuł: Combining Partial Order Reductions with On-the-fly Model-Checking
Rok: 1994
Abstract:
Autor: D. Peled
Tytuł: Partial Order Reduction: Linear and Branching Temporal Logics and Process Algebras
Rok: 1996
Abstract:
Autor: D. Peled
Tytuł: Partial Order Reductions: Model Checking Using Representatives
Rok: 1996
Abstract:
Autor: D. Peled
Tytuł: Ten Years of Partial-Order Reductions
Rok: 1998
Abstract:
Autor: W. Penczek
Tytuł: A Temporal Logic for Event Structures
Rok: 1988
Abstract:
Autor: W. Penczek
Tytuł: A Temporal Logic for the Local Specification of Concurrent Systems
Rok: 1989
Abstract:
Autor: W. Penczek
Tytuł: Branching Time and Partial Order in Temporal Logics
Rok: 1995
Abstract:
Autor: W. Penczek
Tytuł: Model Checking for a Fragment of Event Structures
Rok: 1997
Abstract:
Autor: W. Penczek and M. Szreter and R. Gerth and R. Kuiper
Tytuł: Improving Partial Order Reductions for Universal Branching Time Properties
Rok: 2000
Abstract:
Autor: W. Penczek
Tytuł: Partial Order Reductions for Checking Branching Properties of Time {P}et...
Rok: 2000
Abstract:
Autor: W. Penczek
Tytuł: Efficient Model Checking of Causal-Knowledge Protocols
Rok: 2001
Abstract:
Autor: W. Penczek and A. P{' o}{l }rola
Tytuł: Abstractions and Partial Order Reductions for Checking Branching Propert...
Rok: 2001
Abstract:
Autor: W. Penczek and B. Wo{'z}na
Tytuł: Towards Bounded Model Checking for Timed Automata
Rok: 2001
Abstract:
Autor: W. Penczek and A. Lomuscio
Tytuł: Bounded Model Checking for Interpreted Systems
Rok: 2002
Abstract:
Autor: W. Penczek and B. Wo{'z}na and A. Zbrzezny
Tytuł: Towards Bounded Model Checking for the Universal Fragment of {TCTL}
Rok: 2002
Abstract:
Autor: W. Penczek and B. Wo{'z}na and A. Zbrzezny
Tytuł: Bounded Model Checking for the Universal Fragment of {CTL}
Rok: 2002
Abstract:
Autor: W. Penczek and A. Lomuscio
Tytuł: Verifying Epistemic Properties of Multi-Agent Systems via Bounded Model ...
Rok: 2003
Abstract:
Autor: W. Penczek and A. Lomuscio
Tytuł: {Verifying Epistemic Properties of Multi-Agent Systems via Bounded Model...
Rok: 2003
Abstract:
Autor: W. Penczek and A. P{'o}{l }rola
Tytuł: Specification and Model Checking of Temporal Properties in Time {P}etri ...
Rok: 2004
Abstract:
Autor: W. Penczek and A. P{'o}{l }rola and B. Wo{'z}na and A. Zbrzezny
Tytuł: Bounded Model Checking for Reachability Testing in Time {P}etri Nets
Rok: 2004
Abstract:
Autor: W. Penczek and M. Szreter
Tytuł: {SAT}-Based Unbounded Model Checking of Timed Automata
Rok: 2008
Abstract:
Autor: P. Pettersson and K. G. Larsen.
Tytuł: {sc{U}ppaal}2k
Rok: 2000
Abstract:
Autor: D. Plaisted and S. Greenbaum
Tytuł: A Structure-Preserving Clause Form Translation
Rok: 1986
Abstract:
Autor: D. Plaisted and A. Biere and Y. Zhu
Tytuł: A Satisfiability Procedure for Quantified Boolean Formulae
Rok: 2003
Abstract:
Autor: A. Pnueli
Tytuł: A Temporal Semantics of Concurrent Programs
Rok: 1981
Abstract:
Autor: A. Pnueli
Tytuł: The Temporal Logic of Programs
Rok: 1977
Abstract:
Autor: E. A. Pokozy
Tytuł: Toward Verification of Concurrent Properties of Time {P}etri Nets
Rok: 1999
Abstract:
Autor: E. Post
Tytuł: Introduction to a General Theory of Elementary Proposition
Rok: 1921
Abstract:
Autor: A. P{'o}{l }rola
Tytuł: Weryfikacja w{l }asno{'s}ci {TCTL} dla sieci {P}etriego z czasem
Rok: 2002
Abstract:
Autor: A. P{'o}{l }rola and W. Penczek and M. Szreter
Tytuł: Towards Refining Partitioning for Checking Reachability in Timed Automata
Rok: 2002
Abstract:
Autor: A. P{'o}{l }rola and W. Penczek and M. Szreter
Tytuł: Reachability Analysis for Timed Automata Using Partitioning Algorithms
Rok: 2003
Abstract:
Autor: A. P{'o}{l }rola and W. Penczek and M. Szreter
Tytuł: Towards Efficient Partition Refinement for Checking Reachability in Time...
Rok: 2004
Abstract:
Autor: A. P{'o}{l }rola and W. Penczek and M. Szreter
Tytuł: Towards Efficient Partition Refinement for Checking Reachability ...
Rok:
Abstract:
Autor: A. P{'o}{l }rola and W. Penczek
Tytuł: Minimization Algorithms for Time {P}etri Nets
Rok: 2003
Abstract:
Autor: A. P{'o}{l }rola and W. Penczek
Tytuł: Minimization Algorithms for Time {P}etri Nets
Rok: 2004
Abstract:
Autor: L. Popova
Tytuł: On Time {P}etri Nets
Rok: 1991
Abstract:
Autor: L. Popova and S. Marek
Tytuł: {TINA} - a Tool for Analyzing Paths in {TPNs}
Rok: 1998
Abstract:
Autor: L. Popova-Zeugmann
Tytuł: Essential States in Time {P}etri Nets
Rok: 1998
Abstract:
Autor: L. Popova-Zeugmann and D. Schlatter
Tytuł: Analyzing Paths in Time {P}etri Nets
Rok: 1999
Abstract:
Autor: M. Prasad and A. Biere and A. Gupta
Tytuł: A Survey of Recent Advances in {SAT}-based Formal Verification
Rok: 2005
Abstract:
Autor: V. Pratt
Tytuł: A Decidable Mu-Calculus
Rok: 1981
Abstract:
Autor: H. Qin
Tytuł: Efficient Verification of Determinate Processes
Rok: 1991
Abstract:
Autor: J. P. Quielle and J. Sifakis
Tytuł: Specification and Verification of Concurrent Systems in {CESAR}
Rok: 1981
Abstract:
Autor: F. Raimondi and A. Lomuscio
Tytuł: Verification of Multiagent Systems via Ordered Binary Decision Diagrams:...
Rok: 2004
Abstract:
Autor: Y. S. Ramakrishma and S. A. Smolka
Tytuł: Partial-Order Reduction in the Weak Modal Mu-Calculus
Rok: 1997
Abstract:
Autor: A. S. Rao and M. Georgeff
Tytuł: Modeling Rational Agents within a {BDI}-Architecture
Rok: 1991
Abstract:
Autor: A. S. Rao
Tytuł: {AgentSpeak(L)}: {BDI} Agents Speak Out in a Logical Computable Language
Rok: 1996
Abstract:
Autor: A. Ratzer and L. Wells and H. Lassen and M. Laursen and J. Qvortrup and ...
Tytuł: {CPN} {T}ools for Editing, Simulating, and Analyzing Coloured {P}etri Nets
Rok: 2003
Abstract:
Autor: G. Rozenberg and P. S. Thiagarajan
Tytuł: {P}etri Nets: Basic Notions, Structure, Behaviour
Rok: 1986
Abstract:
Autor: S. Samolej and T. Szmuc
Tytuł: Modelowanie system{'o}w czasu rzeczywistego z zastosowaniem czasowych si...
Rok: 2002
Abstract:
Autor: K. Schmidt
Tytuł: Stubborn Sets for Model Checking the {EF$slash$AG} Fragment of {CTL}
Rok: 1999
Abstract:
Autor: P. Schnoebellen
Tytuł: The Complexity of Temporal Logic Model Checking
Rok: 2002
Abstract:
Autor: P. S{'e}nac and M. Diaz and {P. de} {Saqui Sannes}
Tytuł: Toward a Formal Specification of Multimedia Scenarios
Rok: 1994
Abstract:
Autor: S. Seshia and R. Bryant
Tytuł: Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean...
Rok: 2003
Abstract:
Autor: M. Sheeran and S. Singh and G. St{aa}lmarck
Tytuł: Checking Safety Properties Using Induction and a {SAT}-Solver
Rok: 2000
Abstract:
Autor: N. V. Shilov and K. Yi
Tytuł: On Expressive and Model Checking Power of Propositional Program Logics
Rok: 2001
Abstract:
Autor: R. E. Shostak
Tytuł: Deciding Linear Inequalities by Computing Loop Residues
Rok: 1981
Abstract:
Autor: R. E. Shostak
Tytuł: Deciding Combinations of Theories
Rok: 1984
Abstract:
Autor: R. L. Spelberg and H. Toetenel and M. Ammerlaan
Tytuł: Partition Refinement in Real-Time Model Checking
Rok: 1998
Abstract:
Autor: J. Srba
Tytuł: Timed-Arc {P}etri Nets vs. Networks of Timed Automata
Rok: 2005
Abstract:
Autor: C. Stirling
Tytuł: Comparing Linear and Branching Time Temporal Logics
Rok: 1989
Abstract:
Autor: O. Strichman
Tytuł: Tuning {SAT} Checkers for Bounded Model Checking
Rok: 2000
Abstract:
Autor: O. Strichman and S. Seshia and R. Bryant
Tytuł: Deciding Separation Formulas with {SAT}
Rok: 2002
Abstract:
Autor: J. Sifakis and S. Yovine
Tytuł: Compositional Specification of Timed Systems
Rok: 1996
Abstract:
Autor: M. Singh and A. S. Rao and M. Georgeff
Tytuł: Multiagent Systens: A Modern Approach to Distributed Artifical Intelligence
Rok: 1999
Abstract:
Autor: F. Somenzi
Tytuł: {CUDD}: {CU} Decision Diagram Package - Release 2.3.1
Rok:
Abstract:
Autor: K. Strehl and L. Thiele
Tytuł: Interval Diagram Techniques for Symbolic Model Checking of {P}etri Nets
Rok: 1999
Abstract:
Autor: M. Szreter and W. Penczek
Tytuł: Automatyczna weryfikacja system'{o}w czasu rzeczywistego
Rok: 2000
Abstract:
Autor: M. Szreter and W. Penczek
Tytuł: More Than One, Less Than All -- Linear To Branching Revisited
Rok: 2000
Abstract:
Autor: M. Szreter
Tytuł: Partial Order Reductions for {TCTL} in Automata Model Checking
Rok: 2002
Abstract:
Autor: M. Szreter
Tytuł: Applying Partial Order Reductions to Bounded Model Checking of Reachabil...
Rok: 2003
Abstract:
Autor: M. Szreter
Tytuł: Selective Search in Bounded Model Checking of Reachability Properties
Rok: 2005
Abstract:
Autor: M. Szreter
Tytuł: Generalized Blocking Clauses in Unbounded Model Checking
Rok: 2006
Abstract:
Autor: M. Talupur and N. Sinha and O. Strichman and A. Pnueli
Tytuł: Range Allocation for Separation Logic
Rok: 2004
Abstract:
Autor: S. Ta{c s}iran and R. Alur and R. Kurshan and R. Brayton
Tytuł: Verifying Abstractions of Timed Systems
Rok: 1996
Abstract:
Autor: A. Tarski
Tytuł: A Lattice-Theoretical Fixpoint Theorem and Its Applications
Rok: 1955
Abstract:
Autor: S. Tripakis and S. Yovine
Tytuł: Analysis of Timed Systems Based on Time-Abstracting Bisimulations
Rok: 1996
Abstract:
Autor: S. Tripakis and C. Courcoubetis
Tytuł: Extending {P}romela and {SPIN} to Real-Time
Rok: 1996
Abstract:
Autor: S. Tripakis
Tytuł: Minimization of Timed Systems
Rok: 1998
Abstract:
Autor: S. Tripakis
Tytuł: Timed Diagnostic for Reachability Properties
Rok: 1999
Abstract:
Autor: S. Tripakis and S. Yovine
Tytuł: Analysis of Timed Systems Using Time-Abstracting Bisimulations
Rok: 2001
Abstract:
Autor: S. Tripakis and S. Yovine and A. Bouajjani
Tytuł: Checking Timed {B}{u}chi Automata Emptiness Efficiently
Rok: 2005
Abstract:
Autor: J. Tsai and S. Yang and Y. Chang
Tytuł: Timing Constraint {P}etri Nets and Their Application to Schedulability A...
Rok: 1995
Abstract:
Autor: A. Valmari
Tytuł: Stubborn Sets for Reduced State Space Generation
Rok: 1989
Abstract:
Autor: A. Valmari
Tytuł: A Stubborn Attack on State Explosion
Rok: 1990
Abstract:
Autor: A. Valmari
Tytuł: Stubborn Set Methods for Process Algebras
Rok: 1997
Abstract:
Autor: B. Vergauwen and J. Lewi
Tytuł: A Linar Local Model Checking Algorithm for {CTL}
Rok: 1993
Abstract:
Autor: I. B. Virbitskaite and E. A. Pokozy
Tytuł: A Partial Order Method for the Verification of Time {P}etri Nets
Rok: 1999
Abstract:
Autor: W. Visser and K. Havelund and G. Brat and S. Park
Tytuł: Model Checking Programs
Rok: 2000
Abstract:
Autor: A. Voronkov
Tytuł: Logic in Computer Science ({CS}3181)
Rok: 2001
Abstract:
Autor: B. Walter
Tytuł: Timed {P}etri Nets for Modelling and Analysing Protocols with Real-Time ...
Rok: 1983
Abstract:
Autor: F. Wang
Tytuł: Efficient Data Structure of Fully Symbolic Verification of Real-Time Sof...
Rok: 2000
Abstract:
Autor: F. Wang
Tytuł: Region {E}ncoding {D}iagram for Fully Symbolic Verification of Real-Time...
Rok: 2000
Abstract:
Autor: F. Wang
Tytuł: {R{sc ed}}: Model Checker for Timed Automata with Clock-Restriction Diagram
Rok: 2001
Abstract:
Autor: F. Wang
Tytuł: Verification of Timed Automata with {BDD}-like Data Structures
Rok: 2003
Abstract:
Autor: P. F. Williams and A. Biere and E. Clarke and A. Gupta
Tytuł: Combining Decision Diagrams and {SAT} Procedures for Efficient Symbolic ...
Rok: 2000
Abstract:
Autor: B. Willems and P. Wolper
Tytuł: Partial-Order Methods for Model Checking: From Linear Time to Branching ...
Rok: 1996
Abstract:
Autor: J. Winkowski
Tytuł: Modelling Timed Behaviours with the Aid of Event and Configuration Struc...
Rok: 1993
Abstract:
Autor: P. Wolper and P. Godefroid
Tytuł: Partial Order Methods for Temporal Verification
Rok: 1993
Abstract:
Autor: M. Wooldridge
Tytuł: Computationally Grounded Theories of Agency
Rok: 2000
Abstract:
Autor: M. Wooldridge and M. Fisher and M. P. Huget and S. Parsons
Tytuł: Model Checking Multiagent Systems with {MABLE}
Rok: 2002
Abstract:
Autor: B. Wo{'z}na
Tytuł: Ograniczona weryfikacja modelowa dla system{'o}w czasowych
Rok: 2001
Abstract:
Autor: B. Wo{'z}na
Tytuł: Symboliczne kodowanie sieci wsp{'o}{l }bie{.z}nych automat{'o}w czasowych
Rok: 2002
Abstract:
Autor: B. Wo{'z}na and W. Penczek and A. Zbrzezny
Tytuł: Reachability for Timed Systems Based on {SAT}-Solvers
Rok: 2002
Abstract:
Autor: B. Wo{'z}na
Tytuł: {ACTL}$^*$ Properties and Bounded Model Checking
Rok: 2003
Abstract:
Autor: B. Wo{'z}na and A. Zbrzezny and W. Penczek
Tytuł: Checking Reachability Properties for Timed Automata via {SAT}
Rok: 2003
Abstract:
Autor: B. Wo{'z}na and A. Zbrzezny
Tytuł: Checking {ACTL}$^*$ Properties of Discrete Timed Automata via Bounded Mo...
Rok: 2004
Abstract:
Autor: B. Wo{'z}na and A. Lomuscio and W. Penczek
Tytuł: Bounded Model Checking for Knowledge over Real Time
Rok: 2004
Abstract:
Autor: B. Wo{'z}na
Tytuł: {ACTL$^*$} Properties and Bounded Model Checking
Rok: 2004
Abstract:
Autor: M. Yannakakis and D. Lee
Tytuł: An Efficient Algorithm for Minimizing Real-Time Transition Systems
Rok: 1993
Abstract:
Autor: W. Yi and P. Pettersson and M. Daniels
Tytuł: Automatic Verification of Real-Time Communicating Systems by Constraint-...
Rok: 1994
Abstract:
Autor: T. Yoneda and H. Hatori and A. Takahara and S. Minato
Tytuł: {BDDs} vs. {Z}ero-{S}upressed {BDDs}: For {CTL} Symbolic Model Checking ...
Rok: 1996
Abstract:
Autor: T. Yoneda and B. H. Schlingloff
Tytuł: Efficient Verification of Parallel Real-Time Systems
Rok: 1997
Abstract:
Autor: S. Yovine
Tytuł: {KRONOS}: A Verification Tool for Real-Time Systems
Rok: 1997
Abstract:
Autor: S. Yovine
Tytuł: Model Checking Timed Automata
Rok: 1997
Abstract:
Autor: A. Zbrzezny
Tytuł: Improvements in {SAT}-based Reachability Analysis for Timed Automata
Rok: 2003
Abstract:
Autor: A. Zbrzezny
Tytuł: Improvements in {SAT}-based Reachability Analysis for Timed Automata
Rok: 2004
Abstract:
Autor: A. Zbrzezny
Tytuł: A New Discretization for Timed Automata
Rok: 2004
Abstract:
Autor: A. Zbrzezny
Tytuł: {SAT}-based Reachability Checking for Timed Automata with Diagonal Const...
Rok: 2005
Abstract:
Autor: A. Zbrzezny and A. P{'o}{l }rola
Tytuł: {SAT}-Based Reachability Checking for Timed Automata with Discrete Data
Rok: 2006
Abstract:
Autor: A. Zbrzezny
Tytuł: Improving the Translation from {ECTL} to {SAT}
Rok: 2008
Abstract:
Autor: A. Zbrzezny
Tytuł: A new translation from {ECTL}$^*$ to {SAT}
Rok: 2012
Abstract:
Autor: A. Zbrzezny and B. Wo{'z}na
Tytuł: Towards verification of {J}ava Programs in {Ver{scriptsize ICS}}
Rok: 2008
Abstract:
Autor: S. Zennou and M. Yguel and P. Niebert
Tytuł: {ELSE}: A New Symbolic State Space Generator for Timed Automata
Rok: 2004
Abstract:
Autor: H. Zhang
Tytuł: {SATO}: An Efficient Propositional Prover
Rok: 1997
Abstract:
Autor: L. Zhang
Tytuł: {Zchaff}
Rok: 2001
Abstract:
Autor: L. Zhang and C. Madigan and M. Moskewicz and S. Malik
Tytuł: Efficient Conflict Driven Learning in a Boolean Satisfiability Solver
Rok: 2001
Abstract:
Autor: W. Zielonka
Tytuł: Notes on Finite Asynchronous Automata.
Rok: 1987
Abstract:
Autor:
Tytuł: {ISO 8807} - Information Processing Systems - {O}pen {S}ystem {I}ntercon...
Rok: 1989
Abstract:
Autor:
Tytuł: {ISO 9074} - {Information Processing Systems - Open System Interconnecti...
Rok: 1989
Abstract:
Autor:
Tytuł: {ISO$slash$IEC 9074(E)}
Rok: 1997
Abstract:
Autor:
Tytuł: Romeo: A tool for Time {P}etri Net Analysis
Rok: 2000
Abstract:
Autor:
Tytuł: {SATLIB} - Solvers
Rok: 2002
Abstract:
Autor:
Tytuł: {ITU-T} Recommendation {Z.100(11$slash$99)}: Languages for Telecommunica...
Rok: 1999
Abstract:
Autor:
Tytuł: {SPIN} - Formal Verification
Rok: 2004
Abstract:
Autor: S. Roch and P. Starke
Tytuł: {INA}: Integrated Net Analyser. Version 2.2
Rok: 1999
Abstract:
Autor: B. Wo{'z}na and A. Lomuscio and W. Penczek
Tytuł: Bounded Model Checking for Deontic Interpreted Systems
Rok: 2005
Abstract:
Autor: M. Kacprzak and A. Lomuscio and A. Niewiadomski and W. Penczek and F. Ra...
Tytuł: Comparing {BDD} and {SAT} Based Techniques for Model Checking {C}haum's ...
Rok: 2006
Abstract:
Autor: B. Wo{'z}na and A. Lomuscio and W. Penczek
Tytuł: Bounded Model Checking for Knowledge and Real Time
Rok: 2005
Abstract:
Autor: A. Lomuscio and F. Raimondi
Tytuł: {MCMAS}: A Model Checker for Multi-Agent Systems
Rok: 2006
Abstract:
Autor: A. Lomuscio and B. Wo{'zna} and A. Zbrzezny
Tytuł: Bounded Model Checking Real-Time Multi-Agent Systems with Clock Differen...
Rok: 2006
Abstract:
Autor:
Tytuł: Mini{S}at
Rok: 2006
Abstract:
Autor:
Tytuł: Ver{scriptsize ICS} {G}roup's papers on {MAS}
Rok: 2006
Abstract:
Autor:
Tytuł: Ver{scriptsize ICS} {G}roup's papers on {RTS}
Rok: 2006
Abstract:
Autor:
Tytuł: Berk{M}in
Rok: 2006
Abstract:
Autor:
Tytuł: R{S}at
Rok: 2006
Abstract:
Autor: A. Lomuscio and B. Wo{'zna} and A. Zbrzezny
Tytuł: Bounded Model Checking Real-Time Multi-Agent Systems with Clock Differen...
Rok: 2007
Abstract:
Autor: A. Zbrzezny and A. P{'o}{l }rola
Tytuł: {SAT}-Based Reachability Checking for Timed Automata with Discrete Data
Rok: 2007
Abstract:
Autor: M. Kurkowski and W. Penczek and A. Zbrzezny
Tytuł: {SAT}-Based Verification of Security Protocols Using Networks of Automata
Rok: 2007
Abstract:
Autor: M. Guti{'e}rrez and M. Barrio-Sol{'o}rzano and C. Quintero...
Tytuł: UML Automatic Verification Tool with Formal Methods
Rok: 2005
Abstract:
Autor: A. Lomuscio and C. Pecheur and F. Raimondi
Tytuł: Automatic Verification of Knowledge and Time with NuSMV
Rok: 2007
Abstract:
Autor: A. Lomuscio and W. Penczek and B. Wo{'z}na
Tytuł: Bounded model checking for knowledge and real time
Rok: 2007
Abstract:
Autor: W. Penczek and M. Szreter
Tytuł: SAT}-based {U}nbounded {M}odel {C}hecking of {T}imed {A}utomata
Rok: 2007
Abstract:
Autor: M. Kacprzak and Wojciech Nabia{l}ek and A. Niewiadomski and W. Penczek and A. P{'o}{...
Tytuł: VerICS 2006 - A Model Checker for Real-Time and Multi-Agent Systems
Rok: 2007
Abstract:
Autor: A. Janowska and P. Janowski and D. Wr{'o}blewski
Tytuł: Translation of Intermediate Language to Timed Automata with Discrete Data
Rok: 2007
Abstract:
Autor: G. Behrmann and A. David and K. Larsen and J. H{aa}kansson and P. Pettersson and W....
Tytuł: UPPAAL} 4.0
Rok: 2006
Abstract:
Autor: G, Jakubowska and W. Penczek
Tytuł: Modelling and Checking Timed Authentication of Security Protocols
Rok: 2007
Abstract:
Autor: M. Kurkowski and W. Penczek
Tytuł: Verifying Security Protocols Modelled by Networks of Automata
Rok: 2007
Abstract:
Autor: G. Jakubowska and W. Penczek
Tytuł: Is Your Security Protocol on Time?
Rok: 2007
Abstract:
Autor: P. Janowski and W. Nabia{l }ek
Tytuł: The {P}romela Verification Using {Ver{scriptsize ICS}} by Translation in...
Rok: 2007
Abstract:
Autor: B. Wo{'z}na and A. Zbrzezny and M. Orzechowski and F. Raimondi
Tytuł: Towards Verification of {J}ava Programs in {Ver{scriptsize ICS}}
Rok: 2007
Abstract:
Autor: B. Wo{'z}na and A. Zbrzezny
Tytuł: Bounded Model Checking for the Existential Fragment of {TCTL\_G} and Dia...
Rok: 2007
Abstract:
Autor: A. Armando and L. Compagna
Tytuł: An Optimized Intruder Model for {SAT}-based Model-Checking of Security Protocols.
Rok: 2005
Abstract:
Autor: A. Armando and L. Compagna
Tytuł: SAT-based model-checking for security protocols analysis
Rok: 2008
Abstract:
Autor: A. Armando and L. Compagna and P. Ganty
Tytuł: SAT}-Based Model-Checking of Security Protocols Using Planning Graph Analysis.
Rok: 2003
Abstract:
Autor: A. Armando and L. Compagna
Tytuł: SATMC}: A {SAT}-Based Model Checker for Security Protocols.
Rok: 2004
Abstract:
Autor: T. Hwang and N.-Y. Lee and C.-M. Li and M.-Y. Ko and Y.-H. Chen
Tytuł: Two Attacks on Neuman-Stubblebine Authentication Protocols.
Rok: 1995
Abstract:
Autor: A. Armando and D. Basin and Y. Boichut and Y. Chevalier and L. Compagna and J. Cuellar ...
Tytuł: The {AVISPA} Tool for the automated validation of internet security protocols and appli...
Rok: 2005
Abstract:
Autor: S. Budkowski and A. B. Alkhechi and M.-L. Benalycherif and P. Dembinski and M. Gardie a...
Tytuł: Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Prot...
Rok: 1993
Abstract:
Autor: M. Burrows and M. Abadi and R. Needham
Tytuł: A Logic of Authentication.
Rok: 1990
Abstract:
Autor: M. Boreale and M. G. Buscemi
Tytuł: Experimenting with {STA}, a tool for automatic analysis of security protocols.
Rok: 2002
Abstract:
Autor: F. Butler and I. Cervesato and A. D. Jaggard and A. Scedrov
Tytuł: A Formal Analysis of Some Properties of Kerberos 5 Using {MSR}.
Rok: 2002
Abstract:
Autor: S. Budkowski and P. Dembinski
Tytuł: An Introduction to Estelle: A Specification Language for Distributed Systems.
Rok: 1987
Abstract:
Autor: B. Blanchet
Tytuł: An Efficient Cryptographic Protocol Verifier Based on {P}rolog Rules.
Rok: 2001
Abstract:
Autor: L. Bozga and Y. Lakhnech and M. P{'e}rin
Tytuł: Pattern-Based Abstraction for Verifying Secrecy in Protocols.
Rok: 2003
Abstract:
Autor: S. M. Bellovin and M. Merritt
Tytuł: Limitations of the Kerberos Authentication System.
Rok: 1991
Abstract:
Autor: D. A. Basin and S. M{o}dersheim and L. Vigan{`o
Tytuł: OFMC}: A symbolic model checker for security protocols.
Rok: 2005
Abstract:
Autor: G. Bella and L. C. Paulson
Tytuł: Kerberos Version 4: Inductive Analysis of the Secrecy Goals.
Rok: 1998
Abstract:
Autor: G. Bella and E. Riccobene
Tytuł: Formal Analysis of the Kerberos Authentication System.
Rok: 1997
Abstract:
Autor: H. Comon-Lundh and V. Cortier
Tytuł: Security Properties: Two Agents Are Sufficient
Rok: 2003
Abstract:
Autor: H. Comon-Lundh and V. Cortier
Tytuł: Security properties: two agents are sufficient
Rok: 2004
Abstract:
Autor: A. Cimatti and E. M. Clarke and F. Giunchiglia and M. Roveri
Tytuł: NUSMV}: A New Symbolic Model Verifier.
Rok: 1999
Abstract:
Autor: H. Comon and V. Cortier and J. Mitchell
Tytuł: Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols.
Rok: 2001
Abstract:
Autor: V. Cortier and S. Delaune and P. Lafourcade
Tytuł: A survey of algebraic properties used in cryptographic protocols
Rok: 2006
Abstract:
Autor: R. Corin and S. Etalle and P. H. Hartel and A. Mader
Tytuł: Timed model checking of security protocols.
Rok: 2004
Abstract:
Autor: R. Corin and S. Etalle and P. H. Hartel and A. Mader
Tytuł: Timed Analysis of Security Protocols
Rok: 2005
Abstract:
Autor: E. M. Clarke and S. Jha and W. R. Marrero
Tytuł: Verifying security protocols with Brutus.
Rok: 2000
Abstract:
Autor: E. Clarke and S. Jha and W. Marrero
Tytuł: Model checking for security protocols
Rok: 1997
Abstract:
Autor: C. Cremers and S. Mauw and E. de Vink
Tytuł: Defining authentication in a trace model
Rok: 2003
Abstract:
Autor: E. Cohen
Tytuł: TAPS}: A First-Order Verifier for Cryptographic Protocols.
Rok: 2000
Abstract:
Autor: G. Delzanno and P. Ganty
Tytuł: Automatic Verification of Time Sensitive Cryptographic Protocols.
Rok: 2004
Abstract:
Autor: P. Dembinski and G. Jakubowska
Tytuł: Modelling and Validating of Security Protocols
Rok: 2007
Abstract:
Autor: Z. Dang and R. A. Kemmerer
Tytuł: Using the {ASTRAL} Model Checker to Analyze Mobile {IP}.
Rok: 1999
Abstract:
Autor: D. E. Denning and G. M. Sacco
Tytuł: Timestamps in Key Distribution Protocols.
Rok: 1981
Abstract:
Autor: D. Dolev and A. C.-C. Yao
Tytuł: On the security of public key protocols.
Rok: 1983
Abstract:
Autor: N. Evans and S. Schneider
Tytuł: Analysing Time Dependent Security Properties in {CSP} Using {PVS}.
Rok: 2000
Abstract:
Autor: E. W. Felten and M. A. Schneider
Tytuł: Timing attacks on Web privacy
Rok: 2000
Abstract:
Autor: R. Gorrieri and E. Locatelli and F. Martinelli
Tytuł: A Simple Language for Real-Time Cryptographic Protocol Analysis.
Rok: 2003
Abstract:
Autor: L. Gong
Tytuł: A Security Risk of Depending on Synchronized Clocks.
Rok: 1992
Abstract:
Autor: L. Hohwiller and S. Wendling
Tytuł: Fieldbus Network Simulation Using a Time Extended Estelle Formalism
Rok: 2000
Abstract:
Autor: K. G. Indiradevi and V. S. S. Nair
Tytuł: Simulation Based Validation Of Authentication Protocols
Rok: 2004
Abstract:
Autor: G. Jakubowska and W. Penczek
Tytuł: Modelling and Checking Timed Authentication of Security Protocols
Rok: 2006
Abstract:
Autor: G. Jakubowska and W. Penczek and M. Srebrny
Tytuł: Verifying Security Protocols with Timestamps via Translation to Timed Automata
Rok: 2005
Abstract:
Autor: G. Jakubowska and W. Penczek
Tytuł: Towards Scenarios of External Attacks upon Security protocols
Rok: 2008
Abstract:
Autor: Magdalena Kacprzak and Alessio Lomuscio and Artur Niewiadomski and Wojciech Penczek and...
Tytuł: Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers...
Rok: 2006
Abstract:
Autor: M. Kurkowski and W. Penczek and A. Zbrzezny
Tytuł: SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
Rok: 2007
Abstract:
Autor: G. Lowe
Tytuł: Some new attacks upon security protocols.
Rok: 1996
Abstract:
Autor: G. Lowe
Tytuł: Casper: A Compiler for the Analysis of Security Protocols.
Rok: 1998
Abstract:
Autor: G. Lowe and A. W. Roscoe
Tytuł: Using {CSP} to Detect Errors in the {TMN} Protocol.
Rok: 1997
Abstract:
Autor: G. Lowe
Tytuł: An Attack on the Needham-Schroeder Public-Key Authentication Protocol.
Rok: 1995
Abstract:
Autor: B. C. Neuman and S. G. Stubblebine
Tytuł: A Note on the Use of Timestamps as Nonces.
Rok: 1993
Abstract:
Autor: R. M. Needham and M. D. Schroeder
Tytuł: Using Encryption for Authentication in Large Networks of Computers.
Rok: 1978
Abstract:
Autor: R. M. Needham and M. D. Schroeder
Tytuł: Authentication Revisited.
Rok: 1987
Abstract:
Autor: B.C. Neuman and T. Ts'o
Tytuł: Kerberos: An Authentication Service for Computer Networks
Rok: 1994
Abstract:
Autor: M. Olszewski and L. Cyra
Tytuł: An integrated framework for security protocol analysis
Rok: 2008
Abstract:
Autor: L. C. Paulson
Tytuł: The Inductive Approach to Verifying Cryptographic Protocols.
Rok: 1998
Abstract:
Autor: W. Chocianowicz and J. Peja's and A. Ruci'nski
Tytuł: The proposal of protocol for electronic signature creation in public environment
Rok: 2005
Abstract:
Autor: W. Chocianowicz and W. Mackow and A. Skrobek and P. Sukiennik and J.Pejas
Tytuł: Design and implementation of an universal module for reliable presentation of a documen...
Rok: 2004
Abstract:
Autor: M. Panti and L. Spalazzi and S. Tacconi
Tytuł: Using the {NuSMV} Model Checker to verify the Kerberos Protocol
Rok: 2002
Abstract:
Autor: A. W. Roscoe and P. J. Broadfoot
Tytuł: Proving Security Protocols with Model Checkers by Data Independence Techniques.
Rok: 1999
Abstract:
Autor: D. X. Song and S. Berezin and A. Perrig
Tytuł: Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis.
Rok: 2001
Abstract:
Autor: S. Schneider
Tytuł: Verifying Authentication Protocols in {CSP}.
Rok: 1998
Abstract:
Autor: J. G. Steiner and B. C. Neuman and J. I. Schiller
Tytuł: Kerberos: An Authentication Service for Open Network Systems.
Rok: 1988
Abstract:
Autor: D. X. Song
Tytuł: Athena: A New Efficient Automatic Checker for Security Protocol Analysis.
Rok: 1999
Abstract:
Autor:
Tytuł: Security Protocols Open Repository
Rok: 2003
Abstract:
Autor: Paul F. Syverson
Tytuł: A Taxonomy of Replay Attacks.
Rok: 1994
Abstract:
Autor: N. Su and R.N. Zobel and F.O. Iwu
Tytuł: Simulation in Cryptographic Protocol Design and Analysis
Rok: 2003
Abstract:
Autor: M. Tatebayashi and N. Matsuzaki and D. B. Newman Jr.
Tytuł: Key Distribution Protocol for Digital Mobile Communication Systems.
Rok: 1989
Abstract:
Autor: T. Y. C. Woo and S. S. Lam
Tytuł: A Semantic Model for Authentication Protocols
Rok: 1993
Abstract:
Autor: A. Yasinsac
Tytuł: Dynamic analysis of security protocols
Rok: 2000
Abstract:
Autor: V. Bruy'{e}re and E. {Dall'Olio} and J-F. Raskin
Tytuł: Durations and Parametric Model-Checking in Timed Automata
Rok: 2008
Abstract:
Autor: T. Hune and J. Romijn and M. Stoelinga and F. Vaandrager
Tytuł: Linear Parametric Model Checking of Timed Automata
Rok: 2001
Abstract:
Autor: H. Dierks and J. Tapken
Tytuł: {sc Moby/DC} - A Tool for Model-Checking Parametric Real-Time Specificat...
Rok: 2003
Abstract:
Autor: E. A. Emerson and R. Trefler
Tytuł: Parametric Quantitative Temporal Reasoning
Rok: 1999
Abstract:
Autor: J-F. Raskin and V. Bruy`{e}re
Tytuł: Real-Time Model Checking: Parameters Everywhere
Rok: 2003
Abstract:
Autor: R. Alur and T. Henzinger and M. Vardi
Tytuł: Parametric Real-Time Reasoning
Rok: 1993
Abstract:
Autor: L-M. Tranouez and D. Lime and O. H. Roux
Tytuł: Parametric Model Checking of Time {P}etri Nets with Stopwatches Using th...
Rok: 2008
Abstract:
Autor: H. Boucheneb and K. Barkaoui
Tytuł: Relevant Timed Schedules~/ Clock Valuations for Constructing Time {P}etr...
Rok: 2008
Abstract:
Autor: D. Bosnacki and D. Dams
Tytuł: Discrete-Time {P}romela and {SPIN}
Rok: 1998
Abstract:
Autor: K. Havelund and T. Pressburger
Tytuł: Model Checking {J}{sc ava} Programs Using {J}{sc ava} {P}ath{F}inder
Rok: 1998
Abstract:
Autor: T. Jussila and J. Dubrovin and T. Junttila and T. Latvala and I. Porres
Tytuł: Model Checking Dynamic and Hierarchical {UML} State Machines
Rok: 2006
Abstract:
Autor: A. Knapp and S. Merz and C. Rauh
Tytuł: Model Checking - Timed {UML} State Machines and Collaborations
Rok: 2002
Abstract:
Autor: OMG
Tytuł: {Unified Modeling Language}
Rok: 2007
Abstract:
Autor: M. Kacprzak and W. Nabia{l}ek and A. Niewiadomski and W. Penczek and A. ...
Tytuł: {Ver{scriptsize ICS}} 2008 - A Model Checker for Time {P}etri Nets and H...
Rok: 2009
Abstract:
Autor: M. Knapik and W. Penczek and M. Szreter
Tytuł: Bounded Parametric Model Checking for Elementary Net Systems
Rok: 2009
Abstract:
Autor: W. Penczek and A. P{'o}{l }rola and A. Zbrzezny
Tytuł: {SAT}-Based (Parametric) Reachability for Distributed Time {P}etri Nets
Rok: 2009
Abstract:
Autor:
Tytuł: {SOAP} Version 1.2
Rok: 2007
Abstract:
Autor:
Tytuł: {W}eb {S}ervices {D}escription {L}anguage ({WSDL}) 1.1
Rok: 2001
Abstract:
Autor:
Tytuł: {U}niversal {D}escription, {D}iscovery and {I}ntegration v3.0.2 ({UDDI})
Rok: 2005
Abstract:
Autor:
Tytuł: {W}eb {S}ervices {B}usiness {P}rocess {E}xecution {L}anguage v2.0
Rok: 2007
Abstract:
Autor: M. Klusch and A. Gerber and M. Schmidt
Tytuł: Semantic Web Service Composition Planning with {OWLS-XP}lan
Rok: 2005
Abstract:
Autor: J. Rao and P. K{u}ngas and M. Matskin
Tytuł: Logic-based Web Services Composition: From Service Description to Process...
Rok: 2004
Abstract:
Autor: E. Sirin and J. Hendler and B. Parsia
Tytuł: Semi-automatic Compositions of Web Services Using Semantic Description
Rok: 2003
Abstract:
Autor:
Tytuł: {DAML-S} (and {OWL-S}) 0.9 Draft Release
Rok: 2003
Abstract:
Autor: J. Rao and X. Su
Tytuł: A Survey of Automated Web Service Composition Methods
Rok: 2004
Abstract:
Autor: D. Redavid and L. Iannone and T. Payne
Tytuł: {OWL-S} Atomic Services Composition with {SWRL} Rules
Rok: 2008
Abstract:
Autor: B. Srivastava and J. Koehler
Tytuł: Web Service Composition - Current Solutions and Open Problems
Rok: 2003
Abstract:
Autor: M. Jarocki and A. Niewiadomski and W. Penczek and A. P{'o}{l }rola and ...
Tytuł: A Formal Approach to Composing Abstract Scenarios of Web Services
Rok: 2010
Abstract:
Autor: W. Penczek and A. P{'o}{l }rola and A. Zbrzezny
Tytuł: Towards Automatic Composition of Web Services: A {SAT}-Based Phase
Rok: 2010
Abstract:
Autor: D. Doliwa and W. Horzelski and M. Jarocki and A. Niewiadomski and W. Pen...
Tytuł: Web Service Composition Toolset
Rok: 2010
Abstract:
Autor: G. Cabodi and P. Camurati and S. Quer
Tytuł: Can {BDD} Compete with {SAT} Solvers on Bounded Model Checking?
Rok: 2002
Abstract:
Autor: A. Jones and A. Lomuscio
Tytuł: A {BDD}-based {BMC} Approach for the Verification of Multi-Agent Systems
Rok: 2009
Abstract:
Autor: H. R. Andersen
Tytuł: An Introduction to Binary Decision Diagrams
Rok: 1999
Abstract:
Autor: S. A. Cook
Tytuł: The Complexity of Theorem Proving Procedures
Rok: 1971
Abstract:
Autor: L.M. Traonouez and D. Lime and O.H. Roux
Tytuł: Parametric Model-Checking of Stopwatch Petri Nets
Rok: 2009
Abstract: At the border between control and verification, parametric verification can be used t...
Autor: H. Boucheneb and G. Gardey and O. H. Roux
Tytuł: {TCTL} Model Checking of Time {P}etri Nets
Rok: 2009
Abstract:
Autor: D. Lime and O. H. Roux
Tytuł: Model Checking of Time {P}etri Nets Using the State Class Timed Automaton
Rok: 2006
Abstract:
Autor: Alessio Lomuscio and Wojciech Penczek and Hongyang Qu
Tytuł: Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
Rok: 2008
Abstract:
Autor: Magdalena Kacprzak and Wojciech Penczek
Tytuł: Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Log...
Rok: 2005
Abstract:
Autor: Magdalena Kacprzak and Alessio Lomuscio and T. Lasica and ...
Tytuł: Verifying Multi-agent Systems via Unbounded Model Checking
Rok: 2004
Abstract:
Autor: A. Lomuscio and W. Penczek and Hongyang Qu
Tytuł: Partial order reduction for model checking interleaved multi-agent systems
Rok: 2010
Abstract:
Autor: Alessio Lomuscio and Hongyang Qu and Franco Raimondi
Tytuł: MCMAS: A Model Checker for the Verification of Multi-Agent Systems
Rok: 2009
Abstract:
Autor: A. M{c e}ski and W. Penczek and A. P{'o}{l }rola
Tytuł: {BDD}-based Bounded Model Checking for Elementary Net Systems
Rok: 2010
Abstract:
Autor: X. Huang and C. Luo and R. van der Meyden
Tytuł: Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
Rok: 2011
Abstract:
Autor: F. Raimondi and A. Lomuscio
Tytuł: Automatic verification of multi-agent systems by model checking via {OBDD}s
Rok: 2007
Abstract:
Autor: K. Su and Abdul Sattar and Xiangyu Luo
Tytuł: Model Checking Temporal Logics of Knowledge Via {OBDD}s
Rok: 2007
Abstract:
Autor:
Tytuł: {http:$slash$$slash$pegaz.ipipan.waw.pl$slash$verics$slash$}
Rok:
Abstract:
Autor: M.~Kacprzak and W. Nabial{}ek and A. Niewiadomski and W. Penczek and A. P{'o}l{}rola a...
Tytuł: VerICS 2007 - a Model Checker for Knowledge and Real-Time
Rok: 2008
Abstract:
Autor: A. V. Jones and A. Lomuscio
Tytuł: Distributed {BDD}-based {BMC} for the verification of multi-agent systems
Rok: 2010
Abstract:
Autor: W.~Penczek and B.~Wo'{z}na-Szcze'{s}niak and A.~Zbrzezny
Tytuł: Towards {SAT}-based {BMC} for {LTLK} over Interleaved Interpreted Systems.
Rok: 2011
Abstract:
Autor: A. Mc{e}ski and W.~Penczek and M. Szreter
Tytuł: Bounded Model Checking Linear Time and Knowledge Using Decision Diagrams
Rok: 2011
Abstract:
Autor: A. Mc{e}ski and W. Penczek and M. Szreter
Tytuł: BDD-based Bounded Model Checking for LTLK over Two Variants of Interpreted Systems
Rok: 2012
Abstract:
Autor: A. Mc{e}ski and W. Penczek and M. Szreter and B. Wo'{z}na-Szcze'{s}niak and A. Zbrzezny
Tytuł: Bounded Model Checking for Knowledge and Linear Time
Rok: 2012
Abstract:
Autor: A. Mc{e}ski and W. Penczek and M. Szreter and B. Wo'{z}na-Szcze'{s}niak and A. Zbrzezny
Tytuł: Two approaches to bounded model checking for linear time logic with knowledge
Rok: 2012
Abstract:
Link do publikacji: Pobierz publikację
Autor: B. Wo'{z}na-Szcze'{s}niak and A. Zbrzezny
Tytuł: SAT-based Bounded Model Checking for Deontic Interleaved Interpreted Systems
Rok: 2012
Abstract:
Autor: W. Penczek and B. Wo'zna-Szcze'sniak and A. Zbrzezny
Tytuł: Towards {SAT}-based {BMC} for {LTLK} over Interleaved Interpreted Systems
Rok: 2012
Abstract:
Autor: A. Biere and K. Heljanko and T. Junttila and T. Latvala and V. Schuppan
Tytuł: Linear Encodings of Bounded {LTL} Model Checking
Rok: 2006
Abstract:
Autor: W. Jamroga and W. Penczek
Tytuł: Specification and Verification of Multi-Agent Systems
Rok: 2012
Abstract:
Autor: N. Bulling and W. Jamroga
Tytuł: Model Checking Agents with Memory Is Harder than It Seemed
Rok: 2010
Abstract:
Autor: L. A. Dennis and M. Fisher and M. P. Webster and R. H. Bordini
Tytuł: Model checking agent programming languages
Rok: 2012
Abstract:
Autor: R. H. Bordini and M. Fisher and M. Wooldridge and W. Visser
Tytuł: Property-based Slicing for Agent Verification
Rok: 2009
Abstract:
Autor: N. Troquard and W. Van Der Hoek and M. Wooldridge
Tytuł: Model checking strategic equilibria
Rok: 2009
Abstract:
Autor: W. Jamroga and J. Dix
Tytuł: Model Checking Abilities of Agents: A Closer Look
Rok: 2008
Abstract:
Autor: B. Wo{'z}na-Szcze'{s}niak and A. M. Zbrzezny and A. Zbrzezny
Tytuł: The {BMC} method for the existential part of {RTCTLK} and interleaved interpreted systems
Rok: 2011
Abstract:
Autor: B. Wo'{z}na-Szcze'{s}niak and A. Zbrzezny
Tytuł: SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Sys...
Rok: 2013
Abstract:
Autor: M. Pradella and A. Morzenti and P. San Pietro
Tytuł: A Metric Encoding for Bounded Model Checking
Rok: 2009
Abstract:
Autor: A. Mc{e}ski and B. Wo'{z}na-Szcze'{s}niak and A. M. Zbrzezny and A. Zbrzezny
Tytuł: Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tre...
Rok: 2013
Abstract: