The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "José Meseguer" ( http://dblp.L3S.de/Authors/José_Meseguer )

URL (Homepage):  http://formal.cs.uiuc.edu/meseguer/  Author page on DBLP  Author page in RDF  Community of José Meseguer in ASPL-2

Publication years (Num. hits)
1974-1986 (17) 1987-1989 (16) 1990-1992 (15) 1993-1996 (22) 1997-1999 (21) 2000 (15) 2001-2002 (21) 2003-2004 (19) 2005 (16) 2006-2007 (58) 2008 (22) 2009 (16) 2010 (22) 2011-2012 (32) 2013-2014 (27) 2015-2016 (24) 2017-2018 (25) 2019 (6)
Publication types (Num. hits)
article(140) incollection(28) inproceedings(219) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 55 occurrences of 32 keywords

Results
Found 395 publication records. Showing 394 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer Strand Spaces with Choice via a Process Algebra Semantics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott Programming and Symbolic Computation in Maude. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.) Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows Search on Bibsonomy Foundations of Security, Protocols, and Equational Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, José Meseguer Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. Search on Bibsonomy Foundations of Security, Protocols, and Equational Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, Min Zhang 0002, Qi Wang 0017, José Meseguer Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. Search on Bibsonomy TACAS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stephen Skeirik, José Meseguer Metalevel algorithms for variant satisfiability. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer, Raúl Gutiérrez The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine A. Meadows, José Meseguer Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1José Meseguer Variant-based satisfiability in initial algebras. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José Meseguer Symbolic Reasoning Methods in Rewriting Logic and Maude. Search on Bibsonomy WoLLIC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer Modular Verification of Sequential Composition for Private Channels in Maude-NPA. Search on Bibsonomy STM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José Meseguer Formal Design of Cloud Computing Systems in Maude. Search on Bibsonomy SBMF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francisco Durán, José Meseguer, Camilo Rocha Proving Ground Confluence of Equational Specifications Modulo Axioms. Search on Bibsonomy WRLA@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José Meseguer Generalized Rewrite Theories and Coherence Completion. Search on Bibsonomy WRLA@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, Qi Wang 0017, José Meseguer Formal Modeling and Analysis of the Walter Transactional Data Store. Search on Bibsonomy WRLA@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. Search on Bibsonomy WRLA@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang 0017, Indranil Gupta, José Meseguer ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Camilo Rocha, José Meseguer, César A. Muñoz Rewriting modulo SMT and open system analysis. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer Dependency pairs for proving termination properties of conditional term rewriting systems. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Meseguer Strict coherence of conditional rewriting modulo axioms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer Quantitative Analysis of Consistency in NoSQL Key-Value Stores. Search on Bibsonomy LITES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raúl Gutiérrez, José Meseguer Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Stephen Skeirik, Andrei Stefanescu, José Meseguer A Constructor-Based Reachability Logic for Rewrite Theories. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1José Meseguer, Stephen Skeirik Equational formulas and pattern operations in initial order-sorted algebras. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raúl Gutiérrez, José Meseguer Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stephen Skeirik, Andrei Stefanescu, José Meseguer A Constructor-Based Reachability Logic for Rewrite Theories. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, José Meseguer Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer Normal forms and normal theories in conditional rewriting. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer Effective Sequential Protocol Composition in Maude-NPA. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Partial Evaluation of Order-sorted Equational Programs modulo Axioms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer Formal modeling and analysis of RAMP transaction systems. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Meseguer Order-Sorted Rewriting and Congruence Closure. Search on Bibsonomy FoSSaCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago Strand spaces with choice via a process algebra semantics. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antonio Moreno-Delgado, Francisco Durán, José Meseguer Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. Search on Bibsonomy WRLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephen Skeirik, José Meseguer Metalevel Algorithms for Variant Satisfiability. Search on Bibsonomy WRLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Musab A. AlTurki, José Meseguer Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, José Meseguer Model checking linear temporal logic of rewriting formulas under localized fairness. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew Cholewa, Santiago Escobar, José Meseguer Constrained narrowing for conditional equational theories modulo axioms. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Raúl Gutiérrez, José Meseguer, Camilo Rocha Order-sorted equality enrichments modulo axioms. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer Quantitative Analysis of Consistency in NoSQL Key-Value Stores. Search on Bibsonomy QEST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José Meseguer Variant-Based Satisfiability in Initial Algebras. Search on Bibsonomy FTSCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer Localized Operational Termination in General Logics. Search on Bibsonomy Software, Services, and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Search on Bibsonomy Programming Languages with Applications to Biology and Security The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, José Meseguer Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Search on Bibsonomy Software, Services, and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer Analysis of the PKCS#11 API Using the Maude-NPA Tool. Search on Bibsonomy SSR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José Meseguer, Stephen Skeirik Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky Formal patterns for multirate distributed real-time systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Meseguer Taming distributed system complexity through formal patterns. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago State space reduction in the Maude-NRL Protocol Analyzer. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert, José Meseguer A modular order-sorted equational generalization algorithm. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer Formal Modeling and Analysis of Cassandra in Maude. Search on Bibsonomy ICFEM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer Definition, Semantics, and Analysis of Multirate Synchronous AADL. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shusaku Iida, José Meseguer, Kazuhiro Ogata 0001 (eds.) Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Camilo Rocha, José Meseguer Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago A rewriting-based forwards semantics for Maude-NPA. Search on Bibsonomy HotSoS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. Search on Bibsonomy STM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer Analysis of the IBM CCA Security API Protocols in Maude-NPA. Search on Bibsonomy SSR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer Proving Operational Termination of Declarative Programs in General Logics. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert, José Meseguer ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, José Meseguer Predicate Abstraction of Rewrite Theories. Search on Bibsonomy RTA-TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. Search on Bibsonomy WRLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, José Meseguer A Framework for Mobile Ad hoc Networks in Real-Time Maude. Search on Bibsonomy WRLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, José Meseguer Infinite-State Model Checking of LTLR Formulas Using Narrowing. Search on Bibsonomy WRLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer 2D Dependency Pairs for Proving Operational Termination of CTRSs. Search on Bibsonomy WRLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mu Sun, José Meseguer Formal Specification of Button-Related Fault-Tolerance Micropatterns. Search on Bibsonomy WRLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Camilo Rocha, José Meseguer, César A. Muñoz Rewriting Modulo SMT and Open System Analysis. Search on Bibsonomy WRLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer, Raúl Gutiérrez Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, José Meseguer Models for Logics and Conditional Constraints in Automated Proofs of Termination. Search on Bibsonomy AISC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Meseguer, Grigore Rosu The rewriting logic semantics project: A progress report. Search on Bibsonomy Inf. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stephen Skeirik, Rakesh B. Bobba, José Meseguer Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. Search on Bibsonomy CCGRID The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, Santiago Escobar, José Meseguer Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. Search on Bibsonomy RTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Katelman, Sean Keller, José Meseguer Rewriting semantics of production rule sets. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Ralf Sasse, José Meseguer Folding variant narrowing and optimal variant termination. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José Meseguer Twenty years of rewriting logic. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francisco Durán, José Meseguer On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, José Meseguer A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joe Hendrix, José Meseguer Order-sorted Equational Unification Revisited. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José Meseguer, Peter Csaba Ölveczky Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude Search on Bibsonomy FTSCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing Statistical Model Checking for Composite Actor Systems. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin State Space c-Reductions of Concurrent Systems in Rewriting Logic. Search on Bibsonomy ICFEM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky Formal Patterns for Multi-rate Distributed Real-Time Systems. Search on Bibsonomy FACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang IBOS: A Correct-By-Construction Modular Browser. Search on Bibsonomy FACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. Search on Bibsonomy ESORICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Raúl Gutiérrez, José Meseguer, Camilo Rocha Order-Sorted Equality Enrichments Modulo Axioms. Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, José Meseguer Model Checking LTLR Formulas under Localized Fairness. Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing Stable Availability under Denial of Service Attacks through Formal Patterns. Search on Bibsonomy FASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem The SynchAADL2Maude Tool. Search on Bibsonomy FASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 394 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license