Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by F. Baiardi
Static Checking of Interprocess Communication in ECSP
ACM SIGPLAN Notices
Related publications
Interprocess Communication
Chapman & Hall/CRC Computer & Information Science Series
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Software
Interprocess Communication With Java in a Microsoft Windows Environment
South African Computer Journal
Information Systems
Human-Computer Interaction
Computer Networks
Communications
Computer Science Applications
Education
Checking Unstable Properties in Distributed Testing of Communication Protocols
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
IEEE Transactions on Software Engineering
Software
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Yogi Project: Software Property Checking via Static Analysis and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Journal of Applied Mathematics
Applied Mathematics
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
