reactive systems (20)
international journal on software tools for technology transfer (17)
theoretical computer science (17)
logical methods in computer science (13)
acta informatica (8)
information and computation (8)
the journal of logic and algebraic programming (6)
computer aided verification (4)
journal of logical and algebraic methods in programming (4)
model checking software (4)
formal modeling and analysis of timed systems (3)
foundations of software science and computation structures (3)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (3)
nordic journal of computing (3)
30th international conference on concurrency theory (2)
application and theory of petri nets and concurrency (2)
dependable software engineering: theories, tools & applications (9783319476766) (2)
formal aspects of computing (2)
formal methods (2)
formal methods for components & objects (9783642252709) (2)
foundations of software science & computation structures 18th international conference, fossacs 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (2)
foundations of software science and computational structures (2)
fundamenta informaticae (2)
hscc'10---hybrid systems: computation and control (2)
journal of building engineering (2)
language and automata theory and applications (2)
leveraging applications of formal methods, verification & validation. applications & case studies (2)
logic for programming, artificial intelligence, and reasoning (2)
mathematical foundations of computer science 2012 (2)
models, mindsets, meta---the what, the how, and the why not? (2)
perspectives of system informatics (2)
principles of systems design---essays dedicated to thomas a. henzinger on the occasion of his 60th birthday (2)
science of computer programming (2)
tools and algorithms for the construction and analysis of systems (2)
transportation research procedia (2)
10th ieee international symposium on industrial embedded systems (sies), industrial embedded systems (sies), 2015 10th ieee international symposium on (1)
2009 third ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering, 2009. tase 2009. third ieee international symposium on (1)
2015 ieee international conference on information reuse and integration, information reuse and integration (iri), 2015 ieee international conference on (1)
2016 23rd international symposium on temporal representation and reasoning (time), temporal representation and reasoning (time), 2016 23rd international symposium on (1)
2016 ieee 19th international symposium on design and diagnostics of electronic circuits & systems (ddecs), design and diagnostics of electronic circuits & systems (ddecs), 2016 ieee 19th international symposium on (1)
2017 22nd international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2017 22nd international conference on (1)
2018 ieee conference on control technology and applications (ccta), control technology and applications (ccta), 2018 ieee conference on (1)
2021 ieee symposium on computers and communications (iscc), computers and communications (iscc), 2021 ieee symposium on (1)
iecon 2016 - 42nd annual conference of the ieee industrial electronics society, industrial electronics society , iecon 2016 - 42nd annual conference of the ieee (1)
ieee transactions on automatic control (1)
information systems frontiers (1)
information systems frontiers: a journal of research and innovation (1)
renewable & sustainable energy reviews (1)
renewable and sustainable energy reviews (1)
software-practice & experience (1)