| Nome |
# |
|
A formalism for specification of Java API interfaces, file e268c4cb-8e09-a6b7-e053-3a05fe0adea1
|
183
|
|
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017, file e268c4ca-46a8-a6b7-e053-3a05fe0adea1
|
129
|
|
Parametric trace expressions for runtime verification of Java-like programs, file e268c4c7-feac-a6b7-e053-3a05fe0adea1
|
114
|
|
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015), file e268c4ca-3b07-a6b7-e053-3a05fe0adea1
|
114
|
|
A three-valued type system for true positives detection in Java-like languages, file e268c4ca-3b17-a6b7-e053-3a05fe0adea1
|
107
|
|
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things, file e268c4ca-fb69-a6b7-e053-3a05fe0adea1
|
89
|
|
ROSMonitoring: A Runtime Verification Framework for ROS, file e268c4cd-59c8-a6b7-e053-3a05fe0adea1
|
70
|
|
Structural resolution for abstract compilation of object-oriented languages, file e268c4ca-46a2-a6b7-e053-3a05fe0adea1
|
63
|
|
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems, file e268c4cd-ebce-a6b7-e053-3a05fe0adea1
|
63
|
|
Enhancing Expressivity of Checked Corecursive Streams, file 4731720a-db8b-4383-9581-a62ae2fa608f
|
18
|
|
Modeling Infinite Behaviour by Corules, file e268c4ca-b725-a6b7-e053-3a05fe0adea1
|
18
|
|
Agents interoperability via conformance modulo mapping, file e268c4c9-69cd-a6b7-e053-3a05fe0adea1
|
17
|
|
Hackmytown: An educational experience on smart cities, file e268c4c8-3059-a6b7-e053-3a05fe0adea1
|
14
|
|
A deterministic event calculus for effective runtime verification, file e268c4cc-3dcb-a6b7-e053-3a05fe0adea1
|
14
|
|
Preface to the JOT special issue on ECOOP 2021: selected workshop
papers, file 64dbdf7f-126c-4f2c-a7f1-fba94ad27426
|
12
|
|
Principal typings for Java-like languages, file e268c4c5-fc59-a6b7-e053-3a05fe0adea1
|
12
|
|
Welcome from the DLS'17 chairs, file e268c4ca-7590-a6b7-e053-3a05fe0adea1
|
12
|
|
Corecursive featherweight Java revisited, file e268c4cc-1825-a6b7-e053-3a05fe0adea1
|
12
|
|
RV4JaCa - Runtime Verification for Multi-Agent Systems, file 0d3f61f3-f199-4529-bace-88d60f193177
|
11
|
|
Coinductive type systems for object-oriented languages, file e268c4c5-f6fb-a6b7-e053-3a05fe0adea1
|
11
|
|
An Acceptance Testing Approach for Internet of Things Systems, file e268c4ca-303a-a6b7-e053-3a05fe0adea1
|
9
|
|
Flexible coinductive logic programming, file e268c4cd-9634-a6b7-e053-3a05fe0adea1
|
9
|
|
Towards a runtime verification approach for internet of things systems, file e268c4cb-2a04-a6b7-e053-3a05fe0adea1
|
8
|
|
Towards an Acceptance Testing Approach for Internet of Things Systems, file e268c4cb-01f5-a6b7-e053-3a05fe0adea1
|
7
|
|
A big step from finite to infinite computations, file e268c4cd-9632-a6b7-e053-3a05fe0adea1
|
7
|
|
Decentralizing MAS Monitoring with DecAMon, file e268c4c8-028f-a6b7-e053-3a05fe0adea1
|
5
|
|
An abstract machine for asynchronous programs with closures and priority queues, file e268c4ca-2c55-a6b7-e053-3a05fe0adea1
|
5
|
|
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study, file e268c4cb-4756-a6b7-e053-3a05fe0adea1
|
5
|
|
Can determinism and compositionality coexist in RML?, file e268c4cd-205c-a6b7-e053-3a05fe0adea1
|
5
|
|
Equality of Corecursive Streams Defined by Finitary Equational Systems, file feb46966-ff1c-425f-90c8-d3fbec80dbfe
|
5
|
|
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps, file 1739133b-fd77-4e61-b33b-646a0c103565
|
4
|
|
Checked corecursive streams: Expressivity and completeness, file 68ae5b61-cfc5-41e1-a881-8012a05ed05f
|
4
|
|
Runtime Verification of Hash Code in Mutable Classes, file ad8107f0-ca83-4bec-8b8a-a31f469d0d8f
|
4
|
|
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches, file e268c4cb-b16e-a6b7-e053-3a05fe0adea1
|
4
|
|
Engineering Reliable Interactions in the Reality-Artificiality Continuum, file e268c4cd-00ce-a6b7-e053-3a05fe0adea1
|
4
|
|
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives, file ce6b064c-85a4-453a-8acf-a7e952298d97
|
3
|
|
A Provenly Correct Translation of Fickle into Java, file e268c4c5-fedd-a6b7-e053-3a05fe0adea1
|
3
|
|
Incremental Rebinding with Name Polymorphism, file e268c4c7-9103-a6b7-e053-3a05fe0adea1
|
3
|
|
Sound and complete subtyping between coinductive types for object-oriented languages, file e268c4ca-2c62-a6b7-e053-3a05fe0adea1
|
3
|
|
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach, file e268c4ca-5e1f-a6b7-e053-3a05fe0adea1
|
3
|
|
Behavioral Types in Programming Languages, file e268c4ca-7fd0-a6b7-e053-3a05fe0adea1
|
3
|
|
Recognising assumption violations in autonomous systems verification, file e268c4cb-5f23-a6b7-e053-3a05fe0adea1
|
3
|
|
Verifying and validating autonomous systems: Towards an integrated approach, file e268c4cb-63f0-a6b7-e053-3a05fe0adea1
|
3
|
|
Sound Regular Corecursion in coFJ, file e268c4cd-59c6-a6b7-e053-3a05fe0adea1
|
3
|
|
Message from the Chairs, file 2a2ac878-9224-4f3e-b53f-c69f122e4ac5
|
2
|
|
Extending coinductive logic programming with co-facts, file e268c4c8-0ac0-a6b7-e053-3a05fe0adea1
|
2
|
|
Reasoning on Divergent Computations with Coaxioms, file e268c4c8-20ca-a6b7-e053-3a05fe0adea1
|
2
|
|
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015, file e268c4ca-2a84-a6b7-e053-3a05fe0adea1
|
2
|
|
Managing bad AIPs with RIVERtools, file e268c4ca-88bf-a6b7-e053-3a05fe0adea1
|
2
|
|
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems, file e268c4ca-88c1-a6b7-e053-3a05fe0adea1
|
2
|
|
Global protocols as first class entities for self-adaptive agents, file e268c4ca-89d6-a6b7-e053-3a05fe0adea1
|
2
|
|
Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015, file e268c4ca-9084-a6b7-e053-3a05fe0adea1
|
2
|
|
Timed trace expressions, file e268c4cb-5dc3-a6b7-e053-3a05fe0adea1
|
2
|
|
Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems, file e268c4cd-5d3f-a6b7-e053-3a05fe0adea1
|
2
|
|
Enhanced Regular Corecursion for Data Streams, file e268c4ce-5e51-a6b7-e053-3a05fe0adea1
|
2
|
|
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions, file c4c27dc9-7d11-4e49-ae0e-350b32eee969
|
1
|
|
Towards a model of corecursion with default, file e268c4c7-859b-a6b7-e053-3a05fe0adea1
|
1
|
|
Programmiamo? Sì, logicamente! L’irresistibile eleganza di Prolog., file e268c4c8-7332-a6b7-e053-3a05fe0adea1
|
1
|
|
Parametric Runtime Verification of Multiagent Systems, file e268c4ca-3821-a6b7-e053-3a05fe0adea1
|
1
|
|
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study, file e268c4ca-382a-a6b7-e053-3a05fe0adea1
|
1
|
|
Constrained global types for dynamic checking of protocol conformance in multi-agent systems, file e268c4ca-3b09-a6b7-e053-3a05fe0adea1
|
1
|
|
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain, file e268c4ca-5e19-a6b7-e053-3a05fe0adea1
|
1
|
|
Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems, file e268c4ca-5e1d-a6b7-e053-3a05fe0adea1
|
1
|
|
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols, file e268c4ca-88cc-a6b7-e053-3a05fe0adea1
|
1
|
|
Safe Corecursion in coFJ, file e268c4ca-fbed-a6b7-e053-3a05fe0adea1
|
1
|
|
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education, file e268c4cc-f51f-a6b7-e053-3a05fe0adea1
|
1
|
|
RML: Theory and practice of a domain specific language for runtime verification, file e268c4cd-831f-a6b7-e053-3a05fe0adea1
|
1
|
|
Comparing trace expressions and linear temporal logic for runtime verification, file e268c4cd-c0e2-a6b7-e053-3a05fe0adea1
|
1
|
|
Message from the Chairs, file e268c4ce-4662-a6b7-e053-3a05fe0adea1
|
1
|
| Totale |
1.231 |