Suivre
Sandro Stucki
Titre
Citée par
Citée par
Année
The essence of dependent object types
N Amin, S Grütter, M Odersky, T Rompf, S Stucki
A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016
1022016
Simplicitly: foundations and applications of implicit function types
M Odersky, O Blanvillain, F Liu, A Biboudis, H Miller, S Stucki
Proceedings of the ACM on Programming Languages 2 (POPL), 42, 2017
482017
Yin-Yang: Concealing the deep embedding of DSLs
V Jovanovic, A Shaikhha, S Stucki, V Nikolaev, C Koch, M Odersky
Proceedings of the 2014 International Conference on Generative Programming …, 2014
442014
Gray-box monitoring of hyperproperties
S Stucki, C Sánchez, G Schneider, B Bonakdarpour
International Symposium on Formal Methods, 406-424, 2019
352019
Staged parser combinators for efficient data processing
M Jonnalagedda, T Coppey, S Stucki, T Rompf, M Odersky
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
332014
Reversible sesqui-pushout rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Graph Transformation, 161-176, 2014
152014
Fold-based fusion as a library: A generative programming pearl
M Jonnalagedda, S Stucki
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 41-50, 2015
132015
Approximations for stochastic graph rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
Formal Methods and Software Engineering: 16th International Conference on …, 2014
102014
Rigid geometric constraints for Kappa models
V Danos, R Honorato-Zimmer, S Jaramillo-Riveri, S Stucki
Electronic Notes in Theoretical Computer Science 313, 23-46, 2015
92015
Gray-box monitoring of hyperproperties with an application to privacy
S Stucki, C Sánchez, G Schneider, B Bonakdarpour
Formal Methods in System Design 58 (1-2), 126-159, 2021
72021
Higher-Order Subtyping with Type Intervals
S Stucki
EPFL, 2017
72017
Moment semantics for reversible rule-based systems
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Reversible Computation, 3-26, 2015
72015
Refining Privacy-Aware Data Flow Diagrams
H Alshareef, S Stucki, G Schneider
International Conference on Software Engineering and Formal Methods, 121-140, 2021
52021
Transforming Data Flow Diagrams for Privacy Compliance.
H Alshareef, S Stucki, G Schneider
MODELSWARD 21, 207-215, 2021
52021
Transforming data flow diagrams for privacy compliance (long version)
H Alshareef, S Stucki, G Schneider
arXiv preprint arXiv:2011.12028, 2020
52020
Yin-yang: Transparent deep embedding of dsls
V Jovanovic, V Nikolaev, ND Pham, V Ureche, S Stucki, C Koch, ...
Technical Report EPFL-REPORT-185832, EPFL, Lausanne, Switzerland, 2013
52013
Deriving rate equations for site graph rewriting systems
V Danos, R Harmer, R Honorato-Zimmer, S Stucki
Fourth International Workshop on Static Analysis and Systems Biology, SASB 13, 2013
52013
Rate equations for graphs
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Computational Methods in Systems Biology, 3-26, 2020
42020
What are the odds? Probabilistic programming in Scala
S Stucki, N Amin, M Jonnalagedda, T Rompf
Proceedings of the 4th Workshop on Scala, 1-9, 2013
42013
A theory of higher-order subtyping with type intervals
S Stucki, PG Giarrusso
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
32021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20