| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Parosh Aziz Abdulla |
Regular model checking.  |
STTT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
Regular model checking for LTL(MSO). |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
Counter-Example Guided Fence Insertion under TSO. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
A classification of the expressive power of well-structured transition systems. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Richard Mayr |
Computing Optimal Coverability Costs in Priced Timed Petri Nets |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla |
Carrying Probabilities to the Infinite World. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar |
Advanced Ramsey-Based Büchi Automata Inclusion Testing. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, K. Rustan M. Leino (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso |
On the Verification of Timed Ad Hoc Networks. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar |
Monotonic Abstraction for Programs with Multiply-Linked Structures. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Richard Mayr |
Computing Optimal Coverability Costs in Priced Timed Petri Nets. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla |
Well (and better) quasi-ordered transition systems. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi |
Sampled Semantics of Timed Automata |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine |
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar |
When Simulation Meets Antichains. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar |
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati |
Analyzing the Security in the GSM Radio Network Using Attack Jungles. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla |
Forcing Monotonicity in Parameterized Verification: From Multisets to Words. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
Monotonic Abstraction: on Efficient Verification of Parameterized Systems. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Composed Bisimulation for Tree Automata. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar |
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi |
Universality of R-automata with Value Copying. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Approximated parameterized verification of infinite-state processes with global conditions. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Unbounded processes, Over-approximation, Parameterized systems |
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Approximated Context-Sensitive Analysis for Parameterized Verification. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji |
Automated Analysis of Data-Dependent Programs with Dynamic Memory. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Automatic Verification of Directory-Based Consistency Protocols. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla |
Infinite-State Verification: From Transition Systems to Markov Chains. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Markov Chains, Program Verification, Infinite-State Systems |
| 1 | Parosh Aziz Abdulla, Richard Mayr |
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar |
Mediating for Reduction (on Minimizing Alternating Büchi Automata). |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl |
Model checking race-freeness. |
SIGARCH Computer Architecture News |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Parameterized Verification. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso |
Monotonic and Downward Closed Games. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell |
Universality Analysis for One-Clock Timed Automata. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi |
R-Automata. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine |
Parameterized Tree Systems. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Computing Simulations over Tree Automata. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Action. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine |
Monotonic Abstraction for Programs with Dynamic Memory Heaps. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
Handling Parameterized Systems with Non-atomic Global Conditions. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
On the Qualitative Analysis of Conformon P Systems. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Composed Bisimulation for Tree Automata. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg |
Stochastic Games with Lossy Channels. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johanna Högberg, Lisa Kaati |
Bisimulation Minimization of Tree Automata. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr |
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr |
Decisive Markov Chains. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr |
Decisive Markov Chains |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén |
Using Forward Reachability Analysis for Verification of Timed Petri Nets. |
Nord. J. Comput. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell |
Zone-Based Universality Analysis for Single-Clock Timed Automata. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Parameterized Verification of Infinite-State Processes with Global Conditions. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
Comparing the Expressive Power of Well-Structured Transition Systems. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
well-structured systems, language theory, Expressiveness |
| 1 | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi |
Sampled Universality of Timed Automata. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine |
Tree regular model checking: A simulation-based approach. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr |
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena |
Proving Liveness by Backwards Reachability. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm |
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. |
Software Verification: Infinite-State Model Checking and Static Program Analysis |
2006 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.) |
Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006 |
Software Verification: Infinite-State Model Checking and Static Program Analysis |
2006 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm |
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. |
Software Verification: Infinite-State Model Checking and Static Program Analysis |
2006 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg |
Eager Markov Chains. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg |
Limiting Behavior of Markov Chains with Eager Attractors. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Lisa Kaati, Johanna Högberg |
Bisimulation Minimization of Tree Automata. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
Simulating perfect channels with probabilistic lossy channels. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Ph. Schnoebelen |
Verification of probabilistic systems with faulty communication. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata |
Closed, Open, and Robust Timed Networks. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine |
Simulation-Based Iteration of Tree Transducers. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell |
Decidability and Complexity Results for Timed Automata via Channel Machines. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla |
Verification of Parameterized Timed Systems. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr |
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson |
Minimization of Non-deterministic Automata with Large Alphabets. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Aletta Nylén |
Better Quasi-Ordered Transition Systems |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén |
SAT-Solving the Coverability Problem for Petri Nets. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
Petri nets, unfoldings, coverability, infinite state systems, partial-order methods |
| 1 | Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson |
Using Forward Reachability Analysis for Verification of Lossy Channel Systems. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
model checking, automata, protocol verification, infinite-state systems |
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena |
A Survey of Regular Model Checking. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén |
Forward Reachability Analysis of Timed Petri Nets. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
Regular Model Checking for LTL(MSO). |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund |
Designing Safe, Reliable Systems Using Scade. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johan Deneaux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund |
Designing Safe, Reliable Systems using Scade. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata |
Multi-Clock Timed Networks. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr |
Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Model checking of systems with many identical timed processes. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
Algorithmic Improvements in Regular Model Checking. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso |
Deciding Monotonic Games. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Alexander Moshe Rabinovich |
Verification of Probabilistic Systems with Faulty Communication. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
Regular Model Checking Made Simple and Efficient. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso |
Regular Tree Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Ensuring completeness of symbolic verification methods for infinite-state systems. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Channel Representations in Protocol Verification. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Aletta Nylén |
Timed Petri Nets and BQOs. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani |
Effective Lossy Queue Languages. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
Algorithmic Analysis of Programs with Well Quasi-ordered Domains. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
Reasoning about Probabilistic Lossy Channel Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Per Bjesse, Niklas Eén |
Symbolic Reachability Analysis Based on SAT-Solvers. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén |
Unfoldings of Unbounded Petri Nets. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Invited Tutorial: Verification of Infinite-State and Parameterized Systems. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Aletta Nylén |
Better is Better than Well: On Efficient Verification of Infinite-State Systems. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
lossy channel systems, integral relational automata, model checking, Verification, timed Petri nets, infinite-state systems, broadcast protocols |
| 1 | Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani |
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
On the Existence of Network Invariants for Verifying Parameterized Systems. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")