This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Electronic Notes in Theoretical Computer Science
A conference, workshop or journal: the thing that recurs, across all its years.
Electronic Notes in Theoretical Computer Science: Elsevier's workshop-proceedings series, late 1990s to 2021. Many workshops of that era are citable only through an ENTCS volume.
https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science
17 references
On models of higher-order separation logic
Aleš Bizjak and others (2018) · Electronic Notes in Theoretical Computer Science
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
Mario Folhadela Benevides and others (2011) · Electronic Notes in Theoretical Computer Science · Elsevier BV
A Revisionist History of Concurrent Separation Logic
Stephen Brookes (2011) · Electronic Notes in Theoretical Computer Science · Elsevier
Global and Local Graph Modifiers
Guillaume Aucher and others (2009) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
Richard Bubel and others (2008) · Electronic Notes in Theoretical Computer Science
CVM – A Verified Framework for Microkernel Programmers
Tom In der Rieden and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
A Logic for Virtual Memory
Rafal Kolanski (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Pervasive Compiler Verification – From Verified Programs to Verified Systems
Dirk Leinenbach and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Correct Microkernel Primitives
Artem Starostin and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Local reasoning about data update
Cristiano Calcagno and others (2007) · Electronic Notes in Theoretical Computer Science
A Model-based Integration and Testing Method to Reduce System Development Effort
N.C.W.M. Braspenning and others (2006) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Synthesis of Mealy Machines Using Derivatives
Helle Hvid Hansen and others (2006) · Electronic Notes in Theoretical Computer Science · Elsevier
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
Saddek Bensalem and others (2004) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems
Kåre Jelling Kristoffersen and others (2003) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Verification of Asynchronous Circuits using Timed Automata
Marius Bozga and others (2002) · Electronic Notes in Theoretical Computer Science: Theory and Practice of Timed Systems (TPTS 2002)
Monitoring, Checking, and Steering of Real-Time Systems
Moonjoo Kim and others (2002) · Electronic Notes in Theoretical Computer Science · Elsevier BV