Search results for "Realizability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari	Strong Safe Realizability of Message Sequence Chart Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	Strong safe realizability, stuck states, emergent scenarios
81	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Realizability and Verification of MSC Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
81	Lars Birkedal	A General Notion of Realizability.	LICS	2000	DBLP DOI BibTeX RDF
77	James Lipton, Michael J. O'Donnell	Intuitive Counterexamples for Constructive Fallacies.	MFCS	1994	DBLP DOI BibTeX RDF
73	Zachary Stengel, Tevfik Bultan	Analyzing singularity channel contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	conversations, asynchronous communication, realizability
73	Tevfik Bultan, Xiang Fu 0001	Specification of realizable service conversations using collaboration diagrams.	Serv. Oriented Comput. Appl.	2008	DBLP DOI BibTeX RDF	Conversations, Choreography, Realizability, Collaboration diagrams
68	Laurent Doyen 0001, Gilles Geeraerts, Jean-François Raskin, Julien Reichert	Realizability of Real-Time Logics.	FORMATS	2009	DBLP DOI BibTeX RDF
68	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Realizability of Conversation Protocols With Message Contents.	ICWS	2004	DBLP DOI BibTeX RDF
68	Anuchit Anuchitanukul, Zohar Manna	Realizability and Synthesis of Reactive Modules.	CAV	1994	DBLP DOI BibTeX RDF
66	Steven Awodey, Lars Birkedal, Dana S. Scott	Local Realizability Toposes and a Modal Logic for Computability.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
66	Bernhard Reus	Realizability Models for Type Theories.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
66	Lars Birkedal	Bibliography on Realizability.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
66	Samson Abramsky	Process Realizability.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
66	Martin Hyland	Variations on Realizability: Simple examples realizing axioms of choice.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
66	Tristan Crolard	A type theory which is complete for Kreisel's modified realizability.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
66	John Longley	Matching typed and untyped realizability.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
64	Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin	Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.	CSL	2002	DBLP DOI BibTeX RDF	superintuitionistic logics, Kolmogorov complexity, realizability
60	Tevfik Bultan, Jianwen Su, Xiang Fu 0001	Analyzing Conversations of Web Services.	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	synchronizability, Web services, model checking, conversations, asynchronous communication, realizability
55	Federico Aschieri, Stefano Berardi	Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1.	TLCA	2009	DBLP DOI BibTeX RDF
55	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev	Diagnostic Information for Realizability.	VMCAI	2008	DBLP DOI BibTeX RDF
55	Raman Kazhamiakin, Marco Pistore	Analysis of Realizability Conditions for Web Service Choreographies.	FORTE	2006	DBLP DOI BibTeX RDF
55	Markus Lohrey	Safe Realizability of High-Level Message Sequence Charts.	CONCUR	2002	DBLP DOI BibTeX RDF
55	Moshe Y. Vardi	An Automata-Theoretic Approach to Fair Realizability and Synthesis.	CAV	1995	DBLP DOI BibTeX RDF
51	Tevfik Bultan, Xiang Fu 0001	Specification of Realizable Service Conversations Using Collaboration Diagrams.	SOCA	2007	DBLP DOI BibTeX RDF
51	Michael Rathjen	Models of Intuitionistic Set Theories over Partial Combinatory Algebras.	TAMC	2006	DBLP DOI BibTeX RDF
49	Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott (eds.)	Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999	Realizability Semantics and Applications@FLoC	1999	DBLP BibTeX RDF
49	Giuseppe Rosolini, Thomas Streicher	Comparing models of higher type computation.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
49	Jaap van Oosten	History and Developments.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
49	Andrew M. Pitts	Tripos Theory in Retrospect.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
49	Ulrich Berger 0001	Effectivity and Density in Domains: A Survey.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
49	Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott	Preface.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
49	Sergei N. Artëmov	Uniform provability realization of intuitionistic logic, modality and lambda-terms.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
48	Mircea-Dan Hernest, Paulo Oliva	Hybrid Functional Interpretations.	CiE	2008	DBLP DOI BibTeX RDF	Functional interpretations, modified realizability, Dialectica interpretation, program extraction from proofs, uniform quantifiers, linear logic
48	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of message sequence charts.	ICSE	2000	DBLP DOI BibTeX RDF	concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom
42	Emmanuel Filiot, Naiyong Jin, Jean-François Raskin	An Antichain Algorithm for LTL Realizability.	CAV	2009	DBLP DOI BibTeX RDF
42	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
42	Steven Awodey, Andrej Bauer	Sheaf toposes for realizability.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03G30, 03D65
42	Tevfik Bultan, Xiang Fu 0001, Jianwen Su	Analyzing Conversations: Realizability, Synchronizability, and Verification.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
42	Humberto Nicolás Castejón Martínez, Rolv Bræk, Gregor von Bochmann	Realizability of Collaboration-based Service Specifications.	APSEC	2007	DBLP DOI BibTeX RDF
42	Paulo Oliva	Modified Realizability Interpretation of Classical Linear Logic.	LICS	2007	DBLP DOI BibTeX RDF
42	Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001	Formal methods for checking realizability of coalitions in 3-party systems.	MEMOCODE	2006	DBLP DOI BibTeX RDF
42	Arjan J. Mooij, Judi Romijn, Wieger Wesselink	Realizability Criteria for Compositional MSC.	AMAST	2006	DBLP DOI BibTeX RDF
42	Edmund Robinson, Giuseppe Rosolini	An Abstract Look at Realizability.	CSL	2001	DBLP DOI BibTeX RDF
42	Jean H. Gallier	Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract).	RTA	1993	DBLP DOI BibTeX RDF
39	Helmut Schwichtenberg	Realizability interpretation of proofs in constructive analysis.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Continuous inverse function, Intermediate value theorem, Program extraction, Non-computational quantifier, Realizability
38	Jin-yi Cai, Pinyan Lu	Signature Theory in Holographic Algorithms.	ISAAC	2008	DBLP DOI BibTeX RDF
38	Gérard Boudol	Fair Cooperative Multithreading.	CONCUR	2007	DBLP DOI BibTeX RDF
38	Yves Bontemps, Pierre-Yves Schobbens	The Complexity of Live Sequence Charts.	FoSSaCS	2005	DBLP DOI BibTeX RDF
38	Emmanuel Letier, Axel van Lamsweerde	Agent-based tactics for goal-oriented requirements elaboration.	ICSE	2002	DBLP DOI BibTeX RDF
35	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Synchronizability of Conversations among Web Services.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	synchronizability, Web services, model checking, verification, conversations, asynchronous communication, realizability
35	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of Message Sequence Charts.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom
35	Yohji Akama	Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.	CSL	2001	DBLP DOI BibTeX RDF	partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity
35	Bernhard Reus	Extensional Sigma-Spaces in Type Theory.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	synthetic domain theory, type theory, realizability, domain theory, constructive logic
30	Krzysztof Petelczyc, Malgorzata Prazmowska	103-configurations and projective realizability of multiplied configurations.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 51A45, 51E10, 05B30
30	Alexandre Miquel	Relating Classical Realizability and Negative Translation for Existential Witness Extraction.	TLCA	2009	DBLP DOI BibTeX RDF
30	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.	FoSSaCS	2009	DBLP DOI BibTeX RDF
30	Hywel R. Dunn-Davies, Jim Cunningham	Verifying realizability and reachability in recursive interaction protocol specifications.	AAMAS (2)	2009	DBLP BibTeX RDF	propositional statecharts, verification, interaction protocols
30	Naiqi Wu, MengChu Zhou, Feng Chu 0001	A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
30	Melvin Fitting	S4LPand Local Realizability.	CSR	2008	DBLP DOI BibTeX RDF
30	Abdolmajid Mousavi, Behrouz H. Far	Revisiting Safe Realizability of Message Sequence Charts Specifications.	ICECCS	2008	DBLP DOI BibTeX RDF
30	Maria Belk	Realizability of Graphs in Three Dimensions.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
30	Jan Kyncl	The Complexity of Several Realizability Problems for Abstract Topological Graphs.	GD	2007	DBLP DOI BibTeX RDF
30	Naohiko Hoshino	Linear Realizability.	CSL	2007	DBLP DOI BibTeX RDF
30	Manfred Broy	Interaction and Realizability.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
30	Anthony Man-Cho So, Yinyu Ye 0001	A semidefinite programming approach to tensegrity theory and realizability of graphs.	SODA	2006	DBLP DOI BibTeX RDF
30	Henry Towsner	A realizability interpretation for classical analysis.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
30	Abdelhalim El-Aboudi, El Mostapha Aboulhamid	An algorithm for the verification of timing diagrams realizability.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
30	Makoto Tatsuta	Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis.	MPC	1998	DBLP DOI BibTeX RDF
30	Roberto M. Amadio	Domains in a Realizability Framework.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
26	Jin-yi Cai, Pinyan Lu	Holographic algorithms: from art to science.	STOC	2007	DBLP DOI BibTeX RDF	matchgates, signatures, holographic algorithms
26	Matti Kääriäinen	Active Learning in the Non-realizable Case.	ALT	2006	DBLP DOI BibTeX RDF
26	Kirill V. Pavsky	Stochastic Analysis of Solving Complex Problem on Distributed Computer.	PARELEC	2006	DBLP DOI BibTeX RDF
26	Ugo Dal Lago, Martin Hofmann 0001	Quantitative Models and Implicit Complexity.	FSTTCS	2005	DBLP DOI BibTeX RDF
26	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.	CIAA	2003	DBLP DOI BibTeX RDF
26	Jean-Louis Krivine	The Curry-Howard Correspondence in Set Theory.	LICS	2000	DBLP DOI BibTeX RDF
26	Martin C. Henson	Safe Positive Induction in the Programming Logic TK.	RCLP	1991	DBLP DOI BibTeX RDF
26	Christine Paulin-Mohring	Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions.	POPL	1989	DBLP DOI BibTeX RDF	ML
22	Ansuman Banerjee	Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?.	VLSI Design	2010	DBLP DOI BibTeX RDF	Satisfiability, LTL, Realizability, QBF
22	Ulrich Berger 0001, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg	Program Extraction from Normalization Proofs.	Stud Logica	2006	DBLP DOI BibTeX RDF	Normalization by evaluation, program extraction from proofs, realizability, typed lambda calculus
22	Rosalie Iemhoff	On the rules of intermediate logics.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	admissible rules, Rieger-Nishimura formulas, Medvedev logic, Independence of Premise, realizability, Intermediate logics
22	Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta	Test generation games from formal specifications.	DAC	2006	DBLP DOI BibTeX RDF	vacuity, test generation, realizability
22	Rosaria Conte	From Simulation to Theory (and Backward).	EPOS	2006	DBLP DOI BibTeX RDF	Agent-based generative social simulation, bottom-up theory, top-down theory, multiple realizability, social emergence
22	Jerome Vouillon, Paul-André Melliès	Semantic types: a fresh look at the ideal model for types.	POPL	2004	DBLP DOI BibTeX RDF	ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types
22	Emmanuel Beffara, Vincent Danos	Disjunctive normal forms and local exceptions.	ICFP	2003	DBLP DOI BibTeX RDF	classical realizability, control structures, disjunctive normal forms
22	Pietro Parodi, Giulia Piccioli	3D Shape Reconstruction by Using Vanishing Points.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Reconstruction of 3D shape, incidence structure, labeling, line drawing, vanishing point, realizability, spatial structure
22	Rudi Penne	Some nonrealizable line diagrams.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Weaving pattern, realizability, oriented matroid
17	Julian Pfeifle	Positive Plücker tree certificates for non-realizability.	Exp. Math.	2024	DBLP DOI BibTeX RDF
17	Roland Meyer 0001, Jakob Tepe, Sebastian Wolff 0001	Realizability in Semantics-Guided Synthesis Done Eagerly.	CoRR	2024	DBLP DOI BibTeX RDF
17	Dominik Dürrschnabel, Uta Priss	Realizability of Rectangular Euler Diagrams.	CoRR	2024	DBLP DOI BibTeX RDF
17	Takayuki Kihara	Many-one reducibility with realizability.	CoRR	2024	DBLP DOI BibTeX RDF
17	Manfred Broy	Time, causality, and realizability: Engineering interactive, distributed software systems.	J. Syst. Softw.	2024	DBLP DOI BibTeX RDF
17	Ashwin Bhaskar, M. Praveen	Realizability problem for constraint LTL.	Inf. Comput.	2024	DBLP DOI BibTeX RDF
17	Laura Fontanella, Guillaume Geoffroy, Richard Matthews	Realizability Models for Large Cardinals.	CSL	2024	DBLP DOI BibTeX RDF
17	Ringo Baumann, Anne-Marie Heine	On Naive Labellings - Realizability, Construction and Patterns of Redundancy.	FoIKS	2024	DBLP DOI BibTeX RDF
17	Emanuele Frittaion	Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
17	Aleksandr Yu. Konovalov	A Generalized Realizability and Intuitionistic Logic.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
17	Thomas Norddine, M. Ferrand, S. Benhamadouche	Realizability-preserving time-stepping for the differential Reynolds stress turbulence models.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
17	Manfred Broy	Specification and verification of concurrent systems by causality and realizability.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Kai Wang 0017, Michael Z. Q. Chen, Fei Liu	Minimal seven-element series-parallel realizability of a certain positive-real biquadratic impedance.	Int. J. Circuit Theory Appl.	2023	DBLP DOI BibTeX RDF
17	Richard Matthews	A Guide to Krivine Realizability for Set Theory.	CoRR	2023	DBLP DOI BibTeX RDF