Filters








12 Hits in 9.0 sec

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

Christel Baier, Cesare Tinelli
2017 Acta Informatica  
The International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) is a forum for researchers, developers and users interested in the rigorous development of tools  ...  and algorithms for the construction and analysis of systems.  ...  A companion special issue of the International Journal on Software Tools for Technology contains four additional papers that were selected for their quality and substantial contribution to the development  ... 
doi:10.1007/s00236-017-0298-1 fatcat:my3ejqypvbgprohdlg63ll3jcm

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)

Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani, Marc Herbstritt
2017 Dagstuhl Reports  
It naturally included the broad set of domain-specific solutions to the pertinent issues of performance impact of error propagation and control in various schemes of numeric and blended symbolic-numeric  ...  This combination of up to now only loosely coupled areas shed light on how advanced numerical methods can help improve the state of the art in rigorously interpreting and controlling cyber-physical phenomena  ...  Taankvist, "Uppaal stratego", in Proc. of the 21st Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), LNCS, Vol. 9035, pp. 206-211, Springer, 2015.  ... 
doi:10.4230/dagrep.6.12.1 dblp:journals/dagstuhl-reports/BogomolovFMR16 fatcat:sydj4slvefa7boehai7gpnfupm

Logic in Computer Science [chapter]

Yuri GUREVICH
2001 Current Trends In Theoretical Computer Science  
Acknowledgments I thank Philip Wadler for sending me his opinions on Yuri Gurevich's comments related to pure functional programming in [8, Section 4.3],  ...  Software Engineering), TACAS (Tools and Algorithms for the Construction and Analysis of Systems, that originally started as the European version of CAV), and CC (Compiler Construction); in 2011 a sixth  ...  the flagship conference of the ACM Special Interest Group on Logic and Computation (SIGLOG).  ... 
doi:10.1142/9789812810403_0003 fatcat:fal4prkmgnb4hgqu6gfiin4c6u

Logic Synthesis [chapter]

2017 Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology  
ACKNOWLEDGMENT e authors thank Vladimir Yutsis for his helpful feedback on Section 1.5.2.  ...  Zhu, Symbolic model checking without BDDs, Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), Lecture Notes in Computer Science, Vol. 1579, Amsterdam  ...  Oklobdzija, Application of logical e�ort techniques for speed optimization and analysis of representative adders, Conference Record of the Thirty-Fifth Asilomar Conference on Signals, Systems and Computers  ... 
doi:10.1201/9781315215112-13 fatcat:me52zpnxyfcczh3choo2p4zulm

Efficient Analysis and Synthesis of Complex Quantitative Systems [article]

Peter Gjøl Jensen
2018 PhD series, Technical Faculty of IT and Design, ˜Aalborg=ålborgœ University  
We attack this problem by developing novel algorithms and datastructures for the reduction of memory and time consumption.  ...  To improve on the speed of computation, we attack what is called the state-space explosion problem and present alternatives for the state-space representation.  ...  Acknowledgments We are grateful to Christopher Brooks, Fabio Cremona, and Edward Lee from UC Berkeley, for their work on the ptolemy framework. This  ... 
doi:10.5278/vbn.phd.tech.00043 fatcat:fq4x5hnl5rgdzdtolcimzbonxm

Harmonising Regulatory and Antitrust Regimes for International Air Transport [chapter]

SHADI A. ALSHDAIFAT, BASHAR H. MALKAWI
2018 Zenodo  
The purpose of this paper is to examine air liberalization in Arab countries.  ...  studies and conferences, in the commercial arena, especially between 1944 and 1947, and since 1974, with the Special or First (Worldwide) Air Transport Conference in 1977.  ...  for discontinuing the exemption in so far as it appeared that these conferences did not need any special treatment in the form of a block exemption.  ... 
doi:10.5281/zenodo.3351893 fatcat:6ycsuv5isrdjxmjal3i54h3os4

Proceedings of the 11th Workshop on Ubiquitous Music (UbiMus 2021) [article]

Gilberto Bernardes, Eduardo Magalhães, Marcello Messina, Damián Keller, Matthew E. P. Davies
2021 Zenodo  
It was organized by the Sound and Music Computing (SMC) Group of the Faculty of Engineering, University of Porto and INESC TEC, Portugal, and OJM in collaboration with NAP, Federal University of Acre,  ...  The 11th UbiMus — Ubiquitous Music Workshop (https://dei.fe.up.pt/ubimus/) was held at the Center for High Artistic Performance, the house of the Orquestra Jazz Matosinhos (OJM) in Portugal, during September  ...  The authors would like also to thank the support of the funding agencies CNPq, (Grant Number 151975/2019-1), CAPES (Grant Number 88887.486097/2020-00) and FAPEMIG.  ... 
doi:10.5281/zenodo.5552418 fatcat:deyymogf6jeulehi3z4mynphuy

Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue [article]

2017
Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue  ...  Taankvist, "Uppaal stratego", in Proc. of the 21st Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), LNCS, Vol. 9035, pp. 206-211, Springer, 2015.  ...  Computer Aided Verification (CAV) and Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), and control, e.g.  ... 
doi:10.4230/dagrep.6.12 fatcat:tqki4srkgjdutj3sxpltk5du6y

Dagstuhl Reports, Volume 7, Issue 11, November 2017, Complete Issue [article]

2018
Dagstuhl Reports, Volume 7, Issue 11, November 2017, Complete Issue  ...  A General Language for Matching Tile Games Julian Togelius (New York University, US), Cameron Browne (RIKEN -Tokyo, JP), Simon Colton (Falmouth University, GB), Mark J.  ...  (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2009. Lecture Notes in Computer Science, vol 5505.  ... 
doi:10.4230/dagrep.7.11 fatcat:pk2gs776vzftffmrue3j2xdgoy

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332) Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) Computational Aspects of Fabrication (Dagstuhl Seminar 14361) Augmenting Human Memory-Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)

Michael Benedikt, Carsten Lutz, Thomas Ågotnes, Nils Bulling, Daniel Kroening, Thomas Reps, Sanjit Seshia, Aditya Thakur, Patrick Cousot, Daniel Kroening, Carsten Sinz, Marc Alexa (+7 others)
2014 Querying and Reasoning Under Expressive Constraints   unpublished
Tonetta, "IC3 Modulo Theories via Implicit Predicate Abstraction," in Proc. of the 20th Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14), LNCS, Vol. 8413, pp.  ...  The KeY Platform for Verification and Analysis of Java Programs 6th Working Conference on Verified Software: Theories, Tools and Experiments 2014, Vienna, Austria, 2014.  ...  Yet, one of the major issues holding back widespread use of AM is the lack of efficient algorithms for the automated fabrication of digital CG, the reproduction of physical, and the computational design  ... 
fatcat:xufggsvrynatbg2tlxe5gt7tei

Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue [article]

2017
Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue  ...  We compare this to a recent characterization of the notion of 1-randomness, also in terms of differentiability.  ...  We present a theorem characterizing the notion of 1-genericity in terms of differentiable functions.  ... 
doi:10.4230/dagrep.7.2 fatcat:ydwbggkkxjfahomhv75rjaguiy

Adaptive Constraint Solving for Information Flow Analysis [article]

Santanu Kumar Dash, UH Research Archive, UH Research Archive
2015
Bound constraints on these variables can then specify multiple optimisation goals for computer programs and nd application in areas such as type theory, security, alias analysis and resource reasoning.  ...  We present a novel framework based on graph decomposition for solving the (atomic) bound constraint problem for IFA.  ...  for the Construction and Analysis of Systems (TACAS), 2015. 4.  ... 
doi:10.18745/th.16354 fatcat:nqkdm5zblvdnnohcsqhneuld74