| [1] | David Lidell, Shaun Azzopardi, Nir Piterman, and Gerardo Schneider. ppltltt: Temporal testing for pure-past linear temporal logic formulae. In 21st International Symposium on Automated Technology for Verification and Analysis (ATVA'23), volume 14216, pages 276-287. LNCS, 2023. [ bib | DOI | Abstract ] |
| [2] | Karam Kharraz, Shaun Azzopardi, Gerardo Schneider, and Martin Leucker. Synchronous agents, verification, and blame - a deontic view. In 20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23), volume 14446 of LNCS, pages 332-350. Springer, 2023. [ bib | DOI | Abstract ] |
| [3] | Mojtaba Eshghie, Wolfgang Ahrendt, Thomas Hildebrandt, and Gerardo Schneider. Capturing smart contract design with dcr graphs. In 21st International Conference on Software Engineering and Formal Methods (SEFM'23), volume 14323 of LNCS, pages 106-125. Springer, 2023. [ bib | DOI | Abstract ] |
| [4] | Shaun Azzopardi, Nir Piterman, and Gerardo Schneider. Runtime verification meets controller synthesis. In 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA 2022), Proceedings, Part I, volume 13701 of LNCS, pages 382-396, Rhodes, Greece, 2022. Springer. [ bib | DOI | http ] |
| [5] | Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, and Riccardo Scandariato. Precise analysis of purpose limitation in data flow diagrams. In ARES 2022: The 17th International Conference on Availability, Reliability and Security, pages 17:1-17:11. ACM, 2022. [ bib | DOI | http | www: | Abstract ] |
| [6] | Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, and Sebastián Uchitel. Assumption monitoring of temporal task planning using stream runtime verification. In 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'22), Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, volume 13701 of Lecture Notes in Computer Science, pages 397-414. Springer, 2022. [ bib | DOI | http | www: | Abstract ] |
| [7] | Stefan Chircop, Gordon J. Pace, and Gerardo Schneider. An automata-based formalism for normative documents with real-time. In Fifth International Conference on Legal Knowledge and Information Systems - JURIX'22, volume 362 of Frontiers in Artificial Intelligence and Applications, pages 158-163. IOS Press, 2022. [ bib | DOI | http | www: | Abstract ] |
| [8] | Hanaa Alshareef, Sandro Stucki, and Gerardo Schneider. Refining privacy-aware data flow diagrams. In 19th International Conference Software Engineering and Formal Methods (SEFM'21), Virtual Event, December 6-10, 2021, volume 13085 of LNCS, pages 121-140. Springer, 2021. [ bib | DOI | http ] |
| [9] | Karam Younes Kharraz, Martin Leucker, and Gerardo Schneider. Timed dyadic deontic logic. In The 34th International Conference on Legal Knowledge and Information Systems (JURIX'21), volume 346 of Frontiers in Artificial Intelligence and Applications, pages 197-204. IOS Press, 2021. [ bib | DOI | .pdf | Abstract ] |
| [10] | Christian Colombo, Gordon J. Pace, and Gerardo Schneider. Runtime verification: Passing on the baton. In Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, volume 13065 of LNCS, pages 89-107. Springer, 2021. [ bib | DOI | http | Abstract ] |
| [11] | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, and Gerardo Schneider. On the specification and monitoring of timed normative systems. In 21st International Conference on Runtime Verification (RV'21), Virtual Event, volume 12974 of LNCS, pages 81-99. Springer, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [12] | Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, and Sebastián Uchitel. Assumption monitoring using runtime verification for UAV temporal task plan executions. In IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pages 6824-6830. IEEE, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [13] | Shaun Azzopardi, Nir Piterman, and Gerardo Schneider. Incorporating monitors in reactive synthesis without paying the price. In 19th International Symposium on Automated Technology for Verification and Analysis (ATVA'21), Gold Coast, QLD, Australia, October 18-22, 2021, volume 12971 of LNCS, pages 337-353. Springer, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [14] | William Hughes, Alejandro Russo, and Gerardo Schneider. Multicall: A transaction-batching interpreter for ethereum. In BSCI'21: Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, Virtual Event, Hong Kong, June 7, 2021, pages 25-35. ACM, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [15] | Hanaa Alshareef, Sandro Stucki, and Gerardo Schneider. Transforming data flow diagrams for privacy compliance. In 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD'21), pages 207-215. SCITEPRESS, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [16] | Pablo Picazo-Sanchez, Gerardo Schneider, and Andrei Sabelfeld. HMAC and "secure preferences": Revisiting chromium-based browsers security. In 19th International Conference on Cryptology and Network Security (CANS'20), volume 12579 of LNCS, pages 107-126. Springer, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [17] | Farzane Karami, Olaf Owe, and Gerardo Schneider. Information-flow control by means of security wrappers for active object languages with futures. In 25th Nordic Conference on Secure IT Systems (NordSec'20), volume 12556 of LNCS, pages 74-91. Springer, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [18] | Gordon J. Pace, César Sánchez, and Gerardo Schneider. Reliable smart contracts. In Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, Part III, volume 12478 of LNCS, pages 3-8. Springer, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [19] | Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, and Gerardo Schneider. Crome: Contract-based robotic mission specification. In 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'20), pages 1-11. IEEE, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [20] | Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, and Gerardo Schneider. Verification of smart contract business logic: Exploiting a java source code verifier. In Eigth International Conference on Fundamentals of Software Engineering (FSEN'19), volume 11761 of LNCS, pages 228-243. Springer, 2019. [ bib | DOI | .pdf | Abstract ] |
| [21] | Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, and Kenji Tei. A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. In Proceedings of the 2nd International Workshop on Robotics Software Engineering (RoSE@ICSE 2019), pages 5-12. IEEE / ACM, 2019. [ bib | DOI | http | .pdf | Abstract ] |
| [22] | Sandro Stucki, César Sánchez, Gerardo Schneider, and Borzoo Bonakdarpour. Gray-box monitoring of hyperproperties. In Formal Methods (FM'19), volume 11800 of LNCS, pages 406-424. Springer, 2019. [ bib | DOI | .pdf | Abstract ] |
| [23] | Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, and Volker Stolz. COST action IC1402 runtime verification beyond monitoring. In 18th International Conference on Runtime Verification (RV'18), volume 11237 of LNCS, pages 18-26. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [24] | Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, and Gerardo Schneider. Security of pacemakers using runtime verification. In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'18), pages 51-61. IEEE, 2018. [ bib | DOI | .pdf | Abstract ] |
| [25] | Wolfgang Ahrendt, Gordon J. Pace, and Gerardo Schneider. Smart contracts: A killer application for deductive source code verification. In Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, pages 1-18. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [26] | Gerardo Schneider. Is Privacy by Construction Possible? In 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Track: X-by-Construction (ISoLA'18, part I, volume 11244 of LNCS, pages 471-485. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [27] | Gordon Pace, Pablo Picazo-Sanchez, and Gerardo Schneider. Migrating Monitors + ABE: A Suitable Combination for Secure IoT? In 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Track: RV-TheToP: Runtime Verification from the Theory To the industry Practice (ISoLA'18, part IV, volume 11247 of LNCS, pages 19-24. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [28] | Borzoo Bonakdarpour, César Sánchez, and Gerardo Schneider. Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. In 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Track: A Broader View on Verification: From Static to Runtime and Back (ISoLA'18, part II), volume 11245 of LNCS, pages 8-27. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [29] | Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, and Gerardo Schneider. MoVEMo: A Structured Approach for Engineering Reward Functions. In Second IEEE International Conference on Robotic Computing (IRC'18), pages 250-257. IEEE Computer Society, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [30] | Raúl Pardo, César Sánchez, and Gerardo Schneider. Timed Epistemic Knowledge Bases for Social Networks. In Formal Methods (FM'18), volume 10951 of LNCS, pages 185-202. Springer, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [31] | Mauricio Chimento, Wolfgang Ahrendt, and Gerardo Schneider. Testing Meets Static and Runtime Verification. In 6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [32] | Srinivas Pinisetty, David Sands, and Gerardo Schneider. Runtime Verification of Hyperproperties for Deterministic Programs. In 6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 20-29. ACM, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [33] | Thibaud Antignac, Riccardo Scandariato, and Gerardo Schneider. Privacy Compliance via Model Transformations. In International Workshop on Privacy Engineering (IWPE'18) at IEEE EuroS&P Workshops, pages 120-126. IEEE, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [34] | John J. Camilleri, Mohammad Reza Haghshenas, and Gerardo Schneider. A Web-Based Tool for Analysing Normative Documents in English. In The 33rd ACM/SIGAPP Symposium On Applied Computing -Software Verification and Testing track (SAC-SVT'18), pages 1865-1872. ACM, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [35] | Raúl Pardo and Gerardo Schneider. Model Checking Social Network Models. In Eighth International Symposium on Games, Automata, Logics and Formal Verification (GandALF'17), volume 256 of EPTCS, pages 238-252, September 2017. [ bib | DOI | http | .pdf | Abstract ] |
| [36] | Bjørnar Luteberget, John J. Camilleri, Christian Johansen, and Gerardo Schneider. Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. In 15th International Conference on Software Engineering and Formal Methods, (SEFM'17), volume 10469 of LNCS, pages 87-103. Springer, 2017. [ bib | DOI | http | .pdf | Abstract ] |
| [37] | Thibaud Antignac, Mukelabai Mukelabai, and Gerardo Schneider. Specification, Design, and Verification of an Accountability-aware Surveillance Protocol. In The 32nd ACM/SIGAPP Symposium On Applied Computing -Software Verification and Testing track (SAC-SVT'17), pages 1372-1378. ACM, 2017. [ bib | DOI | http | .pdf | Abstract ] |
| [38] | Pablo Picazo-Sánchez, Raúl Pardo, and Gerardo Schneider. Secure Photo Sharing in Social Networks. In IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology (AICT), pages 79-92, Rome, Italy, 2017. Springer Science and Business Media. [ bib | DOI | .pdf | Abstract ] |
| [39] | Thibaud Antignac, David Sands, and Gerardo Schneider. Data Minimisation: A Language-Based Approach. In IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology (AICT), pages 442-456, Rome, Italy, 2017. Springer Science and Business Media. [ bib | DOI | .pdf | Abstract ] |
| [40] | Raúl Pardo, Ivana Kellyérová, César Sánchez, and Gerardo Schneider. Specification of Evolving Privacy Policies for Online Social Networks. In 23rd International Symposium on Temporal Representation and Reasoning (TIME'16), pages 70-79. IEEE CPS, 2016. [ bib | DOI | .pdf | Abstract ] |
| [41] | Raúl Pardo, Christian Colombo, Gordon Pace, and Gerardo Schneider. An Automata-based Approach to Evolving Privacy Policies for Social Networks. In The 16th International Conference on Runtime Verification (RV'16), volume 10012 of LNCS, pages 285-301. Springer, 2016. [ bib | DOI | .pdf | Abstract ] |
| [42] | Wolfgang Ahrendt, Gordon Pace, and Gerardo Schneider. StaRVOOrS - Episode II, Strengthen and Distribute the Force. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISoLA'16 (1); Track: Static and Runtime Verification: Competitors or Friends?, volume 9952 of LNCS, pages 402-415. Springer, 10-14 October 2016. [ bib | DOI | .pdf | Abstract ] |
| [43] | Thibaud Antignac, Riccardo Scandariato, and Gerardo Schneider. A Privacy-Aware Conceptual Model for Handling Personal Data. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISoLA'16 (1); Track: Privacy and Security Issues in Information Systems, volume 9952 of LNCS, pages 942-957. Springer, 10-14 October 2016. [ bib | DOI | .pdf | Abstract ] |
| [44] | Gerardo Schneider. On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISoLA'16 (2); Track: Runtime Verification and Enforcement, the (industrial) application perspective, volume 9953 of LNCS, pages 413-419. Springer, 2016. [ bib | DOI | .pdf | Abstract ] |
| [45] | Gordon Pace, Raúl Pardo, and Gerardo Schneider. On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISoLA'16 (2); Track: Runtime Verification and Enforcement, the (industrial) application perspective, volume 9953 of LNCS, pages 407-412. Springer, 10-14 October 2016. [ bib | DOI | .pdf | Abstract ] |
| [46] | John J. Camilleri, Normunds Gruzitis, and Gerardo Schneider. Extracting Formal Models from Normative Texts. In 21st International Conference on Applications of Natural Language to Information Systems (NLDB'16), volume 9612 of LNCS, pages 403-408. Springer, 22-24 June 2016. [ bib | DOI | Abstract ] |
| [47] | Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace, and Gerardo Schneider. STARVOORS: A Tool for Combined Static and Runtime Verification of Java. In The 15th International Conference on Runtime Verification (RV'15), volume 9333 of LNCS, pages 297-305, Vienna, Austria, September 22-25 2015. Springer. [ bib | DOI | .pdf | Abstract ] |
| [48] | Wolfgang Ahrendt, Mauricio Chimento, Gordon Pace, and Gerardo Schneider. A specification language for static and runtime verification of data and control properties. In Formal Methods (FM'15), volume 9109 of LNCS, pages 108-125, Oslo, Norway, June 24-26 2015. Springer. [ bib | DOI | .pdf | Abstract ] |
| [49] | Gordon J. Pace, Fernando Schapachnik, and Gerardo Schneider. Conditional Permissions in Contracts. In The 28th International Conference on Legal Knowledge and Information Systems (JURIX'15), volume 279 of Frontiers in Artificial Intelligence and Applications, pages 61-70. IOS Press, 2015. [ bib | DOI | .pdf | Abstract ] |
| [50] | Hamid Ebadi, David Sands, and Gerardo Schneider. Differential Privacy: Now it's Getting Personal. In Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15), pages 69-81, Mumbai, India, 12-18 January 2015. ACM. [ bib | DOI | .pdf | Abstract ] |
| [51] | John J. Camilleri, Gabrielle Paganelli, and Gerardo Schneider. A cnl for contract-oriented diagrams. In Fourth Workshop on Controlled Natural Language (CNL 2014), volume 8625 of LNCS, pages 135-146. Springer, 2014. [ bib | DOI | .pdf | Abstract ] |
| [52] | Raúl Pardo and Gerardo Schneider. A formal privacy policy framework for social networks. In 12th International Conference on Software Engineering and Formal Methods (SEFM'14), volume 8702 of LNCS, pages 378-392. Springer, 2014. [ bib | DOI | .pdf | Abstract ] |
| [53] | Antonio Cerone, Markus Roggenbach, Holger Schlingloff, Gerardo Schneider, and Siraj Shaikh. Teaching formal methods for software engineering - ten principles. In Fun with Formal Methods Workshop, July 2013. [ bib | .pdf | Abstract ] |
| [54] | Pavel Rabetski and Gerardo Schneider. Migration of an on-premise application to the cloud: Experience report. In European Conference on Service-Oriented and Cloud Computing (ESOCC'13), volume 8135 of LNCS, pages 227-241, Malaga, Spain, 2013. Springer. [ bib | DOI | .pdf | Abstract ] |
| [55] | Robert Nagy, Gerardo Schneider, and Aram Timofeitchik. Automatic testing of real-time graphics systems. In 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), volume 7795 of LNCS, pages 465-479, Rome, Italy, 2013. Springer. [ bib | DOI | .pdf | Abstract ] |
| [56] | Gerardo Schneider. Towards a framework for analyzing normative texts in controlled natural language. In 6th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'12), EPTCS, Bertinoro, Italy, 19 September 2012. [ bib ] |
| [57] | Wolfgang Ahrendt, Gordon J. Pace, and Gerardo Schneider. A Unified Approach for Static and Runtime Verification: Framework and Applications. In 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'12) - Part I, volume 7609 of LNCS, pages 312-326, Heraclion, Crete, 15-18 October 2012. Springer. [ bib | DOI | .pdf | Abstract ] |
| [58] | Hallstein A. Hansen, Gerardo Schneider, and Martin Steffen. Reachability analysis of non-linear planar autonomous systems. In Fourth International Conference on Fundamentals of Software Engineering (FSEN'11), volume 7141 of LNCS, pages 206-220, Teheran, Iran, 20-22 April 2012. Springer. [ bib | DOI | .pdf | Abstract ] |
| [59] | Seyed M. Montazeri, Nivir Roy, and Gerardo Schneider. From Contracts in Structured English to CL Specifications. In 5th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11), volume 68 of EPTCS, pages 55-69, Málaga, Spain, 22-23 September 2011. [ bib | DOI | .pdf | Abstract ] |
| [60] | Enrique Martínez, María E. Cambronero, Gregorio Díaz, and Gerardo Schneider. Timed Automata Semantics for Visual e-Contracts. In 5th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11), volume 68 of EPTCS, pages 7-21, Málaga, Spain, 22-23 September 2011. [ bib | DOI | .pdf | Abstract ] |
| [61] | Enrique Martinez and Gerardo Schneider. Automated Analysis of Conflicts in Software Product Lines. In SPLC Workshops - 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE'10), volume 2, pages 75-82. Lancaster University, September 2010. [ bib | .pdf | Abstract ] |
| [62] | Enrique Martinez, Emilia Cambronero, Gregorio Diaz, and Gerardo Schneider. A Model for Visual Specification of e-Contracts. In The 7th IEEE International Conference on Services Computing (IEEE SCC'10), pages 1-8, Los Alamitos, USA, July 5-10 2010. IEEE Computer Society. [ bib | DOI | .pdf | Abstract ] |
| [63] | Hallstein A. Hansen and Gerardo Schneider. Reachability Analysis of GSPDIs: Theory, Optimization, and Implementation. In 25th Annual ACM Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'10), pages 2511-2516, Sierre, Switzerland, March 22-26 2010. ACM. [ bib | DOI | .pdf | Abstract ] |
| [64] | Stephen Fenech, Gordon J. Pace, and Gerardo Schneider. Clan: A tool for contract analysis and conflict discovery. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), volume 5799 of LNCS, pages 90-96, Macao, China, October 2009. Springer. [ bib | DOI | .pdf | Abstract ] |
| [65] | Christian Colombo, Gordon J. Pace, and Gerardo Schneider. Dynamic event-based runtime monitoring of real-time and contextual properties. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), volume 5596 of LNCS, pages 135-149, L'Aquila, Italy, September 2009. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [66] | Stephen Fenech, Gordon J. Pace, and Gerardo Schneider. Automatic Conflict Detection on Contracts. In 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), volume 5684 of LNCS, pages 200-214, Kuala Lumpur, Malaysia, August 2009. Springer. [ bib | DOI | .pdf | Abstract ] |
| [67] | Hallstein A. Hansen and Gerardo Schneider. GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. In 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), volume 5684 of LNCS, pages 336-342, Kuala Lumpur, Malaysia, August 2009. Springer. [ bib | DOI | .pdf | Abstract ] |
| [68] | Cristian Prisacariu and Gerardo Schneider. Abstract specification of legal contracts (research abstract). In 12th International Conference on Artificial Intelligence and Law (ICAIL'09), pages 218-219, Barcelona, Spain, June 2009. ACM. [ bib | DOI | .pdf | Abstract ] |
| [69] | Cristian Prisacariu and Gerardo Schneider. CL: An Action-based Logic for Reasoning about Contracts. In 16th Workshop on Logic, Language, Information and Computation (WOLLIC'09), volume 5514 of LNCS, pages 335-349, Tokyo, Japan, June 2009. Springer. [ bib | DOI | .pdf | Abstract ] |
| [70] | Stephen Fenech, Joseph Okika, Gordon J. Pace, Anders P. Ravn, and Gerardo Schneider. On the specification of full contracts. In 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09), volume 253 of ENTCS, pages 39-55, York, UK, March 2009. [ bib | DOI | .pdf | Abstract ] |
| [71] | Olaf Owe and Gerardo Schneider. Wrap your objects safely. In 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09), volume 253 of ENTCS, pages 127-143, York, UK, March 2009. [ bib | DOI | .pdf | Abstract ] |
| [72] | Gordon J. Pace and Gerardo Schneider. Challenges in the specification of full contracts. In Integrated Formal Methods (iFM'09), volume 5423 of LNCS, pages 292-306, Düseldorf, Germany, February 2009. [ bib | DOI | .pdf | Abstract ] |
| [73] | Christian Colombo, Gordon J. Pace, and Gerardo Schneider. Safe runtime verification of real-time properties. In The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), volume 5813 of LNCS, pages 103-117, Budapest, Hungary, 2009. Springer. 13-16 September. [ bib | DOI | .pdf | Abstract ] |
| [74] | Christian Colombo, Gordon J. Pace, and Gerardo Schneider. LARVA - Safer Monitoring of Real-Time Java Programs (Tool Paper). In 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), pages 33-37, Hanoi, Vietnam, 23-27 November 2009. IEEE Computer Society. [ bib | DOI | .pdf | Abstract ] |
| [75] | Marcel Kyas, Cristian Prisacariu, and Gerardo Schneider. Run-time monitoring of electronic contracts. In 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), volume 5311 of LNCS, pages 397-407, Seoul, South Korea, October 2008. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [76] | Gordon J. Pace and Gerardo Schneider. Relaxing goodness is still good. In 5th International Colloquium on Theoretical Aspects of Computing (ICTAC'08), volume 5160 of LNCS, pages 274-289, Istanbul, Turkey, September 2008. [ bib | DOI | .pdf | Abstract ] |
| [77] | Gordon Pace and Gerardo Schneider. Computation and visualisation of phase portraits for model checking spdis. In 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), volume 4963 of LNCS, pages 341-345, Budapest, Hungary, March 2008. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [78] | Gerardo Schneider. Reachability analysis of Generalized Polygonal Hybrid Systems. In 23rd Annual ACM Symposium on Applied Computing -Software Verification track (SAC-SV'08), pages 327-332, Fortaleza, Brazil, March 2008. ACM. [ bib | DOI | .pdf | Abstract ] |
| [79] | Gordon Pace, Cristian Prisacariu, and Gerardo Schneider. Model checking contracts -a case study. In 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), volume 4762 of LNCS, pages 82-97, Tokyo, Japan, October 2007. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [80] | Olaf Owe, Gerardo Schneider, and Martin Steffen. Components, objects, and contracts. In 6th Workshop on Specification And Verification of Component-Based Systems (SAVCBS'07), ACM Digital Library, pages 95-98, Dubrovnik, Croatia, September 2007. [ bib | DOI | .pdf | Abstract ] |
| [81] | Johs H. Hammer and Gerardo Schneider. On the definition and policies of confidentiality. In 3rd International Symposium on Information Assurance and Security (IAS'07), pages 337-342, Manchester, UK, August 2007. IEEE Computer Society Press. [ bib | DOI | .pdf | Abstract ] |
| [82] | Cristian Prisacariu and Gerardo Schneider. A formal language for electronic contracts. In 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), volume 4468 of LNCS, pages 174-189, Paphos, Cyprus, June 2007. Springer. [ bib | DOI | .pdf | Abstract ] |
| [83] | Olaf Owe, Gerardo Schneider, and Arild Torjusen. Towards integration of XML in the Creol object-oriented language. In NIK'07 proceedings, pages 107-111. Tapir Akademisk Forlag, 2007. [ bib | .pdf | Abstract ] |
| [84] | Gordon J. Pace and Gerardo Schneider. A compositional algorithm for parallel model checking of polygonal hybrid systems. In 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC'06), volume 4281 of LNCS, pages 168-182, Tunis, Tunisia, November 2006. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [85] | Pablo Giambiagi, Olaf Owe, Anders P. Ravn, and Gerardo Schneider. Language-based support for service oriented architectures: Future directions. In International Conference on Software and Data Technologies (ICSOFT'06), pages 339-344, Setúbal, Portugal, September 2006. INSTICC Press. [ bib | .pdf | Abstract ] |
| [86] | Einar B. Johnsen, Gerardo Schneider, and Øystein Torget. Runtime validation of communication histories. In IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06), pages 161-168, Cluj-Napoca, Romania, September 2006. U.T.Press. [ bib | .pdf | Abstract ] |
| [87] | Gordon Pace and Gerardo Schneider. Static analysis for state-space reduction of polygonal hybrid systems. In 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), volume 4202 of LNCS, pages 306-321, Paris, France, September 2006. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [88] | Pablo Giambiagi and Gerardo Schneider. Memory consumption analysis of java smart cards. In Proceedings of CLEI'05, Cali, Colombia, October 2005. [ bib | .pdf | Abstract ] |
| [89] | Gilles Barthe, Mariela Pavlova, and Gerardo Schneider. Precise analysis of memory consumption using program logics. In 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pages 86-95, Koblenz, Germany, September 2005. IEEE Computer Society. [ bib | DOI | .pdf | Abstract ] |
| [90] | David Cachera, Thomas Jensen, David Pichardie, and Gerardo Schneider. Certified memory usage analysis. In Formal Methods (FM'05), volume 3582 of LNCS, pages 91-106, Newcastle Upon Tyne, UK, July 2005. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [91] | Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. On the expressiveness of infinite behavior and name scoping in process calculi. In Foundations of Software Science and Computation Structures (FOSSACS'04), volume 2987 of LNCS, pages 226-240, Barcelone, Spain, March 2004. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [92] | Gordon Pace and Gerardo Schneider. Model checking polygonal differential inclusions using invariance kernels. In 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), number 2937 in LNCS, pages 110-121, Venice, Italy, December 2003. Springer Verlag. [ bib | DOI | .pdf | Abstract ] |
| [93] | Eugene Asarin and Gerardo Schneider. Widening the boundary between decidable and undecidable hybrid systems. In 13th International Conference on Concurrency Theory (CONCUR'02), volume 2421 of LNCS, pages 193-208, Brno, Czech Republic, August 2002. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [94] | Eugene Asarin, Gordon Pace, Gerardo Schneider, and Sergio Yovine. SPeeDI: a verification tool for polygonal hybrid systems. In Computer Aided Verification (CAV'02), volume 2404 of LNCS, pages 354-358, Copenhagen, Denmark, July 2002. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [95] | Eugene Asarin, Gerardo Schneider, and Sergio Yovine. Towards computing phase portraits of polygonal differential inclusions. In 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02), number 2289 in LNCS, pages 49-61, Stanford, USA, March 2002. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [96] | Eugene Asarin, Gerardo Schneider, and Sergio Yovine. On the decidability of the reachability problem for planar differential inclusions. In 4th International Workshop on Hybrid Systems: Computation and Control (HSCC'01), number 2034 in LNCS, pages 89-104, Rome, Italy, 2001. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [97] | Gerardo Lafferriere, George J. Pappas, Gerardo Schneider, and Sergio Yovine. Parameter synthesis in robot motion planning using symbolic reachability computation. In Proceedings of 8th IEEE Mediterranean Conference on Control and Automation, Rio, Greece, July 2000. [ bib | .pdf | Abstract ] |
| [98] | Gerardo Schneider and Xu Qiwen. Towards a formal semantics of verilog using duration calculus. In 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), number 1486 in LNCS, pages 282-293, Lyngby, Denmark, September 1998. Springer Verlag. [ bib | DOI | .pdf | Abstract ] |
This file was generated by bibtex2html 1.97.