Sami Evangelista
Orcid: 0000-0002-7666-583X
According to our database1,
Sami Evangelista
authored at least 36 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
1
1
4
2
1
1
1
1
2
1
1
1
3
2
1
2
1
2
1
4
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
2021
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021
2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters.
Proceedings of the Euro-Par 2018: Parallel Processing, 2018
2015
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System.
CoRR, 2015
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015
2014
Fundam. Informaticae, 2014
Proceedings of the 21st European MPI Users' Group Meeting, 2014
2013
Sci. Comput. Program., 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Trans. Petri Nets Other Model. Concurr., 2012
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.
Trans. Petri Nets Other Model. Concurr., 2012
Trans. Petri Nets Other Model. Concurr., 2012
Proceedings of the Model Checking Software - 19th International Workshop, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware.
Proceedings of the IEEE International Conference on Services Computing, 2011
2010
Trans. Petri Nets Other Model. Concurr., 2010
Int. J. Softw. Tools Technol. Transf., 2010
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.
Proceedings of the Applications and Theory of Petri Nets, 2010
2009
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.
Trans. Petri Nets Other Model. Concurr., 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
Proceedings of the Applications and Theory of Petri Nets, 2009
2008
Proceedings of the Model Checking Software, 2008
2007
Proceedings of the Model Checking Software, 2007
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
2006
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Proceedings of the Model Checking Software, 2005
Proceedings of the Automated Technology for Verification and Analysis, 2005
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
Proceedings of the Reliable Software Technology, 2005
2003
Verifying linear time temporal logic properties of concurrent Ada programs with quasar.
Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003
Proceedings of the Reliable Software Technologies, 2003