default search action
Essays Dedicated to José Meseguer 2015
- Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 - Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
José Meseguer: Scientist and Friend Extraordinaire. 1-47 - Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita:
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. 48-71 - María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña:
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. 72-96 - Thomas J. Anastasio:
Computer Modeling in Neuroscience: From Imperative to Declarative Programming - Maude Modeling in Neuroscience. 97-113 - Kyungmin Bae, Peter Csaba Ölveczky:
Hybrid Multirate PALS. 114-134 - Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino:
Debits and Credits in Petri Nets and Linear Logic. 135-159 - David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse:
Alice and Bob Meet Equational Theories. 160-180 - Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans:
On First-Order Model-Based Reasoning. 181-204 - Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Normal Form for Stateful Connectors. 205-227 - Shuo Chen:
Enlightening Ph.D. Students with the Elegance of Logic - My Personal Memory About Prof. José Meseguer. 228-231 - Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
Two Decades of Maude. 232-254 - Erwin Engeler:
Formal Universes. 255-263 - Stephan Falke, Deepak Kapur:
When Is a Formula a Loop Invariant? 264-286 - Kokichi Futatsugi:
Generic Proof Scores for Generate & Check Method in CafeOBJ. 287-310 - Raúl Gutiérrez, Salvador Lucas:
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. 311-330 - Rolf Hennicker, Annabelle Klarl, Martin Wirsing:
Model-Checking Helena Ensembles with Spin. 331-360 - Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Modularity of Ontologies in an Arbitrary Institution. 361-379 - Hélène Kirchner:
Rewriting Strategies and Strategic Rewrite Programs. 380-403 - Michael LeMay, Carl A. Gunter:
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. 404-426 - Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Discretionary Information Flow Control for Interaction-Oriented Specifications. 427-450 - Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak:
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. 451-474 - Catherine Meadows:
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later. 475-492 - Jayadev Misra:
A Denotational Semantic Theory of Concurrent Systems. 493-518 - Peter D. Mosses, Ferdinand Vesely:
Weak Bisimulation as a Congruence in MSOS. 519-538 - Stefanie Neubert, Lenz Belzner, Martin Wirsing:
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. 562-579 - Camilo Rocha:
The Formal System of Dijkstra and Scholten. 580-597 - Grigore Rosu:
From Rewriting Logic, to Programming Language Semantics, to Program Verification. 598-616 - Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves:
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. 617-631
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.