Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob	RDF Querying: Language Constructs and Evaluation Methods Compared.	Reasoning Web	2006	DBLP DOI BibTeX RDF
14	Nadia Busi, Miguel A. Gutiérrez-Naranjo	A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
14	Giuseppe De Giacomo, Massimo Mecella	Automatic Web Service Composition.	IEEE SCC	2006	DBLP DOI BibTeX RDF
14	Orna Kupferman, Moshe Y. Vardi	From linear time to branching time.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	alternation-free ?-calculus, Linear temporal logic
14	Jane Hillston	Process Algebras for Quantitative Analysis.	LICS	2005	DBLP DOI BibTeX RDF
14	Gordon Ping Gu, Dorina C. Petriu	From UML to LQN by XML algebra-based model transformations.	WOSP	2005	DBLP DOI BibTeX RDF	automatic model building, XML, UML, model transformations, software performance engineering, XMI, performance profile, LQN
14	Iovka Boneva, Jean-Marc Talbot	Automata and Logics for Unranked and Unordered Trees.	RTA	2005	DBLP DOI BibTeX RDF
14	John H. Gennari, Peter Mork, Hao Li	Knowledge transformations between frame systems and RDB systems.	K-CAP	2005	DBLP DOI BibTeX RDF	knowledge interoperation, knowledge transformation
14	Luís Gomes 0001, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho	Towards usage of formal methods within embedded systems co-design.	ETFA	2005	DBLP DOI BibTeX RDF
14	Hye Yeon Kim, Frederick T. Sheldon	Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z
14	Jean-Michel Hufflen	MlBibTEX: Beyond LATEX.	TEX, XML, and Digital Typography	2004	DBLP DOI BibTeX RDF	multilingual features, Bib, MlBib, nbst, DocBook, xml, xslt, Bibliographies, xsl-fo, bst
14	Feng Chen 0006, Marcelo d'Amorim, Grigore Rosu	A Formal Monitoring-Based Framework for Software Development and Analysis.	ICFEM	2004	DBLP DOI BibTeX RDF
14	Gabriel G. Infante López, Maarten de Rijke	Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers.	EsTAL	2004	DBLP DOI BibTeX RDF
14	Jörg Flum, Martin Grohe	Model-Checking Problems as a Basis for Parameterized Intractability.	LICS	2004	DBLP DOI BibTeX RDF
14	Rui M. Sousa, Goran D. Putnik	A Formal Theory of BM Virtual Enterprises Structures.	BASYS	2004	DBLP DOI BibTeX RDF
14	Petr Aubrecht, Lubos Kral	Ontology Formalism Transformation.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
14	Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva Suárez	Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
14	Philipp Cimiano, Andreas Hotho, Gerd Stumme, Julien Tane	Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies.	ICFCA	2004	DBLP DOI BibTeX RDF
14	Patryk Burek	Adoption of the Classical Theory of Definition to Ontology Modeling.	AIMSA	2004	DBLP DOI BibTeX RDF	Knowledge Representation, Knowledge Modeling, Ontology Engineering
14	Franz Baader	Engineering of Logics for the Content-Based Representation of Information.	JELIA	2004	DBLP DOI BibTeX RDF
14	José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger	A Mathematical Semantics for Architectural Connectors.	Generic Programming	2003	DBLP DOI BibTeX RDF
14	Juan de Lara, Esther Guerra, Hans Vangheluwe	Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.	AGTIVE	2003	DBLP DOI BibTeX RDF	Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting
14	Ramón P. Otero	Embracing Causality in Inducing the Effects of Actions.	CAEPIA	2003	DBLP DOI BibTeX RDF
14	Mamadou K. Traoré	Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation.	WSC	2003	DBLP DOI BibTeX RDF
14	Claudio Sacerdoti Coen	A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics.	ICTCS	2003	DBLP DOI BibTeX RDF
14	Patrice Godefroid, Radha Jagadeesan	On the Expressiveness of 3-Valued Models.	VMCAI	2003	DBLP DOI BibTeX RDF
14	Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu	Logical and Stochastic Modeling with SMART.	Computer Performance Evaluation / TOOLS	2003	DBLP DOI BibTeX RDF
14	John Cooke, B. Tim Denvir	Editorial.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
14	Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.	ISSS	2002	DBLP DOI BibTeX RDF
14	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Description Logics: Foundations for Class-based Knowledge Representation.	LICS	2002	DBLP DOI BibTeX RDF
14	Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang	Synthesis of Uninitialized Systems.	ICALP	2002	DBLP DOI BibTeX RDF
14	Agnès Conte, Mounia Fredj, Ibtissem Hassine, Jean-Pierre Giraudin, Dominique Rieu	A Tool and a Formalism to Design and Apply Patterns.	OOIS	2002	DBLP DOI BibTeX RDF	patterns system, product pattern, pattern formalism, pattern-based development environment, reuse, Pattern, process pattern
14	Prahladavaradan Sampath	Modelling Multi-agent Reactive Systems.	ICLP	2002	DBLP DOI BibTeX RDF
14	Renaud Blanch	Programmer I'interaction avec des machines â états hiérarchiques.	IHM	2002	DBLP DOI BibTeX RDF	advanced interaction techniques, software architecture, hierarchical state machines
14	Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker	Acquiring Configuration Knowledge Bases in the Semantic Web Using UML.	EKAW	2002	DBLP DOI BibTeX RDF
14	Carlos Ansótegui, Felip Manyà	Bridging the Gap between SAT and CSP.	CP	2002	DBLP DOI BibTeX RDF
14	Franz Baader	Engineering of Logics for the Content-Based Representation of Information.	RTA	2002	DBLP DOI BibTeX RDF
14	Apostolos V. Zarras, Christos Kloukinas, Valérie Issarny	Quality Analysis of Dependable Systems: A Developer Oriented Approach.	WADS	2002	DBLP DOI BibTeX RDF
14	R. Carolina Medina Ramírez, Olivier Corby, Rose Dieng-Kuntz	A Conceptual Graph and RDF(S) Approach for Representing and Querying Document Content.	IBERAMIA	2002	DBLP DOI BibTeX RDF	XML and Semantic information retrieval, Ontologies, Knowledge representation, RDFS, Conceptual Graphs
14	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
14	Thoralf Räsch	Introduction to Guarded Logics.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
14	Marc Cavazza, Fred Charles, Steven J. Mead	Characters in Search of an Author: AI-Based Virtual Storytelling.	International Conference on Virtual Storytelling	2001	DBLP DOI BibTeX RDF
14	Éric Villemonte de la Clergerie	Natural Language Tabular Parsing.	ICLP	2001	DBLP DOI BibTeX RDF
14	Gérard Berry	Synchronous Programming Techniques for Embedded Systems: Present and Future.	EMSOFT	2001	DBLP DOI BibTeX RDF
14	Frank Neven, Thomas Schwentick	Automata-and Logic-Based Pattern Languages for Tree-Structured Data.	Semantics in Databases	2001	DBLP DOI BibTeX RDF	XML, logic, automata, formal languages, attribute grammars, query evaluation
14	Bertrand Ibrahim, Honitriniela Randriamparany	An Execution Model for the Seamless Integration of Control Flow and Data Flow.	AICCSA	2001	DBLP DOI BibTeX RDF
14	Joy N. Reed, Jane E. Sinclair	Combining Independent Specifications.	FASE	2001	DBLP DOI BibTeX RDF
14	Paolo Liberatore	Compilability and compact representations of revision of Horn knowledge bases.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	compilability, compact representations
14	Alessandra Cherubini, Pierluigi San Pietro	Tree Adjoining Languages and Multipushdown Languages.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
14	Erik Herzog, Anders Törne	Support for Representation of Functional Behavior Specifications in AP-233.	ECBS	2000	DBLP DOI BibTeX RDF
14	Kim Marriott	Formal Approaches to Visual Language Specification and Understanding.	Diagrams	2000	DBLP DOI BibTeX RDF
14	Mohamed Jmaiel	A Unified Algebraic Framework for Specifying Communication Protocols.	ICFEM	2000	DBLP DOI BibTeX RDF	Formal specification, Petri nets, Temporal logic, Process Algebra, Communication protocols, Algebraic Specification
14	Gunter Grieser, Klaus P. Jantke, Steffen Lange, Bernd Thomas	A Unifying Approach to HTML Wrapper Representation and Learning.	Discovery Science	2000	DBLP DOI BibTeX RDF
14	Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov	Relating Strands and Multiset Rewriting for Security Protocol Analysis.	CSFW	2000	DBLP DOI BibTeX RDF
14	Ola Angelsmark, Peter Jonsson	Some Observations on Durations, Scheduling and Allen's Algebra.	CP	2000	DBLP DOI BibTeX RDF
14	Ranko Lazic 0001, David Nowak	A Unifying Approach to Data-Independence.	CONCUR	2000	DBLP DOI BibTeX RDF
14	Andreas Daberkow, Edwin J. Kreuzer	An Integrated Approach for Computer Aided Design in Multibody System Dynamics.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Mass properties, Multibody system, Vehicle dynamics, CAD, Object-oriented design, Solid modeling, Data exchange, Dynamic simulation, Product data management
14	Peter Buchholz 0001	Hierarchical Structuring of Superposed GSPNs.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Superposed GSPNs, structured matrix representation, reachability analysis, numerical analysis, equivalence
14	Wolfgang Pohl	Logic-Based Representation and Reasoning for User Modeling Shell Systems.	User Model. User Adapt. Interact.	1999	DBLP DOI BibTeX RDF	modal logic approach, partition approach, user model representation and reasoning, user modeling shell systems
14	Stefan Leue, Gerard J. Holzmann	v-Promela: A Visual, Object-Oriented Language for SPIN.	ISORC	1999	DBLP DOI BibTeX RDF
14	Jianhua Chen 0003	A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief.	ISMIS	1999	DBLP DOI BibTeX RDF
14	Steve Dunne	The Safe Machine: A New Specification Construct for B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
14	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier	IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
14	Michael Benedikt, Thomas W. Reps, Shmuel Sagiv	A Decidable Logic for Describing Linked Data Structures.	ESOP	1999	DBLP DOI BibTeX RDF
14	Riccardo Rosati 0001	Towards First-Order Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF
14	Carla P. Gomes, Bart Selman	Search Strategies for Hybrid Search Spaces.	ICTAI	1999	DBLP DOI BibTeX RDF
14	Samuel W. K. Chan, James Franklin	Symbolic connectionism in natural language disambiguation.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
14	Dieter Fensel, Stefan Decker, Michael Erdmann, Rudi Studer	Ontobroker in a Nutshell.	ECDL	1998	DBLP DOI BibTeX RDF
14	Rutger M. Dijkstra	Computation Calculus - Bridging a Formalization Gap.	MPC	1998	DBLP DOI BibTeX RDF
14	Willem C. Mallon, Jan Tijmen Udding	Building Finite Automata from DI Specifications.	ASYNC	1998	DBLP DOI BibTeX RDF
14	Tyrone O'Neill, Norman Y. Foo	Reasoning about Continuous Change.	PRICAI	1998	DBLP DOI BibTeX RDF
14	Joseph Sifakis	A General Framework for the Composition of Timed Systems Extended Abstract.	FTRTFT	1998	DBLP DOI BibTeX RDF
14	Radu Grosu, Thomas Stauner, Manfred Broy	A Modular Visual Model for Hybrid Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
14	Jin Ma, Sheng Yu 0001	Practical Rules for Reduction on the Number of States of a State Diagram.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	UML, events, statecharts, finite automata, Object-oriented modeling, states, conditions, OMT
14	Xiaodong Liu 0001, Hongji Yang, Hussein Zedan	Formal Methods for the Re-Engineering of Computing Systems: A Comparison.	COMPSAC	1997	DBLP DOI BibTeX RDF
14	Jens Michaelis, Marcus Kracht	Semilinearity as a Syntactic Invariant.	LACL	1996	DBLP DOI BibTeX RDF
14	Luís Gomes 0001, Adolfo Steiger-Garção	Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
14	Y. J. Jiang, Yongyuth Aramkulchai	On the Relationship between Assumption-based Framework and Autoepistemic Logic.	ISMIS	1994	DBLP DOI BibTeX RDF	Assumption-based framework, Argumentation system, Reflexive Autoepistemic Logic, 3-valued AE logic, Abduction, Autoepistemic Logic
14	Teodor C. Przymusinski	Autoepistemic Logic of Minimal Beliefs.	JELIA	1994	DBLP DOI BibTeX RDF	Logics of Knowledge and Belief, Semantics of Logic Programs and Deductive Databases, Non-Monotonic Reasoning
14	Henk Jonkers	Queueing Models of Parallel Applications: The Glamis Methodology.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
14	Giorgio Bruno, Gianpaolo Macario, Alvise Grammatica	A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems.	SEKE	1992	DBLP DOI BibTeX RDF
14	Craig L. Zarmer, Chee Chew	Frameworks for Interactive, Extensible, Information-Intensive Applications.	ACM Symposium on User Interface Software and Technology	1992	DBLP DOI BibTeX RDF	builders, end user programming, user interface management systems, application frameworks, user interface toolkits
14	Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari	Transition Systems with Algebraic Structure as Models of Computations.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
14	Joost Engelfriet, George Leih, Grzegorz Rozenberg	Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs.	REX Workshop	1990	DBLP DOI BibTeX RDF	actor system, communication, Petri net, Parallel, observation, operational semantics, transition system, handshaking, object-based
14	Stephen G. Pimentel, John L. Cuadrado	The Event Calculus and Consistency Maintenance.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
14	Bernhard Nebel, Gert Smolka	Representation and Reasoning with Attributive Descriptions.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
14	Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne	Generic Lifecycle Support in the ALMA Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	ALMA, environment kernel, environment database, software objects, high-level tools, syntax-directed tools, software tools, programming environments, programming environments, database management systems, systems analysis, system documentation, system documentation, software lifecycle
7	Marta Franová, Yves Kodratoff	Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF
7	Klaus Marius Hansen, Mads Ingstrup	Modeling and analyzing architectural change with alloy.	SAC	2010	DBLP DOI BibTeX RDF
7	Richard Banach	A deidealisation semantics for KAOS.	SAC	2010	DBLP DOI BibTeX RDF	tower pattern, refinement, ASM, retrenchment, KAOS
7	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Use Case Maps as a property specification language.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification
7	Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
7	Jeff Kramer, Jeff Magee	A Rigorous Architectural Approach to Adaptive Software Engineering.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	software architecture, adaptive systems, autonomic systems, self-managed systems
7	Germano Resconi, Boris Kovalerchuk	Agents' model of uncertainty.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Uncertainty logic, Conflicting agents, Fuzzy logic, Rough sets, Intuitionistic fuzzy sets, Evidence theory, Contradiction, Ignorance
7	Norman Danner, James S. Royer	Two Algorithms in Search of a Type-System.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Higher-type computation, Higher-type complexity, Basic feasible functionals, Compositional semantics, Implicit computational complexity
7	Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Designing a Workflow System Using Coloured Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	newYAWL, business process management, coloured Petri nets, workflow patterns, workflow technology
7	Ekkart Kindler	Model-Based Software Engineering and Process-Aware Information Systems.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Model-based Software Engineering (MBSE), Process-aware Information Systems (PAIS), Model-driven Architecture (MDA), Process models, Business Process Modelling
7	Salvatore Distefano, Antonio Puliafito	Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees.	IEEE Trans. Dependable Secur. Comput.	2009	DBLP DOI BibTeX RDF
7	Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski	Hybrid Reasoning with Rules and Ontologies.	REWERSE	2009	DBLP DOI BibTeX RDF
7	Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra	Introduction to Part II.	Modular Ontologies	2009	DBLP DOI BibTeX RDF