|
Search concepts
|
| Selected Filters |
- 1 - 50 out of 126 results
- Export search results
2010
A church-rosser checker tool for conditional order-sorted equational maude specifications
Durán, F. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 69-85 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A dependency pair framework for AVC-termination
Alarcón, B., Lucas, S. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 35-51 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A formal executable semantics of verilog
Meredith, P., Katelman, M., Meseguer, J. & Rosu, G., Oct 15 2010, 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010. p. 179-188 10 p. 5558634. (8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A formal pattern architecture for safe medical systems
Sun, M., Meseguer, J. & Sha, L., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 157-173 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Algebraic simulations
Meseguer, J., Palomino, M. & Martí-Oliet, N., Feb 1 2010, In : Journal of Logic and Algebraic Programming. 79, 2, p. 103-143 41 p.Research output: Contribution to journal › Article
A maude coherence checker tool for conditional order-sorted rewrite theories
Durán, F. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 86-103 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
An algebraic semantics for MOF
Boronat, A. & Meseguer, J., May 1 2010, In : Formal Aspects of Computing. 22, 3-4, p. 269-296 28 p.Research output: Contribution to journal › Article
Concurrent rewriting semantics and analysis of asynchronous digital circuits
Katelman, M., Keller, S. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 140-156 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Constructors, sufficient completeness, and deadlock freedom of rewrite theories
Rocha, C. & Meseguer, J., Nov 23 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Fermuller, C. G. (ed.). p. 594-609 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
Rocha, C. & Meseguer, J., Jan 1 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Fermuller, C. G. & Voronkov, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 594-609 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Coverset induction with partiality and subsorts: A powerlist case study
Hendrix, J., Kapur, D. & Meseguer, J., Aug 10 2010, Interactive Theorem Proving - First International Conference, ITP 2010, Proceedings. p. 275-290 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6172 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Folding variant narrowing and optimal variant termination
Escobar, S., Sasse, R. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 52-68 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formalization and correctness of the pals architectural pattern for distributed real-time systems
Meseguer, J. & Ölveczky, P. C., Dec 6 2010, Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Proceedings. p. 303-320 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6447 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal semantics and analysis of behavioral AADL models in real-time Maude
Ölveczky, P. C., Boronat, A. & Meseguer, J., Jul 21 2010, Formal Techniques for Distributed Systems - Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010, Proceedings. p. 47-62 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6117 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Sequential protocol composition in Maude-NPA
Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Nov 8 2010, Computer Security, ESORICS 2010 - 15th European Symposium on Research in Computer Security, Proceedings. p. 303-318 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6345 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The linear temporal logic of rewriting maude model checker
Bae, K. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 208-225 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Twenty years of rewriting logic
Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 15-17 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2011
Automated model synchronization: A case study on UML with Maude
Boronat, A. & Meseguer, J., Jan 1 2011, In : Electronic Communications of the EASST. 41Research output: Contribution to journal › Article
Formal Modeling Actors, Open Systems, Biological Systems: Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
Agha, G. A. (ed.), Danvy, O. (ed.) & Meseguer, J. (ed.), 2011, Berlin: Springer. (Lecture Notes in Computer Science; vol. 7000)Research output: Book/Report › Anthology
Incremental checking of well-founded recursive specifications modulo axioms
Schernhammer, F. & Meseguer, J., Sep 2 2011, PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming. p. 5-16 12 p. (PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Preface
Agha, G., Danvy, O. & Meseguer, J., Dec 1 2011, Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Agha, G., Meseguer, J. & Danvy, O. (eds.). p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7000 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
Escobar, S., Kapur, D., Lynch, C., Meadows, C., Meseguer, J., Narendran, P. & Sasse, R., Sep 2 2011, PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming. p. 65-76 12 p. (PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Protocol analysis modulo combination of theories: A case study in maude-NPA
Sasse, R., Escobar, S., Meadows, C. & Meseguer, J., Oct 19 2011, Security and Trust Management - 6th International Workshop, STM 2010, Revised Selected Papers. p. 163-178 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6710 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Proving safety properties of rewrite theories
Rocha, C. & Meseguer, J., Sep 26 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. p. 314-328 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
PVeStA: A parallel statistical model checking and quantitative analysis tool
AlTurki, M. & Meseguer, J., Sep 26 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. p. 386-392 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
State/event-based LTL model checking under parametric generalized fairness
Bae, K. & Meseguer, J., Jul 20 2011, Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. p. 132-148 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Synchronous AADL and its formal analysis in real-time maude
Bae, K., Ölveczky, P. C., Al-Nayeem, A. & Meseguer, J., Nov 9 2011, Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Proceedings. p. 651-667 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6991 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The rewriting logic semantics project: A progress report
Meseguer, J. & Roşu, G., Sep 9 2011, Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Proceedings. p. 1-37 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6914 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Variants, unification, narrowing, and symbolic reachability in Maude 2.6
Durán, F., Eker, S., Escobar, S., Meseguer, J. & Talcott, C., Dec 1 2011, 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. p. 31-40 10 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 10).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Verification of microarchitectural refinements in rule-based systems
Dave, N., Katelman, M., King, M., Arvind & Meseguer, J., Sep 1 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. p. 61-71 11 p. 5970511. (9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Vlogsl: A strategy language for simulation-based verification of hardware
Katelman, M. & Meseguer, J., Mar 30 2011, Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Revised Selected Papers. p. 129-145 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6504 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2012
A rewriting-based model checker for the linear temporal logic of rewriting
Bae, K. & Meseguer, J., Dec 20 2012, In : Electronic Notes in Theoretical Computer Science. 290, p. 19-36 18 p.Research output: Contribution to journal › Article
Design and analysis of cloud-based architectures with KLAIM and Maude
Wirsing, M., Eckhardt, J., Mühlbauer, T. & Meseguer, J., Nov 8 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 54-82 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7571 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Effective symbolic protocol analysis via equational irreducibility conditions
Erbatur, S., Escobar, S., Kapur, D., Liu, Z., Lynch, C., Meadows, C., Meseguer, J., Narendran, P., Santiago, S. & Sasse, R., Sep 5 2012, Computer Security, ESORICS 2012 - 17th European Symposium on Research in Computer Security, Proceedings. p. 73-90 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7459 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Enhancing safety and security of distributed systems through formal patterns
Eckhardt, J., M̈uhlbauer, T., Meseguer, J. & Wirsing, M., Dec 1 2012, In : CEUR Workshop Proceedings. 834, p. 35-40 6 p.Research output: Contribution to journal › Conference article
Folding variant narrowing and optimal variant termination
Escobar, S., Sasse, R. & Meseguer, J., Oct 1 2012, In : Journal of Logic and Algebraic Programming. 81, 7-8, p. 898-928 31 p.Research output: Contribution to journal › Article
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Meseguer, J. & Ölveczky, P. C., Sep 14 2012, In : Theoretical Computer Science. 451, p. 1-37 37 p.Research output: Contribution to journal › Article
Model checking LTLR formulas under localized fairness
Bae, K. & Meseguer, J., Nov 8 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 99-117 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7571 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
Durán, F. & Meseguer, J., Oct 1 2012, In : Journal of Logic and Algebraic Programming. 81, 7-8, p. 816-850 35 p.Research output: Contribution to journal › Article
Order-sorted equality enrichments modulo axioms
Gutiérrez, R., Meseguer, J. & Rocha, C., Nov 8 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 162-181 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7571 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Order-sorted equational unification revisited
Hendrix, J. & Meseguer, J., Dec 20 2012, In : Electronic Notes in Theoretical Computer Science. 290, p. 37-50 14 p.Research output: Contribution to journal › Article
PALS-based analysis of an airplane multirate control system in real-time maude
Bae, K., Krisiloff, J., Meseguer, J. & Ölveczky, P. C., Dec 29 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 105, p. 5-21 17 p.Research output: Contribution to journal › Conference article
Open Access
Rewriting semantics of production rule sets
Katelman, M., Keller, S. & Meseguer, J., Oct 1 2012, In : Journal of Logic and Algebraic Programming. 81, 7-8, p. 929-956 28 p.Research output: Contribution to journal › Article
Security Policies and Security Models
Goguen, J. A. & Meseguer, J., Jul 6 2012, In : Proceedings - IEEE Symposium on Security and Privacy. 2012-July, July, p. 11-20 10 p., 6234468.Research output: Contribution to journal › Conference article
Stable availability under denial of service attacks through formal patterns
Eckhardt, J., Mühlbauer, T., Alturki, M., Meseguer, J. & Wirsing, M., Apr 3 2012, 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, Proceedings. p. 78-93 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7212 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
State space c-reductions of concurrent systems in rewriting logic
Lluch Lafuente, A., Meseguer, J. & Vandin, A., Dec 1 2012, Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Proceedings. p. 430-446 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7635 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Taming distributed system complexity through formal patterns
Meseguer, J., Dec 31 2012, Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Revised Selected Papers. p. 1-2 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7253 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The synchAADL2Maude tool
Bae, K., Ölveczky, P. C., Meseguer, J. & Al-Nayeem, A., Apr 3 2012, 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, Proceedings. p. 59-62 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7212 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Twenty years of rewriting logic
Meseguer, J., Oct 1 2012, In : Journal of Logic and Algebraic Programming. 81, 7-8, p. 721-781 61 p.Research output: Contribution to journal › Article
Unwinding and Inference Control
Goguen, J. A. & Meseguer, J., Jul 6 2012, In : Proceedings - IEEE Symposium on Security and Privacy. 2012-July, July, p. 75-86 12 p., 6234812.Research output: Contribution to journal › Conference article