Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Viji R. Avali, Michael N. Huhns |
Commitment-Based Multiagent Decision Making. |
CIA |
2008 |
DBLP DOI BibTeX RDF |
Commitments, BDI, CTL* |
14 | Adam Koprowski, Hans Zantema |
Certification of Proving Termination of Term Rewriting by Matrix Interpretations. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Vladimir Stantchev, Christian Schröpfer |
Techniques for service level enforcement in web-services based systems. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
architectural translucency, nonfunctional properties, web services, replication, system architecture, service levels, Formal representation |
14 | Mikolás Janota, Goetz Botterweck |
Formal Approach to Integrating Feature and Architecture Models. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Greg Bronevetsky, Bronis R. de Supinski |
Complete Formal Specification of the OpenMP Memory Model. |
Int. J. Parallel Program. |
2007 |
DBLP DOI BibTeX RDF |
parallel programming, theorem proving, OpenMP, formal systems |
14 | Therrezinha Fernandes |
A Kleene Algebra Framework for Data Flow Analysis. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Shin Ando |
Clustering Needles in a Haystack: An Information Theoretic Analysis of Minority and Outlier Detection. |
ICDM |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Vladimir Kolovski, James A. Hendler, Bijan Parsia |
Analyzing web access control policies. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
access control, description logics, XACML, policy analysis |
14 | Mikael Nilsson, Alistair J. Miles, Pete Johnston, Fredrik Enoksson |
Formalizing Dublin Core Application Profiles - Description Set Profiles and Graph Constraints. |
MTSR |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Daniel K. Lee, Karl Crary, Robert Harper 0001 |
Towards a mechanized metatheory of standard ML. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety |
14 | Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu |
Towards Translation of Legal Sentences into Logical Forms. |
JSAI |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Weidlich 0001, Gero Decker, Mathias Weske |
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus. |
APSCC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Sun Wenhui, Liu Feng, Dai Gang, Zhang Jinyu |
Formal Analysis of the VPN Service Management System. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Michael Jackson 0001 |
What Can We Expect from Program Verification? |
Computer |
2006 |
DBLP DOI BibTeX RDF |
software engineering, program verification, system reliability, software-intensive systems |
14 | Julien Narboux |
Mechanical Theorem Proving in Tarski's Geometry. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Martin Fischer 0010 |
Formalizing Construction Knowledge for Concurrent Performance-Based Design. |
EG-ICE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ahlem Ben Hassine, Shigeo Matsubara, Toru Ishida 0001 |
A Constraint-Based Approach to Horizontal Web Service Composition. |
ISWC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Sylvie Boldo, César A. Muñoz |
Provably faithful evaluation of polynomials. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
formal verification, floating-point, polynomial evaluation |
14 | Christoph Sprenger 0001, Michael Backes 0001, David A. Basin, Birgit Pfitzmann, Michael Waidner |
Cryptographically Sound Theorem Proving. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Michael J. May, Carl A. Gunter, Insup Lee 0001 |
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Keiji Hirata 0001, Satoshi Tojo |
Lattice for Musical Structure and Its Arithmetics. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Patrick van Bommel, Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide |
Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC. |
OTM Workshops (2) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Erzsébet Csuhaj-Varjú, Sergey Verlan |
Length-Separating Test Tube Systems. |
DNA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ewa Dudek-Dyduch, Jaroslaw Was |
Knowledge Representation of Pedestrian Dynamics in Crowd: Formalism of Cellular Automata. |
ICAISC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Dominik Raub, Rainer Steinwandt |
An Algebra for Enterprise Privacy Policies Closed Under Composition and Conjunction. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Montangero, Laura Semini |
A Logical View of Choreography. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
14 | François Fages, Sylvain Soliman |
Type Inference in Systems Biology. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Daniela Besozzi, Grzegorz Rozenberg |
Formalizing Spherical Membrane Structures and Membrane Proteins Populations. |
Workshop on Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Christian Jacobi 0002, Christoph Berg |
Formal Verification of the VAMP Floating Point Unit. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
IEEE standard 754, formal verification, theorem proving, PVS, floating point unit |
14 | Francesca Arcelli Fontana, Stefano Masiero, Claudia Raibulet, Francesco Tisato |
A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Néstor Cataño |
Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Chen Zhao 0001, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin |
Representation and Reasoning on RBAC: A Description Logic Approach. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto |
A Universally Composable Secure Channel Based on the KEM-DEM Framework. |
TCC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Salverda, Grigore Rosu, Craig B. Zilles |
Formally Defining and Verifying Master/Slave Speculative Parallelization. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Steffen Helke, Florian Kammüller |
Structure Preserving Data Abstractions for Statecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Davide Grossi, Frank Dignum, John-Jules Ch. Meyer |
Contextual Terminologies. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Miguel Goulão, Fernando Brito e Abreu |
Formal Definition of Metrics Upon the CORBA Component Model. |
QoSA/SOQUA |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
The Recognition Strategy Language. |
ICDAR |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Toward an Object-Oriented Structure for Mathematical Text. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Leonid B. Sokolinsky |
Survey of Architectures of Parallel Database Systems. |
Program. Comput. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Therrezinha Fernandes, Jules Desharnais |
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Stephen A. Cook, Antonina Kolokolova |
A Second-Order Theory for NL. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Leivant |
Proving Termination Assertions in Dynamic Logics. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jianwen Chen, Yan Zhang 0003 |
A Multi-Agent System for Mobile Environments. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
extended logic programming, multi-agent system, mobile environments |
14 | Stefan Berghofer |
Extracting a Normalization Algorithm in Isabelle/HOL. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Philippe Bretier, Ludovic Le Bigot, Franck Panaget, David Sadek |
De la représentation de l'interlocuteur vers un modèle utilisateur formel pour le dialogue personne-machine. |
IHM |
2004 |
DBLP DOI BibTeX RDF |
interlocutor model, user model, natural language, dialogue |
14 | Léonard Kwuida, Andreja Tepavcevic, Branimir Seselja |
Negation in Contextual Logic. |
ICCS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Fiorucci, Francesco Gaetani, Riccardo Minciardi, Roberto Sacile, Eva Trasforini |
Dynamic Resource Allocation For Forest Fire Risk Management. |
DEXA Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Michel Jaring, Jan Bosch |
Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Robert B. K. Brown, Aditya Ghose |
Hierarchic Decomposition in Agent Oriented Conceptual Modelling. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Yuxi Fu, Xiaoju Dong |
Formalizing the Environment View of Process Equivalence. |
CIS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Wei Zhao 0002, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Gueorgui I. Jojgov, Rob Nederpelt |
A Path to Faithful Formalizations of Mathematics. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Desel, Vesna Milijic, Christian Neumair |
Model Validation in Controller Design. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Laura I. Meikle, Jacques D. Fleuriot |
Formalizing Hilbert's Grundlagen in Isabelle/Isar. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Mehmet Giritli |
Who Can Connect in RCC? |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jérôme Siméon, Philip Wadler |
The essence of XML. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
XML, validation, XPath, XQuery, XML schema |
14 | Leonor Prensa Nieto |
The Rely-Guarantee Method in Isabelle/HOL. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Aldo Gangemi, Alessandra Prisco, Maria-Teresa Sagri, Geri Steve, Daniela Tiscornia |
Some Ontological Tools to Support Legal Regulatory Compliance, with a Case Study. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving |
14 | Yasuhiko Minamide, Koji Okuma |
Verifying CPS transformations in Isabelle/HOL. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
program transformation, theorem proving, correctness proofs |
14 | Uta Priss |
Formalizing Botanical Taxonomies. |
ICCS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Ken Satoh |
Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report. |
CIA |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Gilles Vaucher |
A Complex-Valued Spiking Machine. |
ICANN |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jan Scheffczyk, Uwe M. Borghoff, Peter Rödig, Lothar Schmitz |
Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories. |
ACM Symposium on Document Engineering |
2003 |
DBLP DOI BibTeX RDF |
consistency in document engineering, temporal logic, document management |
14 | Zhengwei Qi, Jinyuan You, Hongyan Mao |
P Systems and Petri Nets. |
Workshop on Membrane Computing |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
A graph-based formalism for RBAC. |
ACM Trans. Inf. Syst. Secur. |
2002 |
DBLP DOI BibTeX RDF |
Access control in information systems, decentralized administration, permission management, role-based access control, correctness, graph transformations |
14 | Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu 0005 |
Weakest Precondition for General Recursive Programs Formalized in Coq. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
Formal Verification, Operational Semantics, Weakest Precondition, Coq |
14 | Aleksey Nogin |
Quotient Types: A Modular Approach. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione |
An Experience in Architectural Extensions: Active Objects in J2EE. |
FIDJI |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Itsuki Noda |
Hidden Markov Modeling for Multi-agent Systems. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Stéphane Vaillant |
A Finite First-Order Presentation of Set Theory. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Ford, Natarajan Shankar |
Formal Verification of a Combination Decision Procedure. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Stefania Costantini, Arianna Tocchio |
A Logic Programming Language for Multi-agent Systems. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto |
Revisiting decomposition analysis of geometric constraint graphs. |
Symposium on Solid Modeling and Applications |
2002 |
DBLP DOI BibTeX RDF |
graph-based constraint solving, constraint solving, geometric constraints |
14 | Samiran Chattopadhyay, Chhanda Roy, Matangini Chattopadhyay |
Expressing Constraint Models in Object Oriented Data Using UML and ODL. |
IWDC |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Aarati Parmar |
Formalizing Approximate Objects and Theories: Some Initial Results. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Peter Fankhauser |
XQuery Formal Semantics: State and Challenges. |
SIGMOD Rec. |
2001 |
DBLP DOI BibTeX RDF |
XML, XML, databases, query languages, formal semantics |
14 | Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni |
A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
14 | S. Kazem Lellahi, Alexandre V. Zamulin |
Object-Oriented Database as a Dynamic System with Implicit State. |
ADBIS |
2001 |
DBLP DOI BibTeX RDF |
implicit state, object-oriented database, dynamic system, object modeling, state update |
14 | Hassan B. Diab, Marc Frappier, Richard St-Denis |
Formalizing COSMIC-FFP Using ROOM. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni |
Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Abdel Mokkedem, Tim Leonard |
Formal Verification of the Alpha 21364 Network Protocol. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Bernhard Reus, Tatjana Hein |
Towards a Machine-Checked Java Specification Book. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Leonor Prensa Nieto, Javier Esparza |
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Kristofer Johannisson |
Formalizing the Halting Problem in a Constructive Type Theory. |
TYPES |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Tadeusz Szuba, Mohammed Almulla |
Was Collective Intelligence before Life on Earth? |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Farid Cerbah, Jérôme Euzenat |
Integrating Textual Knowledge and Formal Knowledge for Improving Traceability (Short Paper). |
EKAW |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Becker, Gerd Stumme, Rudolf Wille, Uta Wille, Monika Zickwolff |
Conceptual Information Systems Discussed through in IT-Security Tool. |
EKAW |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
A Formal Model for Role-Based Access Control Using Graph Transformation. |
ESORICS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Luciano Baresi, Mauro Pezzè |
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Marino Miculan |
Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
14 | J Strother Moore |
Proving Theorems About Java-Like Byte Code. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Jason Hickey |
Fault-Tolerant Distributed Theorem Proving. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Artale, Enrico Franconi |
Reasoning with Enhanced Temporal Entity-Relationship Models. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
Reasoning, Temporal Databases, Entity-Relationship |
14 | Yun Bai 0001, Vijay Varadharajan |
Authorization in Object Oriented Databases. |
ACISP |
1999 |
DBLP DOI BibTeX RDF |
security, formal specification, object oriented databases, inheritance, authorization policy |
14 | Nicole Lévy, Francisca Losavio |
Analyzing and Comparing Architectural Styles. |
SCCC |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Peter Thiemann 0001 |
Formalizing Resourve Allocation in a Compiler. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
14 | William D. Young |
Comparing Verification Systems: Interactive Consistency in ACL2. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
fault tolerance, Formal verification, specification languages, computational logic, automatic theorem proving |
14 | Olaf Müller, Tobias Nipkow |
Traces of I/O-Automata in Isabelle/HOLCF. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|