Sandro Stucki

Orcid: 0000-0001-5608-8273

According to our database1, Sandro Stucki authored at least 26 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Reconciling Shannon and Scott with a Lattice of Computable Information.
Proc. ACM Program. Lang., January, 2023

Design and Implementation of a Lightweight Deep CNN-Based Plant Biometric Authentication System.
IEEE Access, 2023

Lifting On-Demand Analysis to Higher-Order Languages.
Proceedings of the Static Analysis - 30th International Symposium, 2023

2022
Precise Analysis of Purpose Limitation in Data Flow Diagrams.
Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2021
A theory of higher-order subtyping with type intervals.
Proc. ACM Program. Lang., 2021

Gray-box monitoring of hyperproperties with an application to privacy.
Formal Methods Syst. Des., 2021

A Theory of Higher-Order Subtyping with Type Intervals (Extended Version).
CoRR, 2021

Refining Privacy-Aware Data Flow Diagrams.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Transforming Data Flow Diagrams for Privacy Compliance.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020
Transforming Data Flow Diagrams for Privacy Compliance (Long Version).
CoRR, 2020

Rate Equations for Graphs.
Proceedings of the Computational Methods in Systems Biology, 2020

2019
Gray-box Monitoring of Hyperproperties (Extended Version).
CoRR, 2019

Gray-Box Monitoring of Hyperproperties.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Simplicitly: foundations and applications of implicit function types.
Proc. ACM Program. Lang., 2018

2017
Higher-Order Subtyping with Type Intervals.
PhD thesis, 2017

2016
The Essence of Dependent Object Types.
Proceedings of the A List of Successes That Can Change the World, 2016

2015
Moment Semantics for Reversible Rule-Based Systems.
Proceedings of the Reversible Computation - 7th International Conference, 2015

Fold-based fusion as a library: a generative programming pearl.
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015

2014
Mean Quantitative Coverability in Stochastic Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Staged parser combinators for efficient data processing.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Approximations for Stochastic Graph Rewriting.
Proceedings of the Formal Methods and Software Engineering, 2014

Yin-yang: concealing the deep embedding of DSLs.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

Reversible Sesqui-Pushout Rewriting.
Proceedings of the Graph Transformation - 7th International Conference, 2014

2013
What are the Odds?: probabilistic programming in Scala.
Proceedings of the 4th Workshop on Scala, 2013

2012
Coarse-graining the Dynamics of Ideal Branched Polymers.
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012

Rigid Geometric Constraints for Kappa Models.
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012


  Loading...