Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	José
Last name:	Meseguer
DBLP:	m/JoseMeseguer
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 306  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing. Stable Availability under Denial of Service Attacks through Formal Patterns.	Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012	(0)	2012
	Conference paper Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem. The SynchAADL2Maude Tool.	Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012	(0)	2012
	Conference paper Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse. Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.	Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings 2012	(0)	2012
	Conference paper Kyungmin Bae, José Meseguer. Model Checking LTLR Formulas under Localized Fairness.	Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers 2012	(0)	2012
	Conference paper Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer. Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.	Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers 2012	(0)	2012
	Conference paper Raúl Gutiérrez, José Meseguer, Camilo Rocha. Order-Sorted Equality Enrichments Modulo Axioms.	Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers 2012	(0)	2012
	Conference paper Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin. State Space c-Reductions of Concurrent Systems in Rewriting Logic.	Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 2012	(0)	2012
	Journal article José Meseguer, Peter Csaba Ölveczky. Formalization and correctness of the PALS architectural pattern for distributed real-time systems.	Theor. Comput. Sci. 2012, Volume 451	(0)	2012
	Conference paper Michael Katelman, Sean Keller, José Meseguer. Rewriting semantics of production rule sets.	J. Log. Algebr. Program. 2012, Volume 81	(0)	2012
	Conference paper José Meseguer. Twenty years of rewriting logic.	J. Log. Algebr. Program. 2012, Volume 81	(0)	2012
	Conference paper Francisco Durán, José Meseguer. On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories.	J. Log. Algebr. Program. 2012, Volume 81	(0)	2012
	Conference paper Santiago Escobar, Ralf Sasse, José Meseguer. Folding variant narrowing and optimal variant termination.	J. Log. Algebr. Program. 2012, Volume 81	(0)	2012
	Journal article Kyungmin Bae, José Meseguer. A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting.	Electr. Notes Theor. Comput. Sci. 2012, Volume 290	(0)	2012
	Journal article Joe Hendrix, José Meseguer. Order-sorted Equational Unification Revisited.	Electr. Notes Theor. Comput. Sci. 2012, Volume 290	(0)	2012
	Journal article Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky. PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude	Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems 2012, Volume 105	(0)	2012
	Conference paper Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky. Formal Patterns for Multi-rate Distributed Real-Time Systems.	Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers 2013	(0)	2012
	Conference paper Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang. IBOS: A Correct-By-Construction Modular Browser.	Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers 2013	(0)	2012
	Conference paper Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing. Statistical Model Checking for Composite Actor Systems.	Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 2013	(0)	2012
	Conference paper Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott. Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.	Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia 2011	(0)	2011
	Journal article Santiago Escobar, Catherine Meadows, José Meseguer. State Space Reduction in the Maude-NRL Protocol Analyzer	CoRR 2011, Volume 0	(0)	2011
	Conference paper Kyungmin Bae, José Meseguer. State/Event-Based LTL Model Checking under Parametric Generalized Fairness.	Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings 2011	(0)	2011
	Conference paper José Meseguer, Grigore Rosu. The Rewriting Logic Semantics Project: A Progress Report.	Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings 2011	(0)	2011
	Conference paper Camilo Rocha, José Meseguer. Proving Safety Properties of Rewrite Theories.	Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings 2011	(0)	2011
	Conference paper Musab AlTurki, José Meseguer. PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool.	Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings 2011	(0)	2011
	Conference paper Felix Schernhammer, José Meseguer. Incremental checking of well-founded recursive specifications modulo axioms.	Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011	(0)	2011

Show item 1 to 25 of 306  

Your query returned 306 matches in the database.