Caltais, Georgiana; Hojjat, Hossein; Mousavi, Mohammad Reza; Tunç, Hünkar Can DyNetKAT: an algebra of dynamic networks. (English) Zbl 07793029 Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 184-204 (2022). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{G. Caltais} et al., Lect. Notes Comput. Sci. 13242, 184--204 (2022; Zbl 07793029) Full Text: DOI arXiv
González-Burgueño, Antonio; Ölveczky, Peter Csaba Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. (English) Zbl 1528.68049 J. Log. Algebr. Methods Program. 122, Article ID 100685, 27 p. (2021). MSC: 68M25 03B70 94A62 PDFBibTeX XMLCite \textit{A. González-Burgueño} and \textit{P. C. Ölveczky}, J. Log. Algebr. Methods Program. 122, Article ID 100685, 27 p. (2021; Zbl 1528.68049) Full Text: DOI
Nigam, Vivek; Talcott, Carolyn; Urquiza, Abraão Aires Symbolic timed trace equivalence. (English) Zbl 07176724 Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer. Lect. Notes Comput. Sci. 11565, 89-111 (2019). MSC: 68M12 68P25 94A60 PDFBibTeX XMLCite \textit{V. Nigam} et al., Lect. Notes Comput. Sci. 11565, 89--111 (2019; Zbl 07176724) Full Text: DOI
Hanna, Erin; Lynch, Christopher; Myers, David Jaz; Richardson, Corey Pavlovic, Dusko (ed.) Finding intruder knowledge with cap-matching. (English) Zbl 07176721 Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer. Lect. Notes Comput. Sci. 11565, 39-53 (2019). MSC: 68M12 68P25 94A60 PDFBibTeX XMLCite \textit{E. Hanna} et al., Lect. Notes Comput. Sci. 11565, 39--53 (2019; Zbl 07176721) Full Text: DOI
Basin, David; Cremers, Cas; Meadows, Catherine Model checking security protocols. (English) Zbl 1392.68228 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 727-762 (2018). MSC: 68Q60 68M12 94A60 PDFBibTeX XMLCite \textit{D. Basin} et al., in: Handbook of model checking. Cham: Springer. 727--762 (2018; Zbl 1392.68228) Full Text: DOI
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José Modeling and analyzing mobile ad hoc networks in Real-Time Maude. (English) Zbl 1356.68123 J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 34-66 (2016). MSC: 68Q42 68M10 68M12 68Q60 PDFBibTeX XMLCite \textit{S. Liu} et al., J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 34--66 (2016; Zbl 1356.68123) Full Text: DOI
Basin, David; Keller, Michel; Radomirović, Saša; Sasse, Ralf Alice and Bob meet equational theories. (English) Zbl 1321.68343 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 160-180 (2015). MSC: 68Q60 68M12 94A60 PDFBibTeX XMLCite \textit{D. Basin} et al., Lect. Notes Comput. Sci. 9200, 160--180 (2015; Zbl 1321.68343) Full Text: DOI
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José Formal analysis of leader election in MANETs using Real-Time Maude. (English) Zbl 1454.68014 De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 231-252 (2015). MSC: 68M12 68M14 68Q42 PDFBibTeX XMLCite \textit{S. Liu} et al., Lect. Notes Comput. Sci. 8950, 231--252 (2015; Zbl 1454.68014) Full Text: DOI
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre Bounded memory protocols. (English) Zbl 1308.68055 Comput. Lang. Syst. Struct. 40, No. 3-4, 137-154 (2014). MSC: 68P25 68M10 68M12 PDFBibTeX XMLCite \textit{M. Kanovich} et al., Comput. Lang. Syst. Struct. 40, No. 3--4, 137--154 (2014; Zbl 1308.68055) Full Text: DOI
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia State space reduction in the Maude-NRL protocol analyzer. (English) Zbl 1360.94307 Inf. Comput. 238, 157-186 (2014). MSC: 94A60 68M12 68Q42 PDFBibTeX XMLCite \textit{S. Escobar} et al., Inf. Comput. 238, 157--186 (2014; Zbl 1360.94307) Full Text: DOI
Liu, Zhiqiang; Lynch, Christopher Efficient general AGH-unification. (English) Zbl 1360.94321 Inf. Comput. 238, 128-156 (2014). MSC: 94A60 68M12 68Q42 PDFBibTeX XMLCite \textit{Z. Liu} and \textit{C. Lynch}, Inf. Comput. 238, 128--156 (2014; Zbl 1360.94321) Full Text: DOI
Pita, Isabel; Fernández-Camacho, María-Inés Formal specification of the Kademlia and the Kad routing tables in Maude. (English) Zbl 1394.68235 Martí-Oliet, Narciso (ed.) et al., Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37634-4/pbk). Lecture Notes in Computer Science 7841, 231-247 (2013). MSC: 68Q60 68M12 68P05 68Q42 PDFBibTeX XMLCite \textit{I. Pita} and \textit{M.-I. Fernández-Camacho}, Lect. Notes Comput. Sci. 7841, 231--247 (2013; Zbl 1394.68235) Full Text: DOI
Niewiadomska-Szynkiewicz, Ewa Localization in wireless sensor networks: classification and evaluation of techniques. (English) Zbl 1283.93031 Int. J. Appl. Math. Comput. Sci. 22, No. 2, 281-297 (2012). MSC: 93A15 93A14 93A30 PDFBibTeX XMLCite \textit{E. Niewiadomska-Szynkiewicz}, Int. J. Appl. Math. Comput. Sci. 22, No. 2, 281--297 (2012; Zbl 1283.93031) Full Text: DOI
Meseguer, José; Ölveczky, Peter Csaba Formalization and correctness of the PALS architectural pattern for distributed real-time systems. (English) Zbl 1284.68073 Theor. Comput. Sci. 451, 1-37 (2012). MSC: 68M14 68Q60 68M07 68M10 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{P. C. Ölveczky}, Theor. Comput. Sci. 451, 1--37 (2012; Zbl 1284.68073) Full Text: DOI
Kazemeyni, Fatemeh; Johnsen, Einar Broch; Owe, Olaf; Balasingham, Ilangko Formal modeling and validation of a power-efficient grouping protocol for WSNs. (English) Zbl 1252.68041 J. Log. Algebr. Program. 81, No. 3, 284-297 (2012). MSC: 68M14 68M12 68M10 PDFBibTeX XMLCite \textit{F. Kazemeyni} et al., J. Log. Algebr. Program. 81, No. 3, 284--297 (2012; Zbl 1252.68041) Full Text: DOI
Wang, Anduo; Talcott, Carolyn; Gurney, Alexander J. T.; Loo, Boon Thau; Scedrov, Andre Reduction-based formal analysis of BGP instances. (English) Zbl 1352.68021 Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 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. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 283-298 (2012). MSC: 68M11 68M12 PDFBibTeX XMLCite \textit{A. Wang} et al., Lect. Notes Comput. Sci. 7214, 283--298 (2012; Zbl 1352.68021) Full Text: DOI
Ölveczky, Peter Csaba; Thorvaldsen, Stian Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. (English) Zbl 1178.68699 Theor. Comput. Sci. 410, No. 2-3, 254-280 (2009). MSC: 68W40 68M10 68Q42 PDFBibTeX XMLCite \textit{P. C. Ölveczky} and \textit{S. Thorvaldsen}, Theor. Comput. Sci. 410, No. 2--3, 254--280 (2009; Zbl 1178.68699) Full Text: DOI
Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L. Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. (English) Zbl 1109.68010 Form. Methods Syst. Des. 29, No. 3, 253-293 (2006). MSC: 68M12 PDFBibTeX XMLCite \textit{P. C. Ölveczky} et al., Form. Methods Syst. Des. 29, No. 3, 253--293 (2006; Zbl 1109.68010) Full Text: DOI Link
Stehr, Mark-Oliver; Talcott, Carolyn L. Plan in Maude specifying an active network programming language. (English) Zbl 1272.68044 Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 240-260 (2004). MSC: 68M10 68N15 68N18 PDFBibTeX XMLCite \textit{M.-O. Stehr} and \textit{C. L. Talcott}, Electron. Notes Theor. Comput. Sci. 71, 240--260 (2004; Zbl 1272.68044) Full Text: Link
Verdejo, Alberto; Pita, Isabel; Martí-Oliet, Narciso Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic. (English) Zbl 1029.68023 Formal Asp. Comput. 14, No. 3, 228-246 (2002). MSC: 68M12 68Q42 PDFBibTeX XMLCite \textit{A. Verdejo} et al., Formal Asp. Comput. 14, No. 3, 228--246 (2002; Zbl 1029.68023) Full Text: DOI
Pita, Isabel; Martí-Oliet, Narciso A Maude specification of an object-oriented model for telecommunication networks. (English) Zbl 1001.68004 Theor. Comput. Sci. 285, No. 2, 407-439 (2002). MSC: 68M10 68Q42 PDFBibTeX XMLCite \textit{I. Pita} and \textit{N. Martí-Oliet}, Theor. Comput. Sci. 285, No. 2, 407--439 (2002; Zbl 1001.68004) Full Text: DOI