arXiv 2017-10-24 EN Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2 Daszczuk, Wiktor B.
arXiv 2017-10-22 EN Communication Dualism in Distributed Systems with Petri Net Interpretation Chrobot, Stanisław · Daszczuk, Wiktor B.
arXiv 2017-10-09 EN Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3 Daszczuk, Wiktor B.
arXiv 2017-10-07 EN Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment Daszczuk, Wiktor B. · Bielecki, Maciej · Michalski, Jan
arXiv 2015-09-11 EN Modal Characterisations of Behavioural Pseudometrics Deng, Yuxin · Du, Wenjie · Gebler, Daniel
arXiv 2014-01-19 EN Computation Tree Logic Model Checking Based on Possibility Measures Li, Yongming · Li, Yali · Ma, Zhanyou
arXiv 2013-07-05 EN Algorithmic Mechanisms for Reliable Internet-based Computing under Collusion Anta, Antonio Fernandez · Georgiou, Chryssis · Mosteiro, Miguel A.
arXiv 2013-06-03 EN DCaaS: Data Consistency as a Service for Managing Data Uncertainty on the Clouds Elgedawy, Islam
arXiv 2013-06-03 EN Adaptive Fixed Priority End-To-End Imprecise Scheduling In Distributed Real Time Systems El-Haweet, W. · Elgedawy, Islam · El-Salam, Ibrahim Abd
arXiv 2013-04-04 EN A generalized asynchronous computability theorem Gafni, Eli · Kuznetsov, Petr · Manolescu, Ciprian
arXiv 2011-04-11 EN Simulating Spiking Neural P systems without delays using GPUs Cabarle, Francis · Adorna, Henry · Martinez-del-Amor, Miguel A.
arXiv 2011-02-17 EN Even Better Framework for min-wise Based Algorithms Feigenblat, Guy · Porat, Ely · Shiftan, Ariel
