Buchs, Didier | Archive ouverte UNIGE

Breakdown by access level

Textual representation

Access level
Public access	30
Restricted access	4
No fulltext	2

Distribution by access level (last 10 years)

Textual representation

Access level	Public access	Restricted access	Closed access	No fulltext
2017
2018	5	2
2019	2	2
2020	2
2021
2022
2023
2024
2025
2026

Distribution according to UNIGE OA policy

Textual representation

Open access policy	Open Access	Still embargoed	Not Open Access
	27		7

List of publications by Buchs, Didier

1 - 36 of 36

Title	Published in	Access level	OA Policy	Year	Views	Downloads

Functional Block Programming and Debugging	Conference’17			2020	262	26
Featherweight Swift: A Core Calculus for Swift's Type System	Proceedings of the 13th ACM SIGPLAN International Conference on Software Language En- gineering (SLE '20)			2020	700	788
Owl^c: a contextual two-dimensional web ontology language	2nd Conference on Language, Data and Knowledge, LDK 2019			2019	309	283
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development				2019	313	529
Introducing Contextual Reasoning to the Semantic Web with OWL^c	Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings			2019	389	5
Implementing a language with explicit assignment semantics	Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL 2019			2019	308	0
Semantic languages for developing correct language translations	Software Quality Journal			2018	544	0
A practical type system for safe aliasing	Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018			2018	300	1
A practical implementation of contextual reasoning on the semantic web	Proceedings of the 10th international joint conference on knowledge discovery, knowledge engineering and knowledge management, KEOD, vol. 2			2018	322	247
CREST - A DSL for Reactive Cyber-Physical Systems	10th International Conference on System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, SAM 2018			2018	307	575
ML4CREST: Machine Learning for CPS Models	Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018)			2018	275	362
Petri Sport: A Sport for Petri Netters	Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets and the 18th International Conference on Application of Concurrency to System Design ACSD			2018	252	311
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning	39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018			2018	347	419
High-Level Petri Net Model Checking with AlPiNA	Fundamenta informaticae			2011	2,515	1,191
Developing Domain-Specific Modeling Languages by Metamodel Semantic Enrichment and Composition: a Case Study	Proceedings of the 10th workshop on Domain-Specific Modeling (DSM'10)			2010	1,462	793
Toward efficient state space generation of algebraic Petri nets	SMV technical report series			2010	855	512
Properties specification language for algebraic Petri nets				2010	579	770
AlPiNA: an Algebraic Petri Net Analyzer	Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference			2010	1,033	544
AlPiNA: A Symbolic Model Checker	Applications and Theory of Petri Nets			2010	783	1,169
Sigma Decision Diagrams	TERMGRAPH 2009 : Preliminary proceedings of the 5th International Workshop on Computing with Terms and Graphs			2009	902	392
A language and a methodology for prototyping user interfaces for control systems	Human Machine Interaction. Research results of the MMI program			2009	845	1,550
Composing visual syntax for domain specific languages	Human-Computer Interaction. Novel Interaction Methods and Techniques. 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II			2009	662	414
A methodology for control systems GUI prototyping - a case study	7th international workshop on Personal Computers and Particle Accelerator Controls			2008	673	176
A domain specific language and methodology for control systems GUI specification, verification and prototyping	2007 IEEE Symposium on Visual Languages and Human-Centric Computing			2007	621	1,688
BATIC3S Project : Document collection 2005-2006				2006	588	740
Modeling Distributed Systems using Concurrent Object Oriented Petri Nets	Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06			2006	674	0
Interfacing Software Libraries from Nondeterministic Prototypes	Design Automation for Embedded Systems			2003	348	481
Real-Time Synchronised Petri Nets	Proceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002			2002	792	540
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller	RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping			2001	328	303
Adding Real-Time Constraints to Synchronised Petri Nets				2000	705	1,054
Rapid prototyping of formally modelled distributed systems	Proceedings Tenth IEEE International Workshop on Rapid System Prototyping: shortening the path from specification to prototype			1999	370	570
Testing prototypes validity to enhance code reuse	Proceedings Ninth International Workshop on Rapid System Prototyping			1998	335	362
COALA - A Formal Language for Coordinated Atomic Actions	Design for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers)			1998	713	137
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools				1995	799	114
ACCESS - Algebraic Concurrent Events for System Specification				1994	790	152
A semantic description of actor languages using CO-OPN	14th International Conference on Software Engineering, ICSE92			1992	265	0