Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
228 | Leslie Lamport |
Distributed algorithms in TLA (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 3, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
95 | Hehua Zhang, Stephan Merz, Ming Gu 0001 |
Specifying and Verifying PLC Systems with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 293-294, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
95 | Yuan Yu, Panagiotis Manolios, Leslie Lamport |
Model Checking TLA+ Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 54-66, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
83 | Jean-Charles Grégoire |
TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 378-397, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA |
80 | Ondrej Rysavý, Jaroslav Ráb |
A formal model of composing components: the TLA+ approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 139-148, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications |
80 | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 1305-1307, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
74 | Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu |
Checking Cache-Coherence Protocols with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 22(2), pp. 125-131, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
TLC, model checking, cache coherence, TLA+ |
74 | Leslie Lamport |
The Temporal Logic of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 872-923, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
concurrent programming, safety properties, liveness properties |
69 | Jan Täubrich, Reinhard von Hanxleden |
Formal Specification and Analysis of AFDX Redundancy Management Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 436-450, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Redundancy Management, AFDX, Model Checking, Case Study, TLA |
68 | Bo Wang, Cornelis Pronk |
Design and implementation of a GUI for the TLC model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(12), pp. 38-43, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
GraphViz, TLC, model checking, GUI, temporal logic, SML, TLA+ |
66 | Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel |
Lazy Caching in TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 12(2-3), pp. 151-174, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
66 | Dominique Cansell, Dominique Méry |
Abstract Animator for Temporal Specifications: Application to TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 284-299, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
66 | Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston |
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 398-417, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
54 | Reino Kurki-Suonio |
Action systems in incremental and aspect-oriented modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 16(2-3), pp. 201-217, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Incremental modeling, Formal specification, Aspects, Action systems, Superposition, TLA |
51 | Yassin Mokhtari, Stephan Merz |
Animating TLA Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, pp. 92-110, 1999, Springer, 3-540-66492-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
46 | Hongbing Wang, Qianzhao Zhou, Yanqi Shi |
Describing and Verifying Web Service Composition Using TLA Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010, pp. 234-241, 2010, IEEE Computer Society, 978-0-7695-4126-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Web service, service composition, OWL-S, verifying, TLA |
46 | Shuai Luan, Yuliang Shi, Haiyang Wang |
A Mechanism of Modeling and Verification for SaaS Customization Based on TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 337-344, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Verification, Customization, SaaS, TLA |
45 | Hui Kong 0004, Hehua Zhang, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Proving Computational Geometry Algorithms in TLA+2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 251-254, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
algorithm verification, TLA+2, geometry algorithm, theorem proving, loop invariant |
45 | Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
Formal specification of the MPI-2.0 standard in TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 283-284, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model checking, formal specification, MPI, TLA+ |
44 | Slim Rekhis, Noureddine Boudriga |
A Temporal Logic-Based Model for Forensic Investigation in Networked System Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Computer Network Security, Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005, Proceedings, pp. 325-338, 2005, Springer, 3-540-29113-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Robert Chebli, Abdallah Kassem, Mohamad Sawan |
Logarithmic programmable preamplifier dedicated to ultrasonic receivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 673-676, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat |
Scheduling and Presenting Interactive Multimedia Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001, IEEE Computer Society, 0-7695-1198-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Denis Roegel |
Specifying Almost-Real Concurrent Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 94-101, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
almost-real concurrent object-oriented programs, refinement chain, CTLA, structuring concerns, formal specification, parallel programming, parallel programming, object-oriented programming, specification, specification languages |
44 | Todd Fine |
Defining Noninterference in the Temporal Logic of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1996 IEEE Symposium on Security and Privacy, May 6-8, 1996, Oakland, CA, USA, pp. 12-21, 1996, IEEE Computer Society, 0-8186-7417-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
noninterference properties, temporal logic of actions, multilevel secure systems, formal specification, formal methods, temporal logic, composition, security of data, covert channels, definitions, specification refinement |
44 | Joakim von Wright, Thomas Långbacka |
Using a Theorem Prover for Reasoning about Concurrent Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings, pp. 56-68, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
43 | Antoine Defourné |
Encodages de la théorie des ensembles de TLA+ pour la preuve automatique. (Encoding TLA+'s Set Theory for Automated Theorem Provers). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
43 | Jure Kukovec, Thanh-Hai Tran 0002, Igor Konnov 0001 |
Extracting Symbolic Transitions from TLA+ Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 89-104, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
43 | Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec |
Mechanized Refinement of Communication Models with TLA ^+ +. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 312-318, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Stephan Merz, Hernán Vanzetto |
Encoding TLA ^+ + into Many-Sorted First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 54-69, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Hernán Vanzetto |
Proof automation and type synthesis for set theory in the context of TLA+. (Automatisation de preuves et synthèse de types pour la théorie des ensembles dans le contexte de TLA+). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
43 | Chris Newcombe |
Why Amazon Chose TLA +. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 25-39, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Dominik Hansen, Michael Leuschel |
Translating B to TLA + for Validation with TLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 40-55, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Peter Baumann, Karl Lermer |
A Framework for the Specification of Reactive and Concurrent Systems in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 62-79, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
formal methods, reactive systems, Z, TLA |
38 | Ariel Cohen 0002, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck |
Verifying Correctness of Transactional Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings, pp. 37-44, 2007, IEEE Computer Society, 0-7695-3023-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
HTM, STM, TLC, model checking, Verification, transactional memory, TLA+ |
38 | Slim Rekhis, Noureddine Boudriga |
A formal logic-based language and an automated verification tool for computer forensic investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 287-291, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
S-TLA+, S-TLC, formal forensic investigation, temporal logic of security actions |
36 | Hongbing Wang, Hui Liu, Xiaohui Guo |
Specify and Compose Web Services by TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 766-767, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Hocine El-Habib Daho, Djilali Benhamamouch |
Formal Verification of ASM Models Using TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 356, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Gudmund Grov, Greg Michaelson, Andrew Ireland |
Formal verification of concurrent scheduling strategies using TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 13th International Conference on Parallel and Distributed Systems, ICPADS 2007, Hsinchu, Taiwan, December 5-7, 2007, pp. 1-6, 2007, IEEE Computer Society, 978-1-4244-1889-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Nicolas Rivierre, François Horn, Frédéric Dang Tran |
On Monitoring Concurrent Systems with TLA: An Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France, pp. 36-45, 2005, IEEE Computer Society, 0-7695-2363-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Yifeng Chen, Zhiming Liu 0001 |
From Durational Specifications to TLA Designs of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 464-482, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu |
Specifying and verifying systems with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, pp. 45-48, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Stephan Merz |
A More Complete TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1226-1244, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Leslie Lamport |
TLA in Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(9), pp. 768-775, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Concurrency, specification, temporal logic, state-transition diagrams |
36 | Sara Kalvala |
A Formulation of TLA in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings, pp. 214-228, 1995, Springer, 3-540-60275-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
36 | Urban Engberg, Peter Grønning, Leslie Lamport |
Mechanical Verification of Concurrent Systems with TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings, pp. 44-55, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Leslie Lamport |
The PlusCal Algorithm Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 36-60, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Yuko Sakurai, Yasumasa Saito, Atsushi Iwasaki, Makoto Yokoo |
Sequential partition mechanism for strongly budget-balanced redistribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1285-1286, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
budget-balance, strategy-proofness, mechanism design, redistribution |
30 | Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
An Approach to Formalization and Analysis of Message Passing Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 164-181, 2007, Springer, 978-3-540-79706-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama |
Building Verifiable Sensing Applications Through Temporal Logic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 1205-1212, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Leslie Lamport |
The +CAL Algorithm Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Fifth IEEE International Symposium on Network Computing and Applications, NCA 2006, 24-26 July 2006, Cambridge, Massachusetts, USA, pp. 5, 2006, IEEE Computer Society, 0-7695-2640-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Philippe Collet, Alain Ozanne, Nicolas Rivierre |
Enforcing Different Contracts in Hierarchical Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 5th International Symposium, SC@ETAPS 2006, Vienna, Austria, March 25-26, 2006, Revised Papers, pp. 50-65, 2006, Springer, 3-540-37657-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Leslie Lamport |
The +CAL Algorithm Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., pp. 23, 2006, Springer, 3-540-46219-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Adrianna Alexander, Wolfgang Reisig |
Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal, pp. 167-176, 2003, IEEE Computer Society, 0-7695-1887-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Ulka Shrotri, Purandar Bhaduri, R. Venkatesh 0001 |
Model Checking Visual Specification of Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 202-209, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Yuguang Fang |
General Modeling and Performance Analysis for Location Management in Wireless Mobile Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(10), pp. 1169-1181, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
pointer forwarding, two-location algorithm, wireless networks, mobile networks, Mobility management, location management, cost analysis |
30 | Joseph E. Stoy, Xiaowei Shen, Arvind |
Proofs of Correctness of Cache-Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 43-71, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Holger Busch |
A Practical Method for Reasoning about Distributed Systems in a Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings, pp. 106-121, 1995, Springer, 3-540-60275-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Långbacka |
A HOL Formalisation of the Temporal Logic of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 332-345, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Limor Fix, Fred B. Schneider |
Reasoning about Programs by Exploiting the Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 328-339, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Shengzong Zhou, Rob Gerth, Ruurd Kuiper 0001 |
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 353-367, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Collet, Alain Ozanne, Nicolas Rivierre |
On contracting different behavioral properties in component-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1798-1799, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
verification, component, contract, assertion, TLA |
24 | Leslie Lamport |
Verification and Specifications of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 347-374, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Assertional methods, Owicki-Gries method, formal methods, temporal logic, fairness, mathematics, TLA |
23 | Robert Beers |
Pre-RTL formal verification: an intel experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 806-811, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TLC, explicit state enumeration, microarchitecture verification, formal verification, protocol verification, TLA+ |
21 | Peng Gao, Chun-Lin Ji, Tao Yu, Ru-Yue Yuan |
YOLO-TLA: An Efficient and Lightweight Small Object Detection Model based on YOLOv5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.14309, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | José E. Solsona |
On the specification and verification of the PCR parallel programming pattern in TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 26(1), May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Tatjana Kapus |
Improved Formal Verification of SDN-Based Firewalls by Using TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 107126-107134, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira |
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.10875, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lingzhi Ouyang, Yu Huang 0002, Binyu Huang, Hengfeng Wei, Xiaoxing Ma |
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.02703, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Grundmann, Hannes Hartenstein |
Towards a Formal Verification of the Lightning Network with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.02342, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Markus A. Kuppe |
Teaching TLA+ to Engineers at Microsoft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMTea ![In: Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings, pp. 66-81, 2023, Springer, 978-3-031-27533-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Rodrigo Otoni, Igor Konnov 0001, Jure Kukovec, Patrick Eugster, Natasha Sharygina |
Symbolic Model Checking for TLA+ Made Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I, pp. 126-144, 2023, Springer, 978-3-031-30822-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lingzhi Ouyang, Yu Huang 0002, Binyu Huang, Xiaoxing Ma |
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 189-205, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe |
Understanding Inconsistency in Azure Cosmos DB with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE-SEIP ![In: 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 1-12, 2023, IEEE, 979-8-3503-0037-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe |
Understanding Inconsistency in Azure Cosmos DB with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.13661, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Igor Konnov 0001, Markus Kuppe, Stephan Merz |
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.07216, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang 0002, Xiaoxing Ma |
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.11385, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | William Schultz, Ian Dardik, Stavros Tripakis |
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.06360, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Grundmann, Hannes Hartenstein |
Verifying Payment Channels with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2022, Shanghai, China, May 2-5, 2022, pp. 1-3, 2022, IEEE, 978-1-6654-9538-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Igor Konnov 0001, Markus Kuppe, Stephan Merz |
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, pp. 88-105, 2022, Springer, 978-3-031-19848-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier |
A TLA+ Formal Proof of a Cross-Chain Swap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4 - 7, 2022, pp. 148-159, 2022, ACM, 978-1-4503-9560-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Gabriela Moreira, Cristiano D. Vasconcellos, Janine Kniess |
Fully-Tested code generation from TLA+ specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAST ![In: SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3 - 7, 2022, pp. 19-28, 2022, ACM, 978-1-4503-9753-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Ryo Matsumoto, Shenghong Ye, Yuya Mikami, Kazutoshi Kato |
Model Development for Fast Wavelength Switching at Tunable DFB Laser Array (TLA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
OECC/PSC ![In: 2022 27th OptoElectronics and Communications Conference (OECC) and 2022 International Conference on Photonics in Switching and Computing (PSC), Toyama, Japan, July 3-6, 2022, pp. 1-3, 2022, IEEE, 978-4-88552-336-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Madhusmita Das, Biju R. Mohan, Ram Mohana Reddy Guddeti |
Formal Specification and Verification of Drone System using TLA+: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 24th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD Winter 2022, Taichung, Taiwan, December 7-9, 2022, pp. 156-161, 2022, IEEE, 979-8-3503-1041-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | William Schultz, Ian Dardik, Stavros Tripakis |
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 273-283, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Gasper Petelin, Gjorgjina Cenikj, Tome Eftimov |
TLA: Topological Landscape Analysis for Single-Objective Continuous Optimization Problem Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCI ![In: IEEE Symposium Series on Computational Intelligence, SSCI 2022, Singapore, December 4-7, 2022, pp. 1698-1705, 2022, IEEE, 978-1-6654-8768-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Luming Dong, Zhi Niu, Yong Zhu, Wei Zhang |
Specifying and Verifying SDP Protocol Based Zero Trust Architecture Using TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSIE ![In: Proceedings of the 7th International Conference on Cyber Security and Information Engineering, ICCSIE 2022, Brisbane, QLD, Australia, September 23-25, 2022, pp. 35-43, 2022, ACM, 978-1-4503-9741-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Zhi Niu, Luming Dong, Yong Zhu, Li Chen |
Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSIE ![In: Proceedings of the 7th International Conference on Cyber Security and Information Engineering, ICCSIE 2022, Brisbane, QLD, Australia, September 23-25, 2022, pp. 13-18, 2022, ACM, 978-1-4503-9741-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Markus Alexander Kuppe |
The TLA+ Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers, pp. 174-180, 2022, Springer, 978-3-031-26235-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou |
Specifying and verifying usage control models and policies in TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 23(5), pp. 685-700, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Tushar Sarkar, Nishant Rajadhyaksha |
TLA: Twitter Linguistic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.09710, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Smruti Padhy, Joe Stubbs |
Designing and Proving Properties of the Abaco Autoscaler Using TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers, pp. 86-103, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Nawar H. Obeidat, Carla Purdy |
Improving Security in SCADA Systems through Model-checking with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: 64th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2021, Lansing, MI, USA, August 9-11, 2021, pp. 832-835, 2021, IEEE, 978-1-6654-2461-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Brent Smith, Laura Milham |
Total Learning Architecture (TLA) Data Pillars and Their Applicability to Adaptive Instructional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (42) ![In: HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture - 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, pp. 90-106, 2021, Springer, 978-3-030-90327-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Leslie Lamport, Fred B. Schneider |
Verifying Hyperproperties With TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Young-Mi Kim, Miyoung Kang |
Formal Verification of SDN-Based Firewalls by Using TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 52100-52112, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Jiaqi Yin, Huibiao Zhu, Yuan Fei |
Specification and Verification of the Zab Protocol with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 35(6), pp. 1312-1323, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Gefei Zhang |
Specifying and Model Checking Workflows of Single Page Applications with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.05627, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Sangwon Seo, Sangbae Yun, Jaehong Kim 0006, Inkyo Kim, Seongwook Jin, Seungryoul Maeng |
H-TLA: Hybrid-Based and Two-Level Addressing Architecture for IoT Devices and Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 103-D(8), pp. 1911-1915, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Tatjana Kapus |
Specifying reversibility with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 116, pp. 100582, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Michael J. Butler, Alexander Raschke |
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 197, pp. 102514, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|