Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
8 | Hagen Völzer |
On Randomization Versus Synchronization in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 1214-1226, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Jeff Magee, Jeff Kramer |
Model-Based Design of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 211-219, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Stephen D. Brookes |
Retracing the Semantics of CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 1-14, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi |
Büchi Complementation Made Tighter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 64-78, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Zoe C. H. Yu, Francis C. M. Lau 0001, Cho-Li Wang |
Exploiting Java Objects Behavior for Memory Management and Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 437-452, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Gérard Le Lann |
Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Charles Lakos, Laure Petrucci |
Modular Analysis of Systems Composed of Semiautonomous Subsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 185-196, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | ZhiWu Li 0001, XiangFeng Zhang |
A deadlock prevention approach using elementary siphons for a class of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1728-1733, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Elzbieta Roszkowska |
Recognizing and handling the livelock problem in AGV systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1637-1642, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | ZhiWu Li 0001, YunAn Zhi, MengChu Zhou |
A polynomial algorithm to find a set of elementary siphons in a class of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4861-4866, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | ZhiWu Li 0001, MengChu Zhou |
Some results and open problems concerning elementary siphons of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1717-1722, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Marc Bourcerie, Jean-Yves Morel |
On the analysis and synthesis of coloured Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1625-1630, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | ZhiWu Li 0001, Anrong Wang, Hua Lin |
A deadlock prevention approach for FMS using siphons and the theory of regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (6) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 5079-5084, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna |
Constraint-Based Linear-Relations Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 53-68, 2004, Springer, 3-540-22791-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi |
Byzantine disk paxos: optimal resilience with byzantine shared memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 226-235, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
termination conditions, consensus, Byzantine failures, shared-memory emulations |
8 | Paul Groth, Michael Luck, Luc Moreau 0001 |
A Protocol for Recording Provenance in Service-Oriented Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 124-139, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
recording provenance, web services, grids, provenance, lineage |
8 | Marc Shapiro 0001, Karthikeyan Bhargavan, Nishith Krishna |
A Constraint-Based Formalism for Consistency in Replicated Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 331-345, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | E. V. Kouzmin, Nikolay V. Shilov 0002, Valery A. Sokolov |
Model Checking mu-Calculus in Well-Structured Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France, pp. 152-155, 2004, IEEE Computer Society, 0-7695-2155-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Alessandro Artale |
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France, pp. 79-86, 2004, IEEE Computer Society, 0-7695-2155-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Guangping Qin, Jinzhao Wu |
Branching Time Equivalences for Interactive Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE Workshops ![In: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004, pp. 156-169, 2004, Springer, 3-540-23169-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Samia Souissi, Xavier Défago, Takuya Katayama |
Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan, pp. 554-560, 2004, IEEE Computer Society, 0-7695-2087-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Alper Sen 0001, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra |
Formal Verification of a System-on-Chip Using Computation Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA, pp. 810-819, 2004, IEEE Computer Society, 0-7803-8581-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Andreas Podelski, Andrey Rybalchenko |
A Complete Method for the Synthesis of Linear Ranking Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 239-251, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito |
Measuring Notification Loss in Publish/Subscribe Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti, pp. 84-93, 2004, IEEE Computer Society, 0-7695-2076-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Vivekananda M. Vedula, Whitney J. Townsend, Jacob A. Abraham |
Program Slicing for ATPG-Based Property Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 17th International Conference on VLSI Design (VLSI Design 2004), with the 3rd International Conference on Embedded Systems Design, 5-9 January 2004, Mumbai, India, pp. 591-596, 2004, IEEE Computer Society, 0-7695-2072-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Sumit Kumar Basu |
t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing - IWDC 2004, 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings, pp. 138-143, 2004, Springer, 3-540-24076-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Maria Sorea |
Lazy Approximation for Dense Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS/FTRTFT ![In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp. 363-378, 2004, Springer, 3-540-23167-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Dilsun Kirli Kaynar, Nancy A. Lynch |
Decomposing Verification of Timed I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS/FTRTFT ![In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp. 84-101, 2004, Springer, 3-540-23167-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal |
The Rhapsody UML Verification Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 174-183, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Axel Wabenhorst |
Stepwise development of fair distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(4), pp. 233-271, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
Conditions on input vectors for consensus solvability in asynchronous distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 50(6), pp. 922-954, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fault-tolerance, message-passing, shared memory, Asynchronous systems, crash failures, atomic registers, consensus problem |
8 | Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, Alberto Córdoba |
A Safe Algorithm for Resolving OR Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(7), pp. 608-622, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, OR request model, distributed systems, distributed algorithms |
8 | Li Ma 0001, Tieniu Tan, Yunhong Wang, Dexin Zhang |
Personal Identification Based on Iris Texture Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 25(12), pp. 1519-1533, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multichannel spatial filters, biometrics, texture analysis, Iris recognition, image quality assessment |
8 | Dong Yang, Shen-sheng Zhang |
Using p - calculus to Formalize UML Activity Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA, pp. 47-54, 2003, IEEE Computer Society, 0-7695-1917-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Dimane Mpoeleng, Paul D. Ezhilchelvan, Neil A. Speirs |
From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 227-236, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Authenticated Byzantine failures, fail- signal, CORBA, group communication, self-checking, total order, State machine replication |
8 | Ajoy Kumar Datta, Rachid Hadid, Vincent Villain |
A New Self-Stabilizing k-out-of-l Exclusion Algorithm on Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-Stabilizing Systems ![In: Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings, pp. 113-128, 2003, Springer, 3-540-40453-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
k-out-of-$ell$ exclusion, $ell$-exclusion, Fault-tolerance, self-stabilization, mutual exclusion |
8 | Jorge Júlvez, Laura Recalde, Manuel Silva Suárez |
On Reachability in Autonomous Continuous Petri Net Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 221-240, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen |
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 450-462, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Marc Boyer, Mihaela Sighireanu |
Synthesis and Verification of Constraints in the PGM Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 264-281, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
PGM protocol, real-time multicast protocol, finite and timed model-checking, parameterized verification, constraint synthesis |
8 | Andreas Schäfer 0001 |
Combining Real-Time Model-Checking and Fault Tree Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 522-541, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Real-time systems, model-checking, fault tree analysis |
8 | Jie Liu 0001, Edward A. Lee |
On the Causality of Mixed-Signal and Hybrid Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, pp. 328-342, 2003, Springer, 3-540-00913-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Gerald C. Gannod, Shilpa Murthy |
Verification of Recovered Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 11th International Workshop on Program Comprehension (IWPC 2003), May 10-11, 2003, Portland, Oregon, USA, pp. 258-265, 2003, IEEE Computer Society, 0-7695-1883-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Tamarah Arons, Amir Pnueli, Lenore D. Zuck |
Parameterized Verification by Probabilistic Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 87-102, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Atsushi Ohori |
Register Allocation by Proof Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 399-413, 2003, Springer, 3-540-00886-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Verifying Temporal Heap Properties Specified via Evolution Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 204-222, 2003, Springer, 3-540-00886-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Satoshi Yamane |
Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 527-533, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | E. Allen Emerson, Vineet Kahlon |
Exact and Efficient Verification of Parameterized Cache Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings, pp. 247-262, 2003, Springer, 3-540-20363-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Seongyeol Kim, Okbin Lee, Yeijin Lee, Yongeun Bae, Ilyong Chung |
Application of Fiat-Shamir Identification Protocol to Design of a Secure Mobile Agent System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, pp. 763-770, 2003, Springer, 3-540-20409-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Michele Bugliesi, Ambra Ceccato, Sabina Rossi |
Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings, pp. 364-375, 2003, Springer, 3-540-40543-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Helen Treharne, Steve A. Schneider, Marchia Bramble |
Composing Specifications Using Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 58-78, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms |
8 | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, pp. 166-177, 2003, IEEE Computer Society, 0-7695-2044-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal |
An Optimal Atomic Broadcast Protocol and an Implementation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico, pp. 32-, 2003, IEEE Computer Society, 0-7695-1929-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Communication Step, Notifying Broadcast, Consensus, Asynchronous Distributed System, Crash Failure, Atomic Broadcast, Reliable Broadcast |
8 | Jinlei Jiang, Meilin Shi |
CoAuto: A Formal Model for Cooperative Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 660-668, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz |
Specifying and Verifying Hardware for Tamper-Resistant Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2003 IEEE Symposium on Security and Privacy (S&P 2003), 11-14 May 2003, Berkeley, CA, USA, pp. 166-, 2003, IEEE Computer Society, 0-7695-1940-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Benjamin Braatz, Hartmut Ehrig, Milan Urbásek |
Petri Net Transformations in the "Petri Net Baukasten". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 37-65, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | A. Prasad Sistla |
Symmetry Reductions in Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 25, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Amir Pnueli, Lenore D. Zuck |
Model-Checking and Abstraction to the Aid of Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 4, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Ingolf Krüger |
Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 387-402, 2003, Springer, 3-540-00899-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Zhengwei Qi, Jinyuan You, Hongyan Mao |
P Systems and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers, pp. 286-303, 2003, Springer, 3-540-20895-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Mariagiovanna Sami, Donatella Sciuto, Cristina Silvano, Vittorio Zaccaria, Roberto Zafalon |
Low-power data forwarding for VLIW embedded architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 10(5), pp. 614-622, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Michel Hurfin, Achour Mostéfaoui, Michel Raynal |
A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(4), pp. 395-408, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fault-tolerance, quorum, asynchronous distributed system, crash failure, unreliable failure detector, consensus problem, consensus protocols |
8 | Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke |
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(2), pp. 164-179, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
coordinated atomic (CA) actions, embedded fault-tolerant systems, model checking, reliability, Concurrency, object orientation, formal verification, safety, exception handling |
8 | Svend Frølund, Rachid Guerraoui |
e-Transactions: End-to-End Reliability for Three-Tier Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(4), pp. 378-395, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
end-to-end reliability, exactly-once, three-tier applications, fault-tolerance, transactions |
8 | Richard Lassaigne, Sylvain Peyronnet |
Approximate Verification of Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings, pp. 213-214, 2002, Springer, 3-540-43913-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Sharon Barner, Orna Grumberg |
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 93-106, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Prasad Naldurg, Roy H. Campbell, M. Dennis Mickunas |
Developing Dynamic Security Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANCE ![In: 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 29-31 May 2002, San Francisco, CA, USA, pp. 204-215, 2002, IEEE Computer Society, 0-7695-1564-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Dusko Pavlovic, Douglas R. Smith |
Guarded Transitions in Evolving Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 411-425, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Michael Gschwind, Erik R. Altman |
Precise Exception Semantics in Dynamic Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 95-110, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001 |
Linearity and Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 417-434, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Hans Vandierendonck, Alex Ramírez, Koenraad De Bosschere, Mateo Valero |
A Comparative Study of Redundancy in Trace Caches (Research Note). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 512-516, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Bart Demoen |
A Different Look at Garbage Collection for the WAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 179-193, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Nancy A. Lynch, Dahlia Malkhi, David Ratajczak |
Atomic Data Access in Distributed Hash Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPTPS ![In: Peer-to-Peer Systems, First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers, pp. 295-305, 2002, Springer, 3-540-44179-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Markus Kaltenbach, Jayadev Misra |
A Theory of Hints in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
10th Anniversary Colloquium of UNU/IIST ![In: Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers, pp. 423-438, 2002, Springer, 3-540-20527-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Joël Ouaknine |
Digitisation and Full Abstraction for Dense-Time Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 37-51, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Sandeep S. Kulkarni, Ali Ebnenasir |
The Complexity of Adding Failsafe Fault-Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 337-344, 2002, IEEE Computer Society, 0-7695-1585-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis |
8 | Moustafa A. Youssef 0001, Arunchandar Vasan 0001, Raymond E. Miller |
Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 10th IEEE International Conference on Network Protocols (ICNP 2002), 12-15 November 2002, Paris, France, Proceedings, pp. 132-143, 2002, IEEE Computer Society, 0-7695-1856-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
Simulation for Continuous-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 338-354, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck |
Network Invariants in Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 101-115, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Seongyeol Kim, Ilyong Chung |
A Secure Mobile Agent System Applying Identity-Based Digital Signature Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EurAsia-ICT ![In: EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings, pp. 588-596, 2002, Springer, 3-540-00028-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Eric Freudenthal, Lawrence Port, Tracy Pesin, Edward Keenan |
Switchboard: Secure, Monitored Connections for Client-Server Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings, pp. 660-665, 2002, IEEE Computer Society, 0-7695-1588-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Josep Carmona 0001, Jordi Cortadella |
Input/Output Compatibility of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, pp. 360-377, 2002, Springer, 3-540-00116-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory |
8 | Jacob A. Abraham, Vivekananda M. Vedula, Daniel G. Saab |
Verifying Properties Using Sequential ATPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 2002, Baltimore, MD, USA, October 7-10, 2002, pp. 194-202, 2002, IEEE Computer Society, 0-7803-7543-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Paolo Baldan, Barbara König 0001 |
Approximating the Behaviour of Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 14-29, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi |
Execution of TILCO Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA, pp. 78-, 2002, IEEE Computer Society, 0-7695-1757-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic |
8 | Vieri Del Bianco, Luigi Lavazza, Marco Mauri |
Model Checking UML Specifications of Real Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA, pp. 203-, 2002, IEEE Computer Society, 0-7695-1757-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Michael Heymann, Asaf Degani |
On the Construction of Human-Automation Interfaces by Formal Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 99-115, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens |
Enriching OCL Using Observational Mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 203-217, 2002, Springer, 3-540-43353-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Pascal Felber, Fernando Pedone |
Probabilistic Atomic Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 170-179, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Michael Gschwind, Erik R. Altman |
Optimization and precise exceptions in dynamic compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGARCH Comput. Archit. News ![In: SIGARCH Comput. Archit. News 29(1), pp. 66-74, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
8 | Luc Moreau 0001, Jean Duprat |
A construction of distributed reference counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 37(8), pp. 563-595, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
8 | Enric Pastor, Jordi Cortadella, Oriol Roig |
Symbolic Analysis of Bounded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(5), pp. 432-448, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Binary Decition Diagrams, Petri nets, formal verification, symbolic methods |
8 | Giorgio Delzanno, Andreas Podelski |
Constraint-based deductive model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(3), pp. 250-270, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Logic programming, Constraints |
8 | Rachid Guerraoui, André Schiper |
The Generic Consensus Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(1), pp. 29-41, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fault-tolerant agreement protocols, view synchrony, total order multicast, modularity, consensus, failure detectors, Asynchronous distributed systems, group membership, atomic commitment |
8 | Özalp Babaoglu, Renzo Davoli, Alberto Montresor |
Group Communication in Partitionable Systems: Specification and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(4), pp. 308-336, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
view synchrony, partition-awareness, fault tolerance, Group communication, asynchronous systems |
8 | Riccardo Mattolini, Paolo Nesi |
An Interval Logic for Real-Time System Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(3), pp. 208-227, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic |
8 | Walter Vogler |
Partial S-Invariants for the Verification of Infinite Systems Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 382-402, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
8 | Timo Latvala |
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 242-262, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Model checking, fairness, high-level Petri Nets, LTL |
8 | Xiaoshan Li, Zhiming Liu 0001, Zhensheng Guo |
Formal Object-Oriented Analysis and Design of an Online Ticketing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 259-, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
8 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Directed Explicit Model Checking with HSF-SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 57-79, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
8 | Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli |
Combining UML and formal notations for modelling real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 196-206, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
UML, UML, formal methods, real-time software |