Presentations
2021
-
T. Gillespie, N. Kokash, M. Surles-Zeigler, M. E. Martone, B. de Bono,
ApiNATOMY infrastructure for multiscale connectivity,
SfN Global Connectome: A Virtual Event, January 2021, poster
presentation [PDF].
2020
- Why am I seeing this ad? A look under the hood of data-driven marketing, 5th International School on Applied Probability Theory, Communications Technologies, and Data Science APTCT-2020, November 2020 [PDF].
2015
- Implementing a domain-specific language for model-based drug development, ICTH 2015, Berlin, Germany, September 2015 [PDF].
2014
- Drug Disease Model Resources (DDMoRe) Workshop, Noordwijkerhout, Netherlands, April 2014 [PDF].
2013
- "The visual navigation of multiscale tissue knowledge using treemaps", Tissue KM Workshop, Brussels, Belgium, October 2013 [PDF].
- "Applications of Reo: process modeling and SOC", East China Normal University (ECNU), China, Shanghai, September 2013.
2012
- "From Timed Reo Networks to Networks of Timed Automata", FESCA 2012, Tallinn, Estonia, March 2012.
2011
- "Extensible Coordination Tools: Connecting Services", Internet of Services 2011 Collaboration meeting, Formal Methods for SOA and Future Internet, Brussels, Belgium, September 2011.
- "Input-output conformance testing for channel-based connectors", PACO workshop, Reykjavik, Iceland, June 2011 [PPT].
- "Input-output conformance testing for channel-based connectors", ACG Meeting, Amsterdam, Netherlands, May 2011.
- "Reo: Semantics and Tools", ACG Meeting, Amsterdam, Netherlands, April 2011.
2010
- "A Semantic Model for Service Composition with Coordination Time Delays", ICFEM 2010, Shanghai, China, November 2010.
- "Timed data-centric analysis of graphical business process models in Reo", SEFM 2010, Pisa, Italy, September 2010 [PPT].
- "Designing Compliant Service-based Business Processes with ECT", SYANCO Winter School, Berlin, Germany, February 2010 [PDF].
- "Translating Reo to mCRL2, ProSe Meeting at TU Eindhoven", Netherlands, January 2010 [PPT].
2009
- "Specifying Behavior of Reo in mCRL2", ACG Meeting, Amsterdam, Netherlands, December 2009.
- "Service-based Process Development: from Verifiable Design to Implementation", Collaboration meeting "Model driven development for Complex Service Oriented Architectures", ServiceWave/ICSOC'09, Stockholm, Sweden, November 2009.
- "Model Checking Reo Connector using mCRL2", FMCO'09, Eindhoven, Netherlands, November 2009 [PDF].
- "Experience with Vereofy", SYANCO meeting, Dresden, Germany, August 2009.
- "A Flexible QoS-aware Routing Protocol for Infrastructure-less B3G Networks", ACM SAC, Honolulu, Hawaii, USA, March 2009 [PDF].
- "From Compliant Business Process Specifications to Code", FMSOA workshop, Dusseldorf, Germany, February 2009 [PDF].
2008
- "Formal Behavioral Models and Compliance Analysis for Service-Oriented Systems", FMCO'08, Sophia-Antipolis, France, October 2008 [PDF].
- "Towards Using Reo for Compliance-aware Business Process Modeling", ISOLA'08, Porto Sani, Kassandra, Greece, October 2008 [PDF].
- "QoS-aware Routing in Infrastructure-less B3G Networks", ACG Meeting, CWI, Amsterdam, Netherlands, June 2008 [PDF].
- "Using Reo for Compliance-driven Design of Service-Oriented Applications", ACG Meeting, CWI, Amsterdam, Netherlands, June 2008 [PDF].
- "Reo for Building Mash-Ups", CWI-TNO Meeting, Delft, Netherlands, June 2008.
2007
- "Engineering Service-Oriented Systems: Modelling, Discovery and Quality", ARLES project-team, INRIA-Rocquencourt, France, September 2007.
- "Risk Management for Service-Oriented Architecture", Doctoral Consortium, ICWE, Como, Italy, July 2007 [PPT].
- "Evaluating Quality of Web Services: A Risk-driven Approach", BIS, Poznan, Poland, April 2007 [PPT].
- "IC-Service: A Service-Oriented Approach to the Development of Recommendation Systems", ACM SAC, Seoul, Korea, March 2007 [PPT].
2006
- "Leveraging Web Services Discovery with Customizable Hybrid Matching", University of Trento, Italy, December 2006.
- "Web Service Discovery and Selection: Pragmatic Approaches", University of Lecce, Italy, November 2006.
- "QoS-aware Web Service Discovery with IC-Service", ISSSE, University of Salerno, Italy, September 2006.
- "A Comparison of Web Service Interface Similarity Measures", STAIRS, Riva del Garda, Italy, August 2006.
- "A Service Selection Model to Improve Composition Reliability", International Workshop on AI for Service Composition, in conjunction with ECAI, Riva del Garda, Italy, August 2006.
- "Towards Efficient Discovery of Web Services", Tilburg University, Netherlands, June 2006.
2005
- "Web Service Discovery with Implicit QoS Filtering", IBM PhD Symposium, Amsterdam, Netherlands, December 2005.
- "An introduction to heuristic algorithms", Research Methodology course, Trento, June 2005.
- "Intellectual Property in Peer-to-Peer Networks", Intellectual Property course, Trento, October 2005 [PPT].