| Functional Block Programming and Debugging | Conference’17 |  | | 2020 | 261 | 18 |
|
| 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 | 699 | 773 |
|
| Owlc: a contextual two-dimensional web ontology language | 2nd Conference on Language, Data and Knowledge, LDK 2019 | | | 2019 | 308 | 277 |
|
| State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development | | | | 2019 | 313 | 521 |
|
| Introducing Contextual Reasoning to the Semantic Web with OWLc | Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings |  | | 2019 | 388 | 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 | 321 | 234 |
|
| 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 | 565 |
|
| 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 | 352 |
|
| 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 | 303 |
|
| 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 | 409 |
|
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | | 2011 | 2,514 | 1,163 |
|
| 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,461 | 789 |
|
| Toward efficient state space generation of algebraic Petri nets | SMV technical report series | | | 2010 | 853 | 506 |
|
| Properties specification language for algebraic Petri nets | | | | 2010 | 579 | 762 |
|
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | | 2010 | 1,032 | 534 |
|
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | | 2010 | 782 | 1,157 |
|
| Sigma Decision Diagrams | TERMGRAPH 2009 : Preliminary proceedings of the 5th International Workshop on Computing with Terms and Graphs | | | 2009 | 900 | 387 |
|
| A language and a methodology for prototyping user interfaces for control systems | Human Machine Interaction. Research results of the MMI program | | | 2009 | 844 | 1,525 |
|
| 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 | 661 | 409 |
|
| A methodology for control systems GUI prototyping - a case study | 7th international workshop on Personal Computers and Particle Accelerator Controls | | | 2008 | 672 | 171 |
|
| 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 | 620 | 1,669 |
|
| BATIC3S Project : Document collection 2005-2006 | | | | 2006 | 586 | 737 |
|
| 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 | 672 | 0 |
|
| Interfacing Software Libraries from Nondeterministic Prototypes | Design Automation for Embedded Systems | | | 2003 | 348 | 474 |
|
| Real-Time Synchronised Petri Nets | Proceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002 | | | 2002 | 792 | 539 |
|
| 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 | 327 | 293 |
|
| Adding Real-Time Constraints to Synchronised Petri Nets | | | | 2000 | 704 | 1,051 |
|
| 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 | 553 |
|
| Testing prototypes validity to enhance code reuse | Proceedings Ninth International Workshop on Rapid System Prototyping | | | 1998 | 335 | 355 |
|
| 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 | 135 |
|
| SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools | | | | 1995 | 799 | 113 |
|
| ACCESS - Algebraic Concurrent Events for System Specification | | | | 1994 | 790 | 148 |
|
| A semantic description of actor languages using CO-OPN | 14th International Conference on Software Engineering, ICSE92 | | | 1992 | 264 | 0 |
|
