{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T20:15:41Z","timestamp":1790885741831,"version":"4.1.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s10766-005-8907-y","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T11:28:47Z","timestamp":1131967727000},"page":"613-643","source":"Crossref","is-referenced-by-count":6,"title":["A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking"],"prefix":"10.1007","volume":"33","author":[{"given":"Jean-Pierre","family":"Talpin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul Le","family":"Guernic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sandeep Kumar","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rajesh","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8907_CR1","doi-asserted-by":"crossref","unstructured":"Talpin J.-P., Gamati\u00e9 A., B. Le Dez, D. Berner, and P. Le Guernic, Hard Real-Time Implementation of Embedded Software in JAVA, in FIDJI\u20192003, Lectures notes in computer science, Springer (2003)","DOI":"10.1007\/978-3-540-24639-8_4"},{"key":"8907_CR2","doi-asserted-by":"crossref","unstructured":"A. Benveniste, P. Le Guernic, and C. Jacquemot, Synchronous Programming with Events and Relations: The signal Language and its Semantics, in Science of Computer Programming, Vol. 16 Elsevier (1991)","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"8907_CR3","unstructured":"A. Gamati\u00e9, and T. Gautier. Synchronous Modeling of Avionics Applications using the signal Language, in Real-time embedded technology and applications symposium, IEEE Press (2002)"},{"key":"8907_CR4","unstructured":"J.-P. Talpin, P. Le Guernic, S. Shukla, R. Gupta, and F Doucet, Formal Refinement Checking in a System-Level Design Methodology, Fundamenta Informaticae, IOS Press (2004)"},{"key":"8907_CR5","doi-asserted-by":"crossref","unstructured":"J.-P. Talpin, D. Berner, S. K. Shukla, P. Le Guernic, and R. Gupta, A Behavioral type Inference System for Compositional System Design, Application of Concurrency to System Design, IEEE Press (2004)","DOI":"10.1007\/978-1-4020-8052-4_10"},{"key":"8907_CR6","unstructured":"D. Novillo, Tree SSA, A New Optimization Infrastructure for GCC, GCC developers summit (2003)"},{"key":"8907_CR7","doi-asserted-by":"crossref","unstructured":"D. Berner, J.-P. Talpin, P. Le Guernic, and S. K. Shukla, Modular Design through Component Abstraction, in International conference on compilers, architectures and synthesis for embedded systems, ACM Press and (2004)","DOI":"10.1145\/1023833.1023862"},{"key":"8907_CR8","doi-asserted-by":"crossref","unstructured":"A. Pnueli, N. Shankar, and E. Singerman, Fair Synchronous Transition Systems and their Liveness Proofs, in Symposium on Formal Techniques in Real-time and Fault-tolerant Systems, Lecture notes in computer science vol. 1468, Springer (1998).","DOI":"10.1007\/BFb0055348"},{"key":"8907_CR9","doi-asserted-by":"crossref","unstructured":"P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann, Polychrony for System Design, in Journal of Circuits, Systems and Computers Special Issue on Application-Specific Hardware Design, World Scientific (2002)","DOI":"10.1142\/S0218126603000763"},{"key":"8907_CR10","doi-asserted-by":"crossref","unstructured":"L. P. Carloni, K. L. McMillan, and A. L. Sangiovanni-Vincentelli, Latency-Insensitive Protocols, in Proc. of the 11th International Conference on Computer-Aided Verification, Lecture notes in computer science vol. 1633, Springer Verlag (1999)","DOI":"10.1007\/3-540-48683-6_13"},{"key":"8907_CR11","doi-asserted-by":"crossref","unstructured":"A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.-P Talpin, and S. Tripakis, A Protocol for Loosely Time-triggered Architectures, in Embedded Software Conference, Lecture notes in computer science, Springer Verlag 2002","DOI":"10.1007\/3-540-45828-X_19"},{"key":"8907_CR12","doi-asserted-by":"crossref","unstructured":"T. P. Amagbegnon, L. Besnard, and P. Le Guernic, Implementation of the Data-flow Synchronous Language SIGNAL, in Conference on Programming Language Design and Implementation, ACM Press (1995)","DOI":"10.1145\/207110.207134"},{"key":"8907_CR13","doi-asserted-by":"crossref","unstructured":"F. Nielson, and H. Nielson, Type and Effect Systems: Behaviours for Concurrency, IC Press (1999)","DOI":"10.1007\/978-3-662-03811-6_5"},{"key":"8907_CR14","doi-asserted-by":"crossref","unstructured":"S. K. Rajamani and J. Rehof, A behavioral Module System for the \u03c0-calculus, Static Analysis Symposium, Lecture notes in computer science, Springer (2001)","DOI":"10.1007\/3-540-47764-0_22"},{"key":"8907_CR15","doi-asserted-by":"crossref","unstructured":"J. Hatcliff, and M. Dwyer, Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software, Invited tutorial, conference on concurrency theory, Lectures notes in computer science Vol. 2154, Springer (2001)","DOI":"10.1007\/3-540-44685-0_5"},{"key":"8907_CR16","unstructured":"H. Chen, D. Dean, and D. Wagner, Model Checking One Million Lines of C Code, Network and Distributed System Security, ISOC (2004)"},{"key":"8907_CR17","unstructured":"P. Godefroid, Software Model Checking: The VeriSoft Approach, Technical Memorandum ITD-03-44189G, Bell Labs (2003)"},{"key":"8907_CR18","unstructured":"G. J. Holzmann, Software Model Checking, in Journal of Circuits, Systems and Computers. Special Issue on Application-Specific Hardware Design, World Scientific (2002)"},{"key":"8907_CR19","doi-asserted-by":"crossref","unstructured":"G. Holzmann, and M. Smith, An Automated Verification Method for Distributed Systems Software based on Model Extraction, IEEE Transactions on Software Engineering, vol. 28, IEEE Press (2002)","DOI":"10.1109\/TSE.2002.995426"},{"key":"8907_CR20","doi-asserted-by":"crossref","unstructured":"T. Ball, B. Cook, S. Das, and S. Rajamani, Refining Approximations in Software Predicate Abstraction, In Tools and Algorithms for the Construction and Analysis of Systems, Lecture notes in computer science, Vol. 2988. Springer (2004)","DOI":"10.1007\/978-3-540-24730-2_30"},{"key":"8907_CR21","unstructured":"D. Kroening, E. Clarke, and F. Lerda, A Tool for Checking ANSI-C Programs, In Tools and Algorithms for the Construction and Analysis of Systems, Lecture notes in computer science, Vol. 2988 Springer (2004)"},{"key":"8907_CR22","doi-asserted-by":"crossref","unstructured":"S. Chaki, E. Clarke, A. Groce, S. Jha, and H. Veith, Modular Verification of Software Components in C, In Transactions on Software Engineering, Vol 30, IEEE Press (2004)","DOI":"10.1109\/TSE.2004.22"},{"key":"8907_CR23","doi-asserted-by":"crossref","unstructured":"D. Beyer, A. Chlipala, T. Henzinger, The Blast Query Language for SoftWare Verification, International Static Analysis Symposium, Lecture notes in computer science, Vol. 3148, Springer (2004)","DOI":"10.1007\/978-3-540-27864-1_2"},{"key":"8907_CR24","doi-asserted-by":"crossref","unstructured":"W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, Model Checking Programs, Automated Software Eng. J. Vol. 10 (2003)","DOI":"10.1023\/A:1022920129859"},{"key":"8907_CR25","doi-asserted-by":"crossref","unstructured":"L. De Alfaro, and T. A. Henzinger, Interface Theories for Component-based Design. International Workshop on Embedded Software, Lecture notes in computer science Vol. 2211, Springer-Verlag (2001)","DOI":"10.1007\/3-540-45449-7_11"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-005-8907-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-005-8907-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-005-8907-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:18:02Z","timestamp":1586553482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-005-8907-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["8907"],"URL":"https:\/\/doi.org\/10.1007\/s10766-005-8907-y","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}