Robuta

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MBT2013.3 EPTCS: Towards the Usage of MBT at ETSI eptcstowardsusagembtetsi https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACL22015.6 EPTCS: Extending ACL2 with SMT Solvers eptcsextendingsmtsolvers https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TERMGRAPH2020.2 EPTCS: On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods eptcsstochasticrewritingcombinatoricsvia https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?EXPRESSSOS2024.4 EPTCS: Semantics for Linear-time Temporal Logic with Finite Observations temporal logiceptcssemanticslineartime https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MBT2014.3 EPTCS: Coverage Criteria for Model-Based Testing using Property Patterns model basedeptcscoveragecriteriatesting https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?EXPRESSSOS2017.3 EPTCS: Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees eptcshennessymilnerlogicgeneralized https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GCM2019.2 EPTCS: Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework eptcspushoutrewritingconcurrencyrule https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?QPL2017.19 EPTCS: Categorifying the ZX-calculus eptcszxcalculus https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?QAPL2012.1 EPTCS: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata model checkingeptcssmcstatisticalpriced https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FTSCS2012.9 EPTCS: A Timed Calculus for Mobile Ad Hoc Networks for mobilead hoceptcstimedcalculus https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MBT2013.5 EPTCS: Decomposability in Input Output Conformance Testing in inputeptcsoutputconformancetesting https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ARCADE2019.3 EPTCS: Using ConceptNet to Teach Common Sense to an Automated Theorem Prover common senseeptcsusingconceptnetteach https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ESSS2014.3 EPTCS: Directed Security Policies: A Stateful Network Implementation security policieseptcsdirectedstatefulnetwork https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu17.5 EPTCS: Carnap: An Open Framework for Formal Reasoning in the Browser open frameworkfor formalin theeptcscarnap https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?EXPRESS2009.4 EPTCS: Modal Logic and the Approximation Induction Principle modal logicand theeptcsapproximationinduction https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2022.36 EPTCS: Tools and Methodologies for Verifying Answer Set Programs tools and methodologieseptcsverifyinganswerset https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?QPL2017.1 EPTCS: Almost Equivalent Paradigms of Contextuality eptcsalmostequivalentparadigms https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MBT2013.7 EPTCS: Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?SNR2020.4 EPTCS: Enclosing the Sliding Surfaces of a Controlled Swing of aeptcsslidingsurfacescontrolled https://resources.illc.uva.nl/LogicList/newsitem.php?id=9060 CfP postproceedings ThEdu 2018 in EPTCS, Deadline: 18 Nov 2018 cfpeptcsdeadlinenov https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?TERMGRAPH2018 EPTCS 288: Computing with Terms and Graphs terms andeptcscomputinggraphs https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TFPIE2019.3 EPTCS: How to Increase Interest in Studying Functional Programming via Interdisciplinary Application how to increase https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2022.37 EPTCS: An ASP Framework for Efficient Urban Traffic Optimization eptcsaspframeworkefficienturban https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GandALF18.4 EPTCS: Classical Proofs as Parallel Programs eptcsclassicalproofsparallelprograms https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?QAPL2011.1 EPTCS: On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models on the flyof time https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?SNR2020.3 EPTCS: Analysis of E-commerce Ranking Signals via Signal Temporal Logic e commerceeptcsanalysis https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GANDALF2017.17 EPTCS: Model Checking Social Network Models model checkingsocial networkeptcsmodels https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2019.4 EPTCS: Tracelets and Tracelet Analysis Of Compositional Rewriting Systems eptcsanalysisrewritingsystems