Search results for "TLA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Philippe Dhaussy, Ciprian Teodorov	Context-Aware Verification of a Landing Gear System.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
21	Vitaly Savicks, Michael J. Butler, John Colley	Co-simulation Environment for Rodin: Landing Gear Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
21	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Modeling and Analyzing Using ASMs: The Landing Gear System Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
21	Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc	Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
21	Frédéric Boniol, Virginie Wiels	The Landing Gear System Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
21	Felix Kossak	Landing Gear System: An ASM-Based Solution for the ABZ Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
21	Dominique Méry, Neeraj Kumar Singh 0001	Modeling an Aircraft Landing System in Event-B.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
21	Richard Banach	Invariant Guided System Decomposition.	ABZ	2014	DBLP DOI BibTeX RDF
21	Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn	Distributed Situation Analysis - A Formal Semantic Framework.	ABZ	2014	DBLP DOI BibTeX RDF
21	Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani	WebASM: An Abstract State Machine Execution Environment for the Web.	ABZ	2014	DBLP DOI BibTeX RDF
21	Andreas Prinz 0001, Edel Sherratt	Distributed ASM - Pitfalls and Solutions.	ABZ	2014	DBLP DOI BibTeX RDF
21	Laurent Voisin, Jean-Raymond Abrial	The Rodin Platform Has Turned Ten.	ABZ	2014	DBLP DOI BibTeX RDF
21	Egon Börger, Klaus-Dieter Schewe	Specifying Transaction Control to Serialize Concurrent Program Executions.	ABZ	2014	DBLP DOI BibTeX RDF
21	Jérôme Guéry, Olivier Rolland, Joris Rehm	Fixed-Point Arithmetic Modeled in B Software Using Reals.	ABZ	2014	DBLP DOI BibTeX RDF
21	Elvinia Riccobene, Patrizia Scandurra	Towards ASM-Based Formal Specification of Self-Adaptive Systems.	ABZ	2014	DBLP DOI BibTeX RDF
21	José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede	Modelling Energy Consumption in Embedded Systems with VDM-RT.	ABZ	2014	DBLP DOI BibTeX RDF
21	Loïc Gammaitoni, Pierre Kelsen	Domain-Specific Visualization of Alloy Instances.	ABZ	2014	DBLP DOI BibTeX RDF
21	Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki	Formal System Modelling Using Abstract Data Types in Event-B.	ABZ	2014	DBLP DOI BibTeX RDF
21	Marcel Dausend, Alexander Raschke	Introducing Aspect-Oriented Specification for Abstract State Machines.	ABZ	2014	DBLP DOI BibTeX RDF
21	Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov	Formal Verification of OS Security Model with Alloy and Event-B.	ABZ	2014	DBLP DOI BibTeX RDF
21	Michael Leuschel, David Schneider 0001	Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge.	ABZ	2014	DBLP DOI BibTeX RDF
21	Andrew Edmunds	Templates for Event-B Code Generation.	ABZ	2014	DBLP DOI BibTeX RDF
21	Aleksandar Milicevic, Ido Efrati, Daniel Jackson 0001	αRby - An Embedding of Alloy in Ruby.	ABZ	2014	DBLP DOI BibTeX RDF
21	Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh 0001	Analysis of Self-⋆ and P2P Systems Using Refinement.	ABZ	2014	DBLP DOI BibTeX RDF
21	Eerke A. Boiten, Jeremy Jacob	Sealed Containers in Z.	ABZ	2014	DBLP DOI BibTeX RDF
21	Graeme Smith 0001, Qin Li 0002	MAZE: An Extension of Object-Z for Multi-Agent Systems.	ABZ	2014	DBLP DOI BibTeX RDF
21	Stefan Hallerstede	Quasi-Lexicographic Convergence.	ABZ	2014	DBLP DOI BibTeX RDF
21	Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna	Formal Derivation of Distributed MapReduce.	ABZ	2014	DBLP DOI BibTeX RDF
21	Vajih Montaghami, Derek Rayside	Staged Evaluation of Partial Instances in a Relational Model Finder.	ABZ	2014	DBLP DOI BibTeX RDF
21	Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden	Understanding and Planning Event-B Refinement through Primitive Rationales.	ABZ	2014	DBLP DOI BibTeX RDF
21	David Delahaye, Catherine Dubois, Claude Marché, David Mentré	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
21	Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki 0001	Optimizing Alloy for Multi-objective Software Product Line Configuration.	ABZ	2014	DBLP DOI BibTeX RDF
21	Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso	Detecting Network Policy Conflicts Using Alloy.	ABZ	2014	DBLP DOI BibTeX RDF
21	Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais	Validating the RBAC ANSI 2012 Standard Using B.	ABZ	2014	DBLP DOI BibTeX RDF
21	Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif	Development of a Verified Flash File System.	ABZ	2014	DBLP DOI BibTeX RDF
21	Alcino Cunha	Bounded Model Checking of Temporal Formulas with Alloy.	ABZ	2014	DBLP DOI BibTeX RDF
21	Sylvain Conchon, Mohamed Iguernelala	Tuning the Alt-Ergo SMT Solver for B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
21	Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif	Modular Refinement for Submachines of ASMs.	ABZ	2014	DBLP DOI BibTeX RDF
21	Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru	B Formal Validation of ERTMS/ETCS Railway Operating Rules.	ABZ	2014	DBLP DOI BibTeX RDF
21	Abdollah Kavousi-Fard	A new fuzzy-based feature selection and hybrid TLA-ANN modelling for short-term load forecasting.	J. Exp. Theor. Artif. Intell.	2013	DBLP DOI BibTeX RDF
21	Po-Chi Shih, Kuo-Chan Huang, Che-Rung Lee, I-Hsin Chung, Yeh-Ching Chung	TLA: Temporal look-ahead processor allocation method for heterogeneous multi-cluster systems.	J. Parallel Distributed Comput.	2013	DBLP DOI BibTeX RDF
21	Stephan Merz, Hernán Vanzetto	Harnessing SMT Solvers for TLA+ Proofs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
21	Denis Cousineau 0002, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts 0001, Hernán Vanzetto	TLA+ Proofs	CoRR	2012	DBLP BibTeX RDF
21	Stephan Merz	Proofs and Proof Certification in the TLA+ Proof System.	PxTP	2012	DBLP BibTeX RDF
21	Stephan Merz, Hernán Vanzetto	Automatic Verification of TLA + Proof Obligations with SMT Solvers.	LPAR	2012	DBLP DOI BibTeX RDF
21	Daniel Plagge, Michael Leuschel	Validating B, Z and TLA + Using ProB and Kodkod.	FM	2012	DBLP DOI BibTeX RDF
21	Denis Cousineau 0002, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts 0001, Hernán Vanzetto	TLA + Proofs.	FM	2012	DBLP DOI BibTeX RDF
21	Dominik Hansen, Michael Leuschel	Translating TLA + to B for Validation with ProB.	IFM	2012	DBLP DOI BibTeX RDF
21	Rodger Burmeister, Steffen Helke	The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis.	TASE	2012	DBLP DOI BibTeX RDF
21	Gudmund Grov, Stephan Merz	A Definitional Encoding of TLA* in Isabelle/HOL.	Arch. Formal Proofs	2011	DBLP BibTeX RDF
21	Stephan Merz, Hernán Vanzetto	Towards certification of TLA+ proof obligations with SMT solvers.	PxTP	2011	DBLP BibTeX RDF
21	Tianxiang Lu, Stephan Merz, Christoph Weidenbach	Towards Verification of the Pastry Protocol Using TLA + .	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
21	Hannes Lau, Uwe Nestmann	Java Goes TLA+.	TASE	2011	DBLP DOI BibTeX RDF
21	Hehua Zhang, Stephan Merz, Ming Gu 0001	Specifying and verifying PLC systems with TLA+ : A case study.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
21	Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz	Verifying Safety Properties With the TLA+ Proof System	CoRR	2010	DBLP BibTeX RDF
21	Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz	The TLA+ Proof System: Building a Heterogeneous Verification Platform.	ICTAC	2010	DBLP DOI BibTeX RDF
21	Aamer Jaleel, Eric Borch, Malini Bhandaru, Simon C. Steely Jr., Joel S. Emer	Achieving Non-Inclusive Cache Performance with Inclusive Caches: Temporal Locality Aware (TLA) Cache Management Policies.	MICRO	2010	DBLP DOI BibTeX RDF
21	Jerzy Martyna	Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA+.	CN	2010	DBLP DOI BibTeX RDF
21	Hehua Zhang, Ming Gu 0001, Xiaoyu Song	Specifying Time-Sensitive Systems with TLA+.	COMPSAC	2010	DBLP DOI BibTeX RDF
21	Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz	Verifying Safety Properties with the TLA+ Proof System.	IJCAR	2010	DBLP DOI BibTeX RDF
21	Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro	Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.	J. Object Technol.	2009	DBLP DOI BibTeX RDF
21	Tatjana Kapus	Using Mobile TLA as a Logic for Dynamic I/O Automata.	IEICE Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF
21	Shu Chen, Guo Qing Wu	Modeling and Analysis of Workflow Based on TLA.	J. Comput.	2009	DBLP BibTeX RDF
21	Hongbing Wang, Li Li 0006, Chen Wang, Zuling Kang, Dongxi Liu, Jemma Wu, Athman Bouguettaya	Logic-based verification for Web services composition with TLA.	SOCA	2009	DBLP DOI BibTeX RDF
21	Leslie Lamport	TLA+: Whence, Wherefore, and Whither.	NASA Formal Methods	2009	DBLP BibTeX RDF
21	Paul Regnier, George Lima 0001, Aline Maria Santos Andrade	A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.	SBMF	2008	DBLP DOI BibTeX RDF
21	Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz	A TLA+ Proof System	CoRR	2008	DBLP BibTeX RDF
21	Toufik Taibi	Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker.	Int. J. Artif. Intell. Soft Comput.	2008	DBLP DOI BibTeX RDF
21	Ondrej Rysavý, Jaroslav Ráb	A component-based approach to verification of embedded control systems using TLA+.	IMCSIT	2008	DBLP DOI BibTeX RDF
21	Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz	A TLA+ Proof System.	LPAR Workshops	2008	DBLP BibTeX RDF
21	Tatjana Kapus	Specification and Verification of a Parametric Handover Procedure Using TLA.	J. Circuits Syst. Comput.	2006	DBLP DOI BibTeX RDF
21	Ming Jiang, Qin Chen	TLA: A Traffic Load Adaptive Congestion Control Algorithm for TCP/AQM Networks.	ISDA (2)	2006	DBLP DOI BibTeX RDF
21	M. Couzinier, Louis Féraud	Formal Verification of Dynamic UML Diagrams using TLA+.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
21	José Luis Caro, Antonio Guevara, Andrés Aguayo, José uis. Leiva	Communication based workflow loop formalization using Temporal Logic of Actions (TLA).	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
21	Stephan Merz	On the Logic of TLA+.	Comput. Artif. Intell.	2003	DBLP BibTeX RDF
21	Leslie Lamport	Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers		2002	RDF
21	Jan Holden, Alison Young	Innovative teaching practices in computing education: the TLA project.	ITiCSE	2001	DBLP DOI BibTeX RDF
21	Robert M. Hinden, Stephen E. Deering, Robert L. Fink, Tony Hain	Initial IPv6 Sub-TLA ID Assignments.	RFC	2000	DBLP DOI BibTeX RDF
21	Ioan Alfred Letia	A TLA+ Specification for Agent Communication that Enables Proofs.	Agents	1999	DBLP DOI BibTeX RDF
21	Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu	Cache Coherence Verification with TLA+.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Modeling Dynamic Processes in TLA.	FBT	1999	DBLP BibTeX RDF
21	Thomas Deiß	An Approach to the Combination of Formal Description Techniques: Statecharts and TLA.	IFM	1999	DBLP DOI BibTeX RDF
21	Tatjana Kapus, Zmago Brezocnik	Specifying and Verifying Dataflow Networks in TLA.	Applied Informatics	1999	DBLP BibTeX RDF
21	Robert M. Hinden	Proposed TLA and NLA Assignment Rule.	RFC	1998	DBLP DOI BibTeX RDF
21	Reino Kurki-Suonio, Mika Katara	Real Time in a TLA-Based Theory of Reactive Systems.	ISORC	1998	DBLP DOI BibTeX RDF
21	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Modular reasoning about structured TLA specifications.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
21	Ernie Cohen, Leslie Lamport	Reduction in TLA.	CONCUR	1998	DBLP DOI BibTeX RDF
21	Tatjana Kapus, Zmago Brezocnik	Verification of XTP Context Management Closing Procedure in Style of TLA.	Sci. Comput. Program.	1997	DBLP DOI BibTeX RDF
21	Lutz Sommerfeld, Peter B. Ladkin	Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+.	FBT	1997	DBLP BibTeX RDF
21	Tatjana Kapus, Zmago Brezocnik	TLA-style Specification of a Mobile Network.	EUROMICRO	1997	DBLP DOI BibTeX RDF
21	Dominique Méry, J. Paul Gibson	Telephone feature verification: Translating SDL to TLA+.	SDL Forum	1997	DBLP BibTeX RDF
21	Martín Abadi, Stephan Merz	On TLA as a logic.	NATO ASI DPD	1996	DBLP BibTeX RDF
21	Frank Leßke, Stephan Merz	Steam Boiler Control Specification Problem: A TLA Solution.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
21	Martín Abadi, Leslie Lamport, Stephan Merz	A TLA Solution to the RPC-Memory Specification Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
21	Leslie Lamport	TLA in Pictures.	Specification of Parallel Algorithms	1994	DBLP DOI BibTeX RDF
21	Martín Abadi, Leslie Lamport	Open Systems in TLA.	PODC	1994	DBLP DOI BibTeX RDF
21	Leslie Lamport	Hybrid Systems in TLA+.	Hybrid Systems	1992	DBLP DOI BibTeX RDF
21	Urban Engberg, Peter Grønning, Leslie Lamport	Mechanical Verification of Concurrent Systems with TLA.	Larch	1992	DBLP BibTeX RDF
15	Ian J. Hayes	Dynamically Detecting Faults via Integrity Constraints.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault detection, Integrity constraint, action system, real-time programming
15	Raymond T. Boute	Making Temporal Logic Calculational: A Tool for Unification and Discovery.	FM	2009	DBLP DOI BibTeX RDF