formal semantics - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

An executable formal semantics of C with applicationsEllison, Chucky, Grigore Rosu. In Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. 2012: 533-544 [doi]

Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]

Executing Formal Semantics with the K ToolDavid Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu. In Proceedings of the 18th International Symposium on Formal Methods (FM'12). 2012:

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. SoSyM, , 2012.

2011

Ambiguity Detection for Programming Language GrammarsBas Basten. PhD thesis, Universiteit van Amsterdam, December 2011.

A Generic Tool for Tracing Executions Back to a DSML's Operational SemanticsBenoit Combemale, Laure Gonnord, Vlad Rusu. In Seventh European Conference on Modelling Foundations and Applications. 2011:

A formal semantics for feature cardinalities in feature diagramsRaphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher. vamos 2011: 82-89 [doi]

Embedding domain-specific modelling languages in maude specificationsVlad Rusu. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]

Research on Component Composition and Replacement with Formal SemanticsRuzhi Xu, Quansheng Wu, Peiguang Lin. jsw, 6(9):1640-1648, 2011. [doi]

Two Formal Semantics of a Subset of the AADLZhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin. iceccs 2011: 344-349 [doi]

2010

Techniques for efficiently querying scientific workflow provenance graphsManish Kumar Anand, Shawn Bowers, Bertram LudÃ¤scher. edbt 2010: 287-298 [doi]

Formal Semantics for the Java Modeling LanguageDaniel Bruns. informatiktage 2010: 15-18

On Formal Analysis of IEC 61499 Applications, Part B: Execution SemanticsGoran Cengic, Knut Åkesson. tii, 5(2):145-154, 2010. [doi]

Formal Semantics and Implementation of BPMN 2.0 Inclusive GatewaysDavid Raymond Christiansen, Marco Carbone, Thomas Hildebrandt. wsfm 2011: 146-160 [doi]

Frames in Formal SemanticsRobin Cooper. tal 2010: 103-114 [doi]

A Formal Semantics for Decision-oriented Variability Modeling with DOPLERDeepak Dhungana, Patrick Heymans, Rick Rabiser. vamos 2010: 29-35 [doi]

Formal executable semantics for conformance in the MDE frameworkMarina Egea, Vlad Rusu. isse, 6(1-2):73-81, 2010. [doi]

Formal semantics for PSL modeling layer and application to the verification of transactional modelsLuca Ferro, Laurence Pierre. date 2010: 1207-1212 [doi]

On the formal semantics of IF-like logicsSantiago Figueira, Daniel Gorín, Rafael Grimson. jcss, 76(5):333-346, 2010. [doi]

Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications DesignAbdoulaye Gamatié, Vlad Rusu, Éric Rutten. ispdc 2010: 25-32 [doi]

A Formal Semantics of Clock Refinement in Imperative Synchronous LanguagesMike Gemunde, Jens Brandt, Klaus Schneider. acsd 2010: 157-168 [doi]

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ::::pi::::-Calculus ProcessesPedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz. clima 2010: 65-81 [doi]

Formal Definition of Syntax and Semantics for Documenting Variability in Activity DiagramsAndré Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl. SPLC 2010: 62-76 [doi]

Formal Semantics of a VDM Extension for Distributed Embedded SystemsJozef Hooman, Marcel Verhoef. BIRTHDAY 2010: 142-161 [doi]

A Formal-Semantics-Based Calculus of TrustJingwei Huang, David Nicol. internet, 14(5):38-46, 2010. [doi]

Mapping Audiovisual Metadata Formats Using Formal SemanticsMartin Höffernig, Werner Bailer, Günter Nagler, Helmut Mülner. samt 2011: 80-94 [doi]

A Formal P3P Semantics for Composite ServicesAssadarat Khurat, Dieter Gollmann, Joerg Abendroth. sdmw 2010: 113-131 [doi]

Random testing for higher-order, stateful programsCasey Klein, Matthew Flatt, Robby Findler. OOPSLA 2010: 555-566 [doi]

Formal semantics-preserving translation from fuzzy ER model to fuzzy OWL DL ontologyZ. M. Ma, Fu Zhang, Li Yan, Yanhui Lv. wias, 8(4):397-412, 2010. [doi]

Research of Component Composition Using Formal SemanticsMin Ma, Quansheng Wu. serp 2010: 317-326

A formal executable semantics of VerilogPatrick O Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu. memocode 2010: 179-188 [doi]

A Simple but Formal Semantics for XML Manipulation LanguagesJan Paredaens, Jan Hidders. foiks 2010: 3-5 [doi]

Ott: Effective tool support for the working semanticistPeter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa. JFP, 20(1):71-122, 2010. [doi]

A formal semantics for the Taverna 2 workflow modelJacek Sroka, Jan Hidders, Paolo Missier, Carole A. Goble. jcss, 76(6):490-508, 2010. [doi]

Bringing extensibility to verified compilersZachary Tatlock, Sorin Lerner. PLDI 2010: 111-121 [doi]

On Formal and Cognitive Semantics for Semantic ComputingYingxu Wang. ijsc, 4(2):203-237, 2010. [doi]

A Guarded Workflow Language and Its Formal SemanticsChen-Wei Wang, Jim Davies, James Welch. tase 2010: 25-34 [doi]

Research on Component Composition with Formal SemanticsRuzhi Xu, Quansheng Wu, Hongquan Gong, Leqiu Qian. iitsi 2010: 118-124 [doi]

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time MaudePeter Csaba Ölveczky, Artur Boronat, José Meseguer. forte 2010: 47-62 [doi]

2009

Nivel: a metamodelling language with a formal semanticsTimo Asikainen, Tomi MÃ¤nnistÃ¶. SoSyM, 8(4):521-549, 2009. [doi]

Formal similarities and differences among qualitative conditional semanticsChristoph Beierle, Gabriele Kern-Isberner. ijar, 50(9):1333-1346, 2009. [doi]

Dynamic overloading with copy semantics in object-oriented languages: a formal accountLorenzo Bettini, Sara Capecchi, Betti Venneri. ita, 43(3):517-565, 2009. [doi]

Mechanized Semantics for the Clight Subset of the C LanguageSandrine Blazy, Xavier Leroy. JAR, 43(3):263-288, 2009. [doi]

A Formal Semantics for a Quality of Service Contract LanguageChristiano Braga, Fabricio Chalub, Alexandre Sztajnberg. ENTCS, 203(7):103-120, 2009. [doi]

A Formal Semantics for Multi-level Staged ConfigurationAndreas Classen, Arnaud Hubaux, Patrick Heymans. vamos 2009: 51-60 [doi]

From natural semantics to C: A formal derivation of two STG machinesAlberto de la Encina, Ricardo Peña-Marí. JFP, 19(1):47-94, 2009. [doi]

Semantic framework for DSLsZekai Demirezen. OOPSLA 2009: 833-834 [doi]

A Formal Semantics for the WS-BPEL Recovery Framework - The ::::pi::::-Calculus WayNicola Dragoni, Manuel Mazzara. wsfm 2010: 92-109 [doi]

Refinement Sensitive Formal Semantics of State Machines With Persistent ChoiceHarald Fecher, Michael Huth, Heiko Schmidt, Jens SchÃ¶nborn. ENTCS, 250(1):71-86, 2009. [doi]

Toward Formal Semantics for Data and Schema Evolution in Data Stream Management SystemsRafael FernÃ¡ndez-Moctezuma, James F. Terwilliger, Lois M. L. Delcambre, David Maier. er 2009: 85-94 [doi]

Formal Semantics Based Translator Generation and Tool Development in PracticePeter Fritzson, Adrian Pop, David Broman, Peter Aronsson. aswec 2009: 256-266 [doi]

A Formal Temporal Semantics for Microsoft Project based on Allen s Interval AlgebraDenis Gagné, André Trudel. bpsc 2009: 32-45

Two Formal Semantics of a Subset of the Paderborn University BSPlibFrédéric Gava, Jean Fortin. pdp 2009: 44-51 [doi]

A two-level formal semantics for the QVT languageRoxana S. Giandini, Claudia Pons, Gabriela Pérez. cibse 2009: 73-86

Coinductive big-step operational semanticsXavier Leroy, Hervé Grall. iandc, 207(2):284-304, 2009. [doi]

Formal verification of a realistic compilerXavier Leroy. CACM, 52(7):107-115, 2009. [doi]

An Executable and Extensible Formal Semantics for UML-RTStefan Leue, Wei Wei. mbees 2009: 182-188 [doi]

LinkEHR-Ed: A multi-reference model archetype editor based on formal semanticsJosÃ© Alberto Maldonado, David Moner, Diego BoscÃ¡, Jesualdo TomÃ¡s FernÃ¡ndez-Breis, Carlos Angulo, Montserrat Robles. ijmi, 78(8):559-570, 2009. [doi]

Formal Semantics of OWL-S with F-LogicHuaikou Miao, Tao He, LiPing Li. In Roger Y. Lee, Gongzhu Hu, Huaikou Miao, editors, Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]. Volume 208 of Studies in Computational Intelligence, pages 105-117, Springer, 2009. [doi]

Implicit Propagation in Structural Operational SemanticsPeter D. Mosses, Mark J. New. ENTCS, 229(4):49-66, 2009. [doi]

Towards Test-Driven Semantics SpecificationChristian Soltenborn, Gregor Engels. MoDELS 2009: 378-392 [doi]

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part IIJacek Sroka, Jan Hidders. FUIN, 92(4):373-396, 2009. [doi]

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part IJacek Sroka, Jan Hidders. FUIN, 92(3):279-299, 2009. [doi]

Formal Semantics of the ProCom Real-Time Component ModelAneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson. euromicro 2009: 478-485 [doi]

A Formal Way from Text to Code TemplatesGuido Wachsmuth. FASE 2009: 109-123 [doi]

Towards a formal semantics for the AADL behavior annexZhibin Yang, Kai Hu, Dianfu Ma, Lei Pi. date 2009: 1166-1171 [doi]

Domain Feature Model Recovery from Multiple Applications Using Data Access Semantics and Formal Concept AnalysisYiming Yang, Xin Peng, Wenyun Zhao. wcre 2009: 215-224 [doi]

A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs in Biomedical TextsSine Zambach. fqas 2009: 443-452 [doi]

Formal semantics of UML state diagram and automatic verification based on Kripke structureYefei Zhao, Zong-yuan Yang, Jinkui Xie. ccece 2009: 974-978 [doi]

2008

AADL Execution Semantics Transformation for Formal VerificationThomas Abdoul, JoÃ«l Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger. iceccs 2008: 263-268 [doi]

On to formal semantics for path expression pointcutsMohammed Al-Mansari, Stefan Hanenberg, Rainer Unland. SAC 2008: 271-275 [doi]

Reduction Semantics and Formal Analysis of Orc ProgramsMusab AlTurki, José Meseguer. ENTCS, 200(3):25-41, 2008. [doi]

Formal Semantics of Dynamic Rules in ORMHerman Balsters, Terry A. Halpin. otm 2008: 699-708 [doi]

Precise Semantics of EMF Model Transformations by Graph TransformationEnrico Biermann, Claudia Ermel, Gabriele Taentzer. MoDELS 2008: 53-67 [doi]

Formal Semantics in the Real WorldJohan Bos. tal 2008: 1-3 [doi]

Rich meta object facility formal integration platform: syntax, semantics and implementationRalf BuschermÃ¶hle, JÃ¶rg Oelerink. isse, 4(3):249-257, 2008. [doi]

Approaches to an All-encompassing Formal Semantics for the UMLMaría Victoria Cengarle. vveis 2008: 3-4

Kuaba approach: Integrating formal semantics and design rationale representation to support design reuseAdriana Pereira de Medeiros, Daniel Schwabe. aiedam, 22(4):399-419, 2008. [doi]

On the Formal Semantics of IF-Like LogicsSantiago Figueira, Daniel Gorín, Rafael Grimson. wollic 2008: 164-178 [doi]

Formal Semantics of a Subset of the Paderborn s BSPlibFrédéric Gava, Jean Fortin. pdcat 2008: 269-276 [doi]

The Formal Semantics of the Domain Specific Modeling Language for Multiagent SystemsChristian Hahn, Klaus Fischer. aose 2009: 145-158 [doi]

A Comparison of Two SystemC/TLM Semantics for Formal VerificationClaude Helmstetter, Olivier Ponsini. memocode 2008: 59-68 [doi]

A Lightweight Approach for Defining the Formal Semantics of a Modeling LanguagePierre Kelsen, Qin Ma. MoDELS 2008: 690-704 [doi]

Executable Requirements Specification: Formal Semantics of Live Activity DiagramsChristoph Knieke, Michaela Huhn, Malte Lochau. tase 2008: 109-112 [doi]

On pi-Calculus Semantics as a Formal Basis for UML Activity DiagramsVitus S. W. Lam. ijseke, 18(4):541-567, 2008. [doi]

Formal Semantics and Ontologies - Towards an Ontological Account of Formal SemanticsFrank Loebe, Heinrich Herre. fois 2008: 49-62

Formally Specifying Operational Semantics and Language Constructs of Forensic LucidSerguei A. Mokhov, Joey Paquet, Mourad Debbabi. imf 2008: 197-216

Towards a Formal Semantics of Event-Based Multi-agent SimulationsJean-Pierre MÃ¼ller. mabs 2009: 110-126 [doi]

Scalable Medical Image Understanding by Fusing Cross-Modal Object Recognition with Formal Domain SemanticsManuel Möller, Michael Sintek, Paul Buitelaar, Saikat Mukherjee, Xiang Sean Zhou, Joerg Freund. biostec 2009: 390-401 [doi]

On the Formal Semantics of Change Patterns in Process-Aware Information SystemsStefanie Rinderle-Ma, Manfred Reichert, Barbara Weber. er 2008: 279-293 [doi]

Refactoring in Feature-Oriented Programming: Open IssuesIlie Savga, Florian Heidenreich. In In Proceedings of the Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, Proceedings. 2008:

A Formal Descriptive Semantics of UMLLijun Shan, Hong Zhu. icfem 2008: 375-396 [doi]

A Quantitative Semantics of Formal Ontology of Drug InteractionsKoji Tashima, Naoko Izumi, Naoki Yonezaki. psb 2008: 760-766

A Formal Semantics for Control and Data flow in the Gannet Service-based System-on-Chip ArchitectureWim Vanderbauwhede. ersa 2008: 176-183

Types for Programming and ReasoningJanis Voigtländer. 2008.

A Process Semantics for BPMNPeter Y. H. Wong, Jeremy Gibbons. icfem 2008: 355-374 [doi]

Formal Action Semantics for a UML Action LanguageMikai Yang, Greg J. Michaelson, Rob Pooley. jucs, 14(21):3608-3624, 2008. [doi]

Formal Abstraction of Semantics for Detecting Malicious CodeJingbo Zhang, Rongcai Zhao, Jianmin Pang, Wen Fu. csse 2008: 350-353 [doi]

Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL OntologyFu Zhang, Z. M. Ma, Yanhui Lv, Xing Wang. webist 2008: 503-509 [doi]

A Formal Semantics-Preserving Translation from Fuzzy Relational Database Schema to Fuzzy OWL DL OntologyFu Zhang, Z. M. Ma, Hailong Wang, Xiangfu Meng. aswc 2008: 46-60 [doi]

PreviousNext