181
182
183
184
185
186
Bằng Delgrange, Florent, Katoen, Joost-Pieter, Quatmann, Tim, Randour, Mickael
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... processes (MDPs). This enables a trade-off analysis among multiple objectives by obtaining a Pareto front...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
lấy văn bản
lấy văn bản
Artigo
187
Bằng André, Étienne, Arias, Jaime, Petrucci, Laure, Pol, Jaco van de
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...We study semi-algorithms to synthesise the constraints under which a Parametric Timed Automaton...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
lấy văn bản
lấy văn bản
Artigo
188
Bằng Mann, Makai, Irfan, Ahmed, Griggio, Alberto, Padon, Oded, Barrett, Clark
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...We develop a framework for model checking infinite-state systems by automatically augmenting them...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
lấy văn bản
lấy văn bản
Artigo
189
Bằng Mitterwallner, Fabian, Lochmann, Alexander, Middeldorp, Aart, Felgenhauer, Bertram
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... systems. The decision procedure is based on tree automata techniques and recently we completed a...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
lấy văn bản
lấy văn bản
Artigo
190
Bằng Köhl, Maximilian A., Klauck, Michaela, Hermanns, Holger
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... for model construction, validation, and analysis. Here, we demonstrate these capabilities....”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
lấy văn bản
lấy văn bản
Artigo
191
“..., analysis, verification, certification, construction, test, and maintenance of systems. In particular...”
lấy văn bản
lấy văn bản
Livro
192
Bằng Lochmann, Alexander, Middeldorp, Aart
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... the termination property. The paper also contains a formalized proof of a direct tree automaton construction...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
lấy văn bản
lấy văn bản
Artigo
193
Bằng Gieseking, Manuel, Hecking-Harbusch, Jesko, Yanich, Ann
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...Developing algorithms for distributed systems is an error-prone task. Formal models like Petri nets...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
lấy văn bản
lấy văn bản
Artigo
194
Bằng Budde, Carlos E.
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... reachability properties in stochastic automata. This software tool specialises in Rare Event Simulation via...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
lấy văn bản
lấy văn bản
Artigo
195
Bằng Quiring, Benjamin, Manolios, Panagiotis
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... these potential invariants, using an interface provided by ACL2s for connecting with external tools. GACAL...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
lấy văn bản
lấy văn bản
Artigo
196
Bằng Oortwijn, Wytse, Huisman, Marieke, Joosten, Sebastiaan J. C., van de Pol, Jaco
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...Model checking algorithms are typically complex graph algorithms, whose correctness is crucial...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
lấy văn bản
lấy văn bản
Artigo
197
Bằng Visser, Willem, Geldenhuys, Jaco
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...COASTAL is a program analysis tool for Java programs. It combines concolic execution and fuzz...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
lấy văn bản
lấy văn bản
Artigo
198
Bằng Saan, Simmo, Schwarz, Michael, Apinis, Kalmer, Erhard, Julian, Seidl, Helmut, Vogler, Ralf, Vojdani, Vesal
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...Goblint is a static analysis framework for C programs specializing in data race analysis. It relies...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
lấy văn bản
lấy văn bản
Artigo
199
Bằng Qin, Xudong, Deng, Yuxin, Du, Wenjie
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... exploit this technique to design and implement two on-the-fly algorithms for the strong and weak versions...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)
lấy văn bản
lấy văn bản
Artigo
200
Bằng Mamouras, Konstantinos, Chattopadhyay, Agnishom, Wang, Zhifu
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...We investigate efficient algorithms for the online monitoring of properties written in metric...”Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)
lấy văn bản
lấy văn bản
Artigo